Results 1 - 10
of
1,035
Situation calculus. In
- Handbook of Knowledge Representation.
, 2007
"... The situation calculus is a logical language for representing changes. It was first introduced by McCarthy in 1963, 1 and described in further details by McCarthy and Hayes [29] in 1969. The basic concepts in the situation calculus are situations, actions and fluents. Briefly, actions are what ma ..."
Abstract
-
Cited by 11 (3 self)
- Add to MetaCart
The situation calculus is a logical language for representing changes. It was first introduced by McCarthy in 1963, 1 and described in further details by McCarthy and Hayes [29] in 1969. The basic concepts in the situation calculus are situations, actions and fluents. Briefly, actions are what
Temporal Reasoning in the Situation Calculus
, 1994
"... A fundamental problem in Knowledge Representation is the design of a logical language to express theories about actions and change. One of the most prominent proposals for such a language is John McCarthy's situation calculus, a formalism which views situations as branching towards the future. ..."
Abstract
-
Cited by 137 (11 self)
- Add to MetaCart
A fundamental problem in Knowledge Representation is the design of a logical language to express theories about actions and change. One of the most prominent proposals for such a language is John McCarthy's situation calculus, a formalism which views situations as branching towards the future
Narratives in the Situation Calculus
, 1994
"... A narrative is a course of real events about which we might have incomplete information. Formalisms for reasoning about action may be broadly divided into those which are narrativebased, such as the Event Calculus of Kowalski and Sergot, and those which reason on the level of hypothetical sequences ..."
Abstract
-
Cited by 90 (6 self)
- Add to MetaCart
of actions, in particular the Situation Calculus. This paper bridges the gap between these types of formalism by supplying a technique for linking incomplete narrative descriptions to Situation Calculus domain formulae written in the usual style using a Result function. Particular attention is given
Inductive Situation Calculus
- Artificial Intelligence
, 2004
"... see [2]. Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Logic for Non-Monotone Inductive Definitions (NMID). This is an extension of classical logic that allows for unifo ..."
Abstract
-
Cited by 35 (23 self)
- Add to MetaCart
see [2]. Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Logic for Non-Monotone Inductive Definitions (NMID). This is an extension of classical logic that allows
Situation Calculus and Causal Logic
- In Proc. KR’98
, 1998
"... In the AAAI-97 paper by McCain and Turner, the frame problem is solved using a nonmonotonic causal logic. In this note we show how their method can be adapted to the language of the situation calculus. ..."
Abstract
-
Cited by 14 (2 self)
- Add to MetaCart
In the AAAI-97 paper by McCain and Turner, the frame problem is solved using a nonmonotonic causal logic. In this note we show how their method can be adapted to the language of the situation calculus.
Causality and counterfactuals in the situation calculus
"... Structural causal models offer a popular framework for exploring causal concepts. However, due to their limited expressiveness, structural models have difficulties coping with such concepts as actual (event-to-event) causation. In this paper, we propose a new type of causal model, based on embedding ..."
Abstract
-
Cited by 8 (1 self)
- Add to MetaCart
on embedding structural considerations in the language of situation calculus. By using situation calculus as a basic language, we leverage its power to express complex, dynamically changing situations and, by relying on structural considerations, we can formulate an effective theory of counterfactuals within
Situation Calculus with Aspect
- In IASTED International Conference on Arti Intelligence and Soft Computing '97
, 1997
"... In this paper, we describe situation calculus with aspect, which is an extension of the classical situation calculus. The new approach allows efficient representation of the frame axioms and partially ordered plans. In S.C. with aspect, fluents and actions are associated with aspects. The frame axio ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
In this paper, we describe situation calculus with aspect, which is an extension of the classical situation calculus. The new approach allows efficient representation of the frame axioms and partially ordered plans. In S.C. with aspect, fluents and actions are associated with aspects. The frame
The Two-Variable Situation Calculus
"... Abstract. We consider a modified version of the situation calculus built using a two-variable fragment of the first-order logic extended with counting quantifiers. We mention several additional groups of axioms that need to be introduced to cap-ture taxonomic reasoning. We show that the regression o ..."
Abstract
- Add to MetaCart
Abstract. We consider a modified version of the situation calculus built using a two-variable fragment of the first-order logic extended with counting quantifiers. We mention several additional groups of axioms that need to be introduced to cap-ture taxonomic reasoning. We show that the regression
Results 1 - 10
of
1,035