基于可能世界的网构软件之自动推理研究  

Automatic reasoning on internetware based on possible worlds

在线阅读下载全文

作  者:刘超[1] 王文杰[1] 

机构地区:[1]中国科学院研究生院,北京100049

出  处:《计算机工程与设计》2011年第4期1401-1405,共5页Computer Engineering and Design

基  金:国家863高技术研究发展计划基金项目(2007AA01Z132)

摘  要:为了实现网构软件的自动推理问题,在基于可能世界的网构软件模型上,给出了一种基于概念分析的自动推理系统。通过对三段论的分析得到了自动推理的一般原则,并运用这些原则解释了三段论中正确的24式。通过对形式概念的讨论得到了概念编码的方法,并给出了编码的三值运算规则。最后,通过一个具体例子的应用分析,给出了使用该编码进行自动推理的一般步骤,运算结果表明,自动推理方法在机械化与效率方面优于传统的归结原理。To deal with automatic reasoning for internetware,the paper builds an automated reasoning which according to internetware based on possible worlds.First,the paper gains some general principles about automated reasoning through the analysis of syllogism.And it also testified all the valid 24 syllogisms.Second,the paper finds a coding method by analyzing,and based on the method it creates a three-valued logic.Finally,the paper presents some general steps for automated reasoning through an example.The experiment show,compared with the resolution principle,that it raises the logical reasoning mechanization and reasoning efficiency.

关 键 词:网构软件 可能世界 三段论 命题逻辑 自动推理 

分 类 号:TP181[自动化与计算机技术—控制理论与控制工程]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象