• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 1,035
Next 10 →

Situation calculus. In

by Fangzhen Lin - 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

by Javier Andrés Pinto , 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

Situation Calculus

by Laurence Cholvy Christophe Garion
"... Ability in a multi-agent context: a model in the ..."
Abstract - Add to MetaCart
Ability in a multi-agent context: a model in the

Narratives in the Situation Calculus

by Rob Miller, Murray Shanahan , 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

by Marc Denecker, Eugenia Ternovska - 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

by Vladimir Lifschitz - 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

by Mark Hopkins, Judea Pearl
"... 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

by David Plaisted, Yunshan Zhu - 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

Foundations for the Situation Calculus

by Hector Levesque, Fiora Pirri, Ray Reiter , 1998
"... ..."
Abstract - Cited by 108 (13 self) - Add to MetaCart
Abstract not found

The Two-Variable Situation Calculus

by Yilan Gu A, Mikhail Soutchanski B
"... 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
Next 10 →
Results 1 - 10 of 1,035
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University