首页>
外国专利>
ASSUMPTION-BASED TRUTH MAINTENANCE SYSTEM AND MEHTOD FOR PINPOINTING SET OF AXIOM INDUCING ILLOGICAL CONCEPT USING THE SAME
ASSUMPTION-BASED TRUTH MAINTENANCE SYSTEM AND MEHTOD FOR PINPOINTING SET OF AXIOM INDUCING ILLOGICAL CONCEPT USING THE SAME
展开▼
机译:基于假设的真相维护系统和方法,用于使用相同方法来确定公理诱导逻辑概念的集合
展开▼
页面导航
摘要
著录项
相似文献
摘要
PURPOSE: An ATMS(Assumption-based Truth Maintenance System) and axiomatic group detection method using the same are provided to accurately detect axiomatic groups using a tableau algorithm. CONSTITUTION: A reception unit(210) receives protocol commands created based on a tableau rule for a description logic symbols included in axioms related to illogical concepts from an ontology assumption engine according to the estimation order of the illogical concepts. An ATMS network construction unit(220) constructs an ATMS network including nodes and a confliction node based on the protocol commands. The nodes include a node value between concepts included in the axioms and a description logic relationship. The collision node connects to even nodes including node values which are incompatible. [Reference numerals] (210) Reception unit; (220) Assumption-based truth maintenance system network construction unit; (230) Sensing unit; (240) Ontology estimation engine
展开▼