Authors:
Kiyoshi Akama
1
;
Ekawit Nantajeewarawat
2
and
Taketo Akama
3
Affiliations:
1
Information Initiative Center, Hokkaido University, Sapporo and Japan
;
2
Computer Science, Sirindhorn International Institute of Technology, Thammasat University, Pathumthani and Thailand
;
3
Modeleet Labs, Sapporo and Japan
Keyword(s):
Model-Intersection Problem, Equivalent Transformation, Function Variable, Rule Priority, Computation Control, Proof Problem, Query-Answering Problem.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Knowledge Engineering and Ontology Development
;
Knowledge Representation
;
Knowledge-Based Systems
;
Symbolic Systems
Abstract:
Model-intersection problems have been invented as one of the largest classes of logical problems. By solving MI problems, we can solve proof problems and query-answering problems on first-order logic. For solving MI problems on extended clauses, we propose in this paper prioritized equivalent transformation (ET) rules. A set R of ET rules with priority ordering is employed, and at each computation step an applicable ET rule with best priority in R is selected and applied. This method can be used to decrease a search space by introducing new rules and adjusting rule priority, and is useful to solve a large class of logical problems with the guarantee of strict correctness of computation results.