资源描述:
《三段论推理系统》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、UKSim2009:11thInternationalConferenceonComputerModellingandSimulationADeductiveSystemofAristotelianSyllogism111QiaoXiaodongZhangYinshengShiQixian1InstituteofScientific&TechnicalInformationofChina,No.15FuxingRoad,Beijing,China,100038e-mail:zhangyinsheng@istic.ac.cn,myemailinb
2、eijing@yahoo.com.cnAbstractQuantifiertermCopulatermAristoteliansyllogismistraditionallogicwhichisDefinition1.Aristoteliansyllogism.Thethreeconsideredasun-formalizednormally.ThepapercategoricalpropositionsconstituteoneAristotelianformalizedAristoteliansyllogismastheformsofsyl
3、logismifthe6termsofthethreeonesrespectivelypropositionswithalltherulesforgettingthevalidare{m,p},{m,s},{s,p}.forms(figures).Basedontheresults,anautomaticAsthepositionsofthefourtermsinthetwosystemaredevelopedusingVC++andMFC(Microsoftpremisesofsyllogismm,p,m,scanbedifferent,so
4、theFoundationClass).ForanyAristoteliansyllogismitcanbeformalizedasthefourfiguresaccordingtothewhicharedividedinto4typesnamedas4figuresanddifferentpositionsofthetwomiddleterms(obviously,numberedtotally256,thevalidconclusionscanbemiddletermmistherepeatedterminthetwooutputwhenu
5、sersinputthepremisesofaAristotelianpremises).syllogism.ThecorecodesandthemethodsofDefinition2.FigureofAristoteliansyllogism.AtransformingAristoteliansyllogismlogicintopermutationofthedifferentpositionsoftermmisaprogramminglogicarepresented.figure.So,AnAristoteliansyllogismca
6、nbeoneofthefourfiguresasintable2(Qdenotesquantifier).1.IntroductionObviously,ByBNF,wehave:AnAristoteliansyllogismconsistsofthethreecategoricalpropositionsofmajor,minor(thetwoTerm::=
7、
8、premises)andoneconclusion.AcategoricalQuantifier::=
9、proposit
10、ionisoneofthefollowingfourtypesasinTable1.Copula::=
11、Categoricalproposition::=
12、
13、ofjudgmentExpressioninnbyPremise::=
14、judgclassifiedEnglishfirst-orderAristoteliansyllogism::=15、jormentbylogic>quantifierAuniversalEvery(Forall)S(s)P(s