A non-monotonic ATMS based on annotated logic programs with strong negation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1441, Issue , 1998, Pages 79-93

  Nakamatsu, Kazumi ^a   Suzuki, Atsuyuki ^b  

^a UNIVERSITY OF HYOGO   (Japan)

^b SHIZUOKA UNIVERSITY   (Japan)

Author keywords

Annotated logic program; Extension; Nonmonotonic ATMS; Stable model

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTER CIRCUITS; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; RECONFIGURABLE HARDWARE; SEMANTICS;

ANNOTATED LOGIC PROGRAMS; COMPUTING SYSTEM; EXTENSION; INFERENCE RULES; NONMONOTONIC; STABLE MODEL; STABLE MODEL SEMANTICS; STRONG NEGATIONS;

INTELLIGENT AGENTS;

EID: 84959064793     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0055021     Document Type: Conference Paper

References (11)

1. Asimov, I. I., Robot, Gnome Press, 1950.
2. Blair, H. A. and Subrahmanian, V. S., “Paraconsistent Foundations for Logic Programming”, J. Non-Classical Logic, Vol. 5, 45-73, 1988.
3. Blair, II. A. and Subrahmanian, V. S., “Paraconsistent Logic Programming”, Theoretical Computer Science, Vol. 68, 135-154, 1989.
4. Dressler, O., “An Extended Basic ATMS”, Proc. 2nd Int’l Workshop on Nonmonotonic Reasoning, LNCS 346, 143-154, 1988.
5. da Costa, N. C. A., Subrahmanian, V. S. and Vago, C., “The Paraconsis-tent Logic PT”, Zeitschrift fiir Mathematische Logik und Grundlangen der Mathematik, Vol. 37, 139-148, 1989.
6. Gelfond, M. and Lifschitz, V., “The Stable Model Semantics for Logic Programming”, Proc. 5th Int’l Conf. and Symp. on Logic Programming, 1070-1080, 1989.
7. Lloyd, J. W., Foundations of Logic Programming (2nd Edition), Springer, 1987.
8. Nakamatsu, K. and Suzuki, A., “Annotated Semantics for Default Reasoning”, Proc. 3rd PRICAI, 180-186, 1994.
9. Nakamatsu, K. and Suzuki, A., “On the Relation Between Nonmonotonic ATMS and ALPSN”, Proc. Japanese Society for AI SIG FAI 9502 1, 18, 1995.
10. Reiter, R., “A Logic for Default Reasoning”, Artificial Intelligence, Vol. 13, 81-132, 1980.
11. Thirunarayan, K. and Kifer, M., “A Theory of Nonmonotonic Inheritance Based on Annotated Logic”, Artificial Intelligence, Vol. 60, 23-50, 1993.