Knowledge representations based on extension rules
Knowledge representations based on extension rules
复制标题
DOI：
10.1109/wcica.2008.4593136
复制
发表时间：
2008-06
期刊：
影响因子：
--
通讯作者：
Chunyan Yang;Wen Cai
中科院分区：
文献类型：
--
作者：
Chunyan Yang;Wen Cai
知识表示是知识工程的核心。它的能力直接影响推理的有效性和知识获取的能力。因此，目前智能出口系统建设还存在许多亟待解决的问题。可拓学是研究用形式化模型处理矛盾问题的规律和方法的一门新兴学科。可拓学中的规则统称为可拓规则，包括可拓规则、共轭规则、传导规则、基本元逻辑演算规则和变换运算规则。利用基于这些规则的基本元素关系表达来表达知识，简洁、规范、易于操作。表达式包括基本元素的扩展表达式和基本元素的共轭表达式、变换的蕴涵表达式和基本元素的复合表达式。知识表示能够基于基本元素的可扩展性和共轭性，系统地描述事物发展的多种可行性。它们可以克服现有知识的一些缺点，并且可以描述变化的知识，从而为产生解决矛盾问题的策略提供工具。它们为探索高级智能提供了新的理论和方法，将在知识表示技术中发挥重要作用。
Knowledge representation is the core of knowledge engineering. Its capability directly influences the validity of reasoning and the capability of knowledge attaining. Therefore, there are many problems to cry for solving in constructing intelligent export system at present. Extenics is a new discipline that studies the laws and methods for dealing with contradiction problems with formalized models. The rules in Extenics are called extension rules by a joint name, including extended rules, conjugate rules, conductive rules, and logical calculus rules of basic-elements and operational rules of transformations. It is concise, normative and easy to operation that using the relation expression of basic-elements based on these rules to express knowledge. The expressions include the extended expression of basic-elements and the conjugate expression of basic-elements, the implication expression of transformations and the compound expression of basic elements. The knowledge representation can systematically describe multifarious feasibility that things are developed based on the extensibility and conjugate nature of basic-elements. They can get over some shortcoming of ones in existence, and can describe changing knowledge and thus provide tools for producing strategies to solve contradiction problems. They provide new theories and methods for exploring advanced intelligent and will bring into play important effect in knowledge representation technology.