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
展开▼