A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation

Kiyoshi Akama, Ekawit Nantajeewarawat

Abstract

A model-intersection problem (MI problem) is a pair of a set of clauses and an exit mapping. We define MI problems on specialization systems, which include many useful classes of logical problems, such as proof problems on first-order logic and query-answering (QA) problems in pure Prolog and deductive databases. The theory presented in this paper makes clear the central and fundamental structure of representation and computation for many classes of logical problems by (i) axiomatization and (ii) equivalent transformation. Clauses in this theory are constructed based on abstract atoms and abstract operation on them, which can be used for representation of many specific subclasses of problems with concrete syntax. Various computation can be realized by repeated application of many equivalent transformation rules, allowing many possible computation procedures, for instance, computation procedures based on resolution and unfolding. This theory can also be useful for inventing solutions for new classes of logical problems.

References

  1. Akama, K. and Nantajeewarawat, E. (2012). Proving Theorems Based on Equivalent Transformation Using Resolution and Factoring. In Proceedings of the Second World Congress on Information and Communication Technologies, WICT 2012, pages 7-12, Trivandrum, India.
  2. Akama, K. and Nantajeewarawat, E. (2013). Embedding Proof Problems into Query-Answering Problems and Problem Solving by Equivalent Transformation. In Proceedings of the 5th International Conference on Knowledge Engineering and Ontology Development, pages 253-260, Vilamoura, Portugal.
  3. Akama, K. and Nantajeewarawat, E. (2014). Equivalent Transformation in an Extended Space for Solving Query-Answering Problems. In Proceedings of the 6th Asian Conference on Intelligent Information and Database Systems, LNAI 8397, pages 232-241, Bangkok, Thailand.
  4. Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., and Patel-Schneider, P. F., editors (2007). The Description Logic Handbook. Cambridge University Press, second edition.
  5. Clark, K. L. (1978). Negation as Failure. In Gallaire, H. and Minker, J., editors, Logic and Data Bases, pages 293-322. Plenum Press, New York.
  6. Donini, F. M., Lenzerini, M., Nardi, D., and Schaerf, A. (1998). AL -log: Integrating Datalog and Description Logics. Journal of Intelligent Information Systems, 16:227-252.
  7. Gelfond, M. and Lifschitz, V. (1988). The Stable Model Semantics for Logic Programming. In Proceedings of International Logic Programming Conference and Symposium, pages 1070-1080. MIT Press.
  8. Gelfond, M. and Lifschitz, V. (1991). Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365-386.
  9. Lloyd, J. W. (1987). Foundations of Logic Programming. Springer-Verlag, second, extended edition.
  10. Robinson, J. A. (1965). A Machine-Oriented Logic Based on the Resolution Principle. Journal of the ACM, 12:23-41.
  11. Tessaris, S. (2001). Questions and Answers: Reasoning and Querying in Description Logic. PhD thesis, Department of Computer Science, The University of Manchester, UK.
Download


Paper Citation


in Harvard Style

Akama K. and Nantajeewarawat E. (2015). A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation . In Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: KEOD, (IC3K 2015) ISBN 978-989-758-158-8, pages 38-49. DOI: 10.5220/0005597000380049


in Bibtex Style

@conference{keod15,
author={Kiyoshi Akama and Ekawit Nantajeewarawat},
title={A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation},
booktitle={Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: KEOD, (IC3K 2015)},
year={2015},
pages={38-49},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005597000380049},
isbn={978-989-758-158-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: KEOD, (IC3K 2015)
TI - A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation
SN - 978-989-758-158-8
AU - Akama K.
AU - Nantajeewarawat E.
PY - 2015
SP - 38
EP - 49
DO - 10.5220/0005597000380049