检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《计算机工程与设计》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[自动化与计算机技术—控制理论与控制工程]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.38