A horn clause theory of inheritance and temporal reasoning

  • Stephen G. Pimentel
  • John L. Cuadrado
Knowledge Representation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 390)


In this paper, we present a logic-based theory for the performance of two types of commonsense reasoning: inheritance and temporal reasoning. The inheritance part of the theory is modeled on frame-based systems, while the temporal reasoning component is based on the event calculus of [Kowalski and Sergot 86]. The entire theory is axiomatized using Horn clauses augmented with negation as failure. A knowledge representation facility incorporating this work, called the Temporal Frame System, has been implemented in Prolog and is being used in the development of a natural language processing system.


Knowledge Representation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Abramson, H., "Definite Clause Translation Grammars," Proceedings of the IEEE Logic Programing Symposium, 1984.Google Scholar
  2. Appelt, D., Planning English Sentences, Cambridge University Press, 1985.Google Scholar
  3. Brewka, G., "The Logic of Inheritance in Frame Systems", Proceedings IJCAI-87, 1987.Google Scholar
  4. Bruce, B., "Case Systems for Natural Language", Artificial Intelligence 6, 1975.Google Scholar
  5. Charniak, E., "The Case-Slot Identity Theory," Cognitive Science 5, 1981.Google Scholar
  6. Doyle, J., "A Truth Maintenance System," Artificial Intelligence, 12, 1979.Google Scholar
  7. Etherington, D., Reasoning with Incomplete Information, Chapter 4, Morgan Kaufmann, 1988.Google Scholar
  8. Gelfond, M., and Lifschitz, V., "Compiling Circumscriptive Theories into Logic Programs: Preliminary Report," Proceedings AAAI-88, 1988.Google Scholar
  9. Hayes, P., "The Logic of Frames," Frame Conceptions and Text Understanding, D. Metzing (ed.), Walter de Gruyter and Co., 1979.Google Scholar
  10. Kowalski, R., and M. Sergot, "A Logic Based Calculus of Events," New Generation Computing, 4, 1986.Google Scholar
  11. McCarthy, J., "Applications of Circumscription to Formalizing Common-Sense Knowledge," Artificial Intelligence, 28, 1986.Google Scholar
  12. Moore, R., Reasoning About Knowledge and Action, Technical Report No. 191, SRI International Artificial Intelligence Center, 1980.Google Scholar
  13. Pimentel, S., and J. Cuadrado, "The Event Calculus and Consistency Maintenance," to appear, 1989.Google Scholar
  14. Przymusinski, T., "On the Relationship Between Logic Programming and Non-monotonic Reasoning," Proceedings AAAI-88, 1988.Google Scholar
  15. Touretzky, D., The Mathematics of Inheritance Systems, section 2.19, Morgan Kaufmann, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Stephen G. Pimentel
    • 1
  • John L. Cuadrado
    • 1
  1. 1.Institute for Defense AnalysesComputer and Software Engineering DivisionAlexandria

Personalised recommendations