Constructing Knowledge Representation Systems with First-Order Formulas as Atoms
Kiyoshi Akama1, Ekawit Nantajeewarawat2, and Tadayuki Yoshida3
1.Information Initiative Center, Hokkaido University, Hokkaido, Japan
2.Computer Science, Sirindhorn International Institute of Technology, Thammasat University, Thailand
3.Faculty of Computer Science, Hokkaido University, Hokkaido, Japan
2.Computer Science, Sirindhorn International Institute of Technology, Thammasat University, Thailand
3.Faculty of Computer Science, Hokkaido University, Hokkaido, Japan
Abstract—This paper proposes a knowledge representation system by extension of the concept of atom. Not only conventional simple atoms, but also atoms representing first-order formulas, which are called formula atoms, are used. By this extension, predicates, logical connectives, and quantifiers may occur in atoms, and can be regarded as objects in the same class, allowing more natural translation from natural language sentences into extended formulas and more flexible computation for solving logical problems.
Index Terms—formula atom, constraint, knowledge repre-sentation system, declarative description, query-answering problem
Cite: Kiyoshi Akama, Ekawit Nantajeewarawat, and Tadayuki Yoshida, "Constructing Knowledge Representation Systems with First-Order Formulas as Atoms," Journal of Industrial and Intelligent Information, Vol. 3, No. 3, pp. 238-245, September 2015. doi: 10.12720/jiii.3.3.238-245
Index Terms—formula atom, constraint, knowledge repre-sentation system, declarative description, query-answering problem
Cite: Kiyoshi Akama, Ekawit Nantajeewarawat, and Tadayuki Yoshida, "Constructing Knowledge Representation Systems with First-Order Formulas as Atoms," Journal of Industrial and Intelligent Information, Vol. 3, No. 3, pp. 238-245, September 2015. doi: 10.12720/jiii.3.3.238-245