{"title":"基于命题逻辑的演绎推理和计算","authors":"G. Luo, Chongyuan Yin","doi":"10.1109/ICCI-CC.2016.7862050","DOIUrl":null,"url":null,"abstract":"The satisfiability degree is a new means of describing the extent to which a proposition is satisfied, and employs deterministic logic rather than probabilistic logic or fuzzy logic. The independent formula-pair and the incompatible formula-pair of the propositions are discussed in this paper. Some properties of the satisfiability degree are given with a conditional satisfiability degree. Deductive reasoning methods based on the satisfiability degree are established. The formula reasoning and semantic checking are given by the conditional satisfiability degree. Some potential applications for the satisfiability degree are given.","PeriodicalId":135701,"journal":{"name":"2016 IEEE 15th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Deductive reasoning and computing based on propositional logic\",\"authors\":\"G. Luo, Chongyuan Yin\",\"doi\":\"10.1109/ICCI-CC.2016.7862050\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The satisfiability degree is a new means of describing the extent to which a proposition is satisfied, and employs deterministic logic rather than probabilistic logic or fuzzy logic. The independent formula-pair and the incompatible formula-pair of the propositions are discussed in this paper. Some properties of the satisfiability degree are given with a conditional satisfiability degree. Deductive reasoning methods based on the satisfiability degree are established. The formula reasoning and semantic checking are given by the conditional satisfiability degree. Some potential applications for the satisfiability degree are given.\",\"PeriodicalId\":135701,\"journal\":{\"name\":\"2016 IEEE 15th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-08-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2016 IEEE 15th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICCI-CC.2016.7862050\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 IEEE 15th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCI-CC.2016.7862050","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Deductive reasoning and computing based on propositional logic
The satisfiability degree is a new means of describing the extent to which a proposition is satisfied, and employs deterministic logic rather than probabilistic logic or fuzzy logic. The independent formula-pair and the incompatible formula-pair of the propositions are discussed in this paper. Some properties of the satisfiability degree are given with a conditional satisfiability degree. Deductive reasoning methods based on the satisfiability degree are established. The formula reasoning and semantic checking are given by the conditional satisfiability degree. Some potential applications for the satisfiability degree are given.