| 面临不一致时进行一致性推理的语意研究 |
| |
| 引用本文： | 李凡,邹凡.面临不一致时进行一致性推理的语意研究[J].华中科技大学学报(自然科学版),1998(1). |
| |
| 作者姓名： | 李凡 邹凡 |
| |
| 作者单位： | 华中理工大学计算机科学与技术学院!430074 |
| |
| 摘 要： | 讨论了一种新的逻辑，这种逻辑允许一个智能体在有不一致性存在于其信念集的情况下进行一致性推理．首先解释了这种逻辑的语意，然后给出了基于这种逻辑的一些推理规则和公理，最后用一个实例讨论了这种逻辑的应用．
|
| 关 键 词： | 知识表示 B和B_c算子 信念推理 知识库系统 |
On the Semantene for Reasoning with Consistency in the Presence of Inconsistency |
| |
| Li Fan,Zou Fan.On the Semantene for Reasoning with Consistency in the Presence of Inconsistency[J].JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE,1998(1). |
| |
| Authors: | Li Fan Zou Fan |
| |
| Institution: | Li Fan;Zou Fan |
| |
| Abstract: | In conventional deductive reasoning, it is not allowable to carry out reasoning with consistency should inconsistency be appeared, because this might lead to give simultaneously a conclusion and a negation of this conclusion. A new logic is proposed, and with the new logic, it is permissible to carry out the reasoning with consistency by an intelligent agent in case there exists inconsistency in his belief set. The semantene of the logic is explained. then some reasoning rules and axioms based on the logic are given. Application of the logic is discussed with a practical example. |
| |
| Keywords: | knowledge representation B and Be operator reasoning with belief knowledge base sysTem |
| 本文献已被 CNKI 等数据库收录！ |
