Real-time reasoning with PROLOG

ABSTRACT

In this paper, we present a description of a Prolog implementation of a system (RTR) for “real-time reasoning”, similar to those discussed by Perlis (see [3] and [6]). The reasoning to be performed by the system is “real-time” in two different senses. First, reasoning is considered to be a continuing process rather than an isolated calculation of the consequences of an axiom set, with such a process being analogous to that required to create a computer or robotic system with some autonomy. Secondly, our system addresses the combinatorial problems inherent in theorem proving by applying inference rules to only a small working set of observations and axioms. Such a system provides one approach to non-monotonic reasoning, allowing the derivation of inconsistent facts within the working set and then providing a means of resolving the conflict.

REFERENCES

• 1: Eugene Charniak , Drew McDermott, Introduction to artificial intelligence, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1985
• 2: Doyle, }. {1979} A Truth Maintenance System, Artificial Intelligence 12, (3), 231-272.
• 3: Elgot-Drapkin, J., M. Miller and D. Perlis, {1987} Life on a Desert Island: Ongoing Work on Real- Time Reasoning, The Frame Problem in Artificial Intelligence, F. Brown - (ed.), Morgan Kaufmann.
• 4: Glymour, C. and R. Thomason {1984} Default Reasoning and the Logic of Theory Perturbation, Proceedings of the Worrkshop on Non-Monotonic Reasoning, New Platz, NY.
• 5: McDermott, D. and Doyle, J. {1980} Non- Monotonic Logic I, Artificial Intelligence 13 (1,2), 41-72.
• 6: Perlis, D. {1984} Non-Monotonicity and Real-Time Reasoning, Proceedings of the Workshop on Non- Monotonic Reasoning, New Platz, NY.
• 7: Rankin, R., Rocha, T., Berghel, H., Yi, C. {1987} ALS Prolog Compiler, Newsletter, Technical Committee on Personal Computers, IEEE Computer Society, June.
• 8: Reiter, R. {1980} A logic for Default Reasoning, Artificial intelligence 13 (1,2), 81-132.
• 9: Sterling, L. and Shapiro, E. {1986}The Art of Prolog, MIT Press.
• 10: R. Wilensky, Common LISPcraft, W. W. Norton & Co., Inc., New York, NY, 1987

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Prolog

Additional Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.3 Deduction and Theorem Proving
          Subjects: Nonmonotonic reasoning and belief revision

General Terms:
Algorithms, Design, Languages, Theory