1. How to submit my research paper? What’s the process of publication of my paper?
The journal receives submitted manuscripts via email only. Please submit your research paper in .doc or .pdf format to the submission email: jiii@ejournal.net.
2. Can I submit an abstract?
The journal publishes full research papers...[Read More]

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
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
Copyright © 2012-2015 Journal of Industrial and Intelligent Information, All Rights Reserved