M. Shanahan. A Circumscriptive event calculus. Artificial Intelligence, 77:249-284, 1995. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Nature of Knowledge in an Abductive Event Calculus Planner - de Barros (Correct)
.... demonstrate that, a good theoretical solution can co exist with a good practical solution despite of contrary widespread belief [13] In this paper we are going to analyze a particular logic based planner, named Abductive Event Calculus Planner (AEC) 6] which has Circumscriptive Event Calculus [16] as the reasoning about action and change, with abduction as the inference rule. Within this framework, the work in [6] shows that there is a close correspondence between well known planning algorithms and planning defined as a result of the application of general purpose theorem proving ....
.... described as a set of events whose occurrences have the effect of starting or terminating the validity of determined properties of the world (the fluents) There are many versions of Event Calculi [19] In this paper we are going to work with the variant of the calculus defined by Shanahan in [16]. The Event Calculus with Circumscription Below we briefly present the axiomatization of the Circumscriptive Event Calculus [16] and, in the sequence, we define planning as a process of abduction on this event (action) theory. The Event Calculus is a 3 sorted first order language comprising a ....
[Article contains additional citation context not shown here]
M. Shanahan. A Circumscriptive event calculus. Artificial Intelligence, 77:249-284, 1995.
Formalising the Common Sense of a Mobile Robot - Santos (1998) (Correct)
....time points. However, due to the complexity of the vocabulary (and the use of negation as failure) of the original Event Calculus, its axioms present some problems which motivated the proposal of other variants. In this paper we are going to use the variant of the calculus defined by Shanahan in [37][44] which, instead of negation as failure, uses Circumscription as non monotonic formalism and (only) time points as time units. The Event Calculi are presented in more detail in section 2.2. The purpose of Circumscription in this framework is to give a non monotonic solution to the frame ....
.... for reasoning about actions and change in order to implement autonomous systems (more specifically mobile robots) In order to build such a formalism one needs to make a choice about time units, in the case of Event Calculi this choice varies between time intervals [21] 2] and time points [21][37][44] The purpose of these formalisms explicitly linked to the time representation is to model the reasoning of intelligent agents as they plan to act (and reason about the effects of their actions) in the world they are immersed in. In the present section we are interested in the approaches ....
[Article contains additional citation context not shown here]
M. Shanahan. A circumscriptive event calculus. Artificial Intelligence, 77:249--284, 1995.
Common Sense of a Mobile Robot and the Consistency of Event.. - Santos (1999) (Correct)
....time points. However, due to the complexity of the vocabulary (and the use of negation as failure) of the original Event Calculus, its axioms present some problems which motivated the proposal of other variants. In this paper we are going to use the variant of the calculus defined by Shanahan in [10][12] which, instead of negation as failure, uses Circumscription as non monotonic formalism and (only) time points as time units. The purpose of Circumscription in this framework is to give a non monotonic solution to the frame problem. This problem is one of the main open issues in reasoning ....
M. Shanahan. A circumscriptive event calculus. Artificial Intelligence, 77:249--284, 1995.
Formalising the Common Sense of a Mobile Robot - Santos (1998) (Correct)
....time points. However, due to the complexity of the vocabulary (and the use of negation as failure) of the original Event Calculus, its axioms present some problems which motivated the proposal of other variants. In this paper we are going to use the variant of the calculus defined by Shanahan in [37][44] which, instead of negation as failure, uses Circumscription as non monotonic formalism and (only) time points as time units. The Event Calculi are presented in more detail in section 2.2. The purpose of Circumscription in this framework is to give a non monotonic solution to the frame ....
.... for reasoning about actions and change in order to implement autonomous systems (more specifically mobile robots) In order to build such a formalism one needs to make a choice about time units, in the case of Event Calculi this choice varies between time intervals [21] 2] and time points [21][37][44] 8 . The purpose of these formalisms explicitly linked to the time representation is to model the reasoning of intelligent agents as they plan to act (and reason about the effects of their actions) in the world they are immersed in. In the present section we are interested in the approaches ....
[Article contains additional citation context not shown here]
M. Shanahan. A circumscriptive event calculus. Artificial Intelligence, 77:249--284, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC