Order-sorted logic programming with predicate hierarchy

Artificial Intelligence

Volumn 158, Issue 2, 2004, Pages 155-188

  Kaneiwa, Ken ^a  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

Author keywords

Knowledge representation; Linear resolution; Order sorted logic; Predicate hierarchy; Typed logic programming

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; HIERARCHICAL SYSTEMS; KNOWLEDGE REPRESENTATION; SEMANTICS;

LINEAR RESOLUTION; ORDER-SORTED LOGIC; PREDICATE HIERARCHY; TYPED LOGIC PROGRAMMING;

LOGIC PROGRAMMING;

EID: 4344624666     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2004.05.001     Document Type: Article

References (45)

1. Abiteboul S., Hull R., Vianu V. Foundations of Databases. 1995;Addison-Wesley, Reading, MA.
2. Aït-Kaci H., Nasr R. LOGIN: A logic programming language with built-in inheritance. J. Logic Programming. 3:(3):1986;185-215.
3. Aït-Kaci H., Podelski A. Towards a meaning of LIFE. J. Logic Programming. 16:(3):1993;195-234.
4. Akama S. Constructive predicate logic with strong negation and model theory. Notre Dame J. Formal Logic. 29:(1):1988;18-27.
5. Al-Asady R. Inheritance Theory: An Artificial Intelligence Approach. 1995;Ablex Publishing Corporation, Norwood, NJ.
6. Allen J.F. Towards a general theory of action and time. Artificial Intelligence. 23:1984;123-154.
7. Apt K.R. From Logic Programming to Prolog. 1997;Prentice-Hall, Englewood Cliffs, NJ.
8. Beierle C., Hedtsück U., Pletat U., Schmitt P., Siekmann J. An order-sorted logic for knowledge representation systems. Artificial Intelligence. 55:1992;149-191.
9. Carpenter B. The Logic of Typed Feature Structure. 1992;Cambridge University Press, Cambridge.
10. Cohn A.G. A more expressive formulation of many sorted logic. J. Automated Reasoning. 3:1987;113-200.
11. Cohn A.G. Taxonomic reasoning with many sorted logics. Artificial Intelligence Rev. 3:1989;89-128.
12. Doets K. From Logic to Logic Programming. 1994;MIT Press, Cambridge, MA.
13. Enderton H.B. A Mathematical Introduction to Logic. 1972;Academic Press, New York.
14. Frisch A.M. The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning. Artificial Intelligence. 49:1991;161-198.
15. Gallier J.H. Logic for Computer Science. Foundations of Automatic Theorem Proving. 1986;Harper & Row, New York.
16. Hanus M. Logic programming with type specifications. Pfenning F. Types in Logic Programming. 1992;MIT Press, Cambridge, MA.
17. Herbrand J. Goldfarb W.D. Logical Writings. 1971;Harvard University Press, Cambridge, MA.
18. Hill P.M., Topor R.W. A semantics for typed logic programs. Pfenning F. Types in Logic Programming. 1992;MIT Press, Cambridge, MA.
19. K. Kaneiwa, An order-sorted logic with predicate hierarchy, eventuality, and implicit negation, Ph.D. Thesis, Japan Advanced Institute of Science and Technology, 2001.
20. Kaneiwa K. The completeness of logic programming with sort predicates. Syst. Comput. Japan. 35:(1):2004;37-46.
21. Kaneiwa K., Mizoguchi R. Ontological knowledge base reasoning with sort-hierarchy and rigidity. Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR2004), Whistler, BC. 2004.
22. Kaneiwa K., Tojo S. Event, property, and hierarchy in order-sorted logic. Proceedings of the 1999 Internat. Conf. on Logic Programming, Las Cruses, NM. 1999;94-108 MIT Press, Cambridge, MA.
23. Kaneiwa K., Tojo S. An order-sorted resolution with implicitly negative sorts. Proceedings of the 2001 Internat. Conf. on Logic Programming, Paphos, Cyprus. Lecture Notes in Comput. Sci. vol. 2237:2001;300-314 Springer, Berlin.
24. Kifer M., Lausen G., Wu J. Logical foundations of object-oriented and frame-based languages. J. ACM. 42:(4):1995;741-843.
25. Lloyd J.W. Foundations of Logic Programming. 1987;Springer, Berlin.
26. Manzano M. Introduction to many-sorted logic. Many-sorted Logic and Its Applications. 1993;3-86 Wiley, New York.
27. Martelli A., Montanari U. An efficient unification algorithm. ACM Trans. Programm. Languages Systems. 4:1982;258-282.
28. McDermott D.V. A temporal logic for reasoning about processes and plans. Cognitive Sci. 6:1982;101-155.
29. K. Nitta, et al., Knowledge representation of new HELIC-II, in: Workshop on Legal Application of Logic Programming, ICLP'94, 1994.
30. Nitta K., et al. New HELIC-II: A software tool for legal reasoning. Proceedings of 5th Internat. Conf. on Artificial Intelligence and Law, College Park, MD. 1995;287-296 ACM Press, New York.
31. Oberschelp A. Untersuchungen zur mehrsortigen quantorelogik. Math. Ann. 145:1962;297-333.
32. A. Oberschelp, Order sorted predicate logic, in: Workshop on Sorts and Types in Artificial Intelligence, 1989.
33. Schmidt-Schauss M. Computational Aspects of an Order-Sorted Logic with Term Declarations. 1989;Springer, Berlin.
34. Shoham Y. Reasoning about Change. 1988;MIT Press, Cambridge, MA.
35. Smolka G. Feature-constraint logics for unification grammars. J. Logic Programming. 12:1992;51-87.
36. Socher-Ambrosius R., Johann P. Deduction Systems. 1996;Springer, Berlin.
37. Touretzky D.S. The Mathematics of Inheritance Systems. 1986;Pitman, London.
38. van der Meyden R. Logical approaches to incomplete information: A survey. Chomicki J., Saake G. Logics for Databases and Information Systems. 1998;307-336 Kluwer Academic, Dordrecht.
39. Walther C. A mechanical solution of Schuber's steamroller by many-sorted resolution. Artificial Intelligence. 26:(2):1985;217-224.
40. Walther C. A Many-Sorted Calculus Based on Resolution and Paramodulation. 1987;Pitman and Kaufman Publishers.
41. Walther C. Many-sorted unification. J. ACM. 35:1988;1.
42. Wang H. Logic of many-sorted theories. J. Symbolic Logic. 3:1952;105-116.
43. Weibel T. An order-sorted resolution in theory and practice. Theoretical Comput. Sci. 185:(2):1997;393-410.
44. Yasukawa H., Tsuda H., Yokota K. Objects, properties, and modules in QUIXOTE . Proc. FGCS'92, Tokyo. 1992;257-268.
45. K. Yokota, Quixote: A constraint based approach to a deductive object-oriented database, Ph.D. Thesis, Kyoto University, 1994.