Learn More
We outline an approach for reasoning about events and time within a logic programming framework. The notion of event is taken to be more primitive than that of time and both are represented explicitly by means of Horn clauses augmented with negation by failure. The main intended applications are the updating of databases and narrative understanding. In(More)
We present an abstract framework for default reasoning, which includes Theorist, default logic, logic programming, autoepistemic logic, non-monotonic modal logics, and certain instances of circumscription as special cases. The framework can be understood as a gener-alisation of Theorist. The generalisation allows any theory formulated in a monotonic logic(More)
Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated. It is concluded that operational semantics is a part of proof theory and that fixpoint semantics(More)
The infancy of a programming language can be a trying period for all involved. The developers of the language and the early followers are usually fiercely dedicated to demonstrating they they have achieved a major accomplishment. They become a vocal and adamant elite, willing to testify with evangelical fervor that they have finally discovered the Royal(More)
This paper is a survey and critical overview of recent work on the extension of Logic Programming to perform Abductive Reasoning (Abductive Logic Programming). It updates the earlier paper \Abductive Logic Programming" 88]. We outline the general framework of Abduction and its applications to Knowledge Assimilation and Default Reasoning; we describe the(More)
In this paper we present an extension of logic programming (LP) that is suitable not only for the “rational” component of a single agent but also for the “reactive” component and that can encompass multi‐agent systems. We modify an earlier abductive proof procedure and embed it within an agent cycle. The proof procedure incorporates abduction, definitions(More)