Authors:
Tadayuki Yoshida
1
;
Ekawit Nantajeewarawat
2
;
Masaharu Munetomo
3
and
Kiyoshi Akama
3
Affiliations:
1
Tokyo Software Development Laboratory, International Business Machines Corporation, Tokyo and Japan
;
2
Computer Science Program, Sirindhorn International Institute of Technology Thammasat University, Pathumthani and Thailand
;
3
Information Initiative Center, Hokkaido University, Sapporo and Japan
Keyword(s):
Logical Problem Solving Framework, Equivalent Transformation, Knowledge Representation, Computation Rule, Query-answering Problem.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Communication and Software Technologies and Architectures
;
e-Business
;
Enterprise Information Systems
;
Knowledge Engineering
;
Knowledge Engineering and Ontology Development
;
Knowledge Representation
;
Knowledge-Based Systems
;
Symbolic Systems
Abstract:
We understand that many logical problems cannot be solved by using logic programs. Logic programs have the limited capability of representation. We try to overcome this limitation by adopting KR-logic, an extension to first-order logic. The extension includes function variables. In this paper, we take a problem which is well-described with function variables. We rely on Logical Problem Solving Framework (LPSF) to formalize our problem as a Model-intersection problem. Then we develop a solver for MI problems by adding five new transformation rules concerning function variables. Correctness of each rule is proved.i.e., each rule is an equivalent tranformation (ET) rule. Since each rule is correct, all ET rules can be used together without modification and combinational cost. Thus, the invented rules can be safely reused in other LPSF-based solvers.