114,257 Hits in 4.1 sec

Semantics for a useful fragment of the situation calculus

Gerhard Lakemeyer, Hector J. Levesque
2005 International Joint Conference on Artificial Intelligence  
In this paper, we reconsider the relation between ES and the situation calculus and show how to map sentences of ES into the situation calculus.  ...  Although formulated using modal operators, we argued that the language was in fact a dialect of the situation calculus but with the situation terms suppressed.  ...  Acknowledgments We thank the anonymous reviewers for their helpful comments.  ... 
dblp:conf/ijcai/LakemeyerL05 fatcat:dya4pb2tuzbpjkbjb5arjrrfz4

A Well-typed Lightweight Situation Calculus [article]

Li Tan
2012 arXiv   pre-print
However, type systems are hardly deployed in situation calculus in the literature.  ...  To achieve a correct and sound typed program written in situation calculus, adding typing elements into the current situation calculus will be quite helpful.  ...  Acknowledgements The author would like to thank all anonymous reviewers for their generous and constructive directives and comments on this paper.  ... 
arXiv:1201.2430v2 fatcat:3g2vjmffb5ai3jwfrt472tm55i

Causality and Counterfactuals in the Situation Calculus

M. Hopkins, J. Pearl
2007 Journal of Logic and Computation  
of counterfactuals within the situation-calculus.  ...  In this paper, we propose a new type of causal model, based on embedding structural considerations in the language of situation calculus.  ...  the two rocks.  ... 
doi:10.1093/logcom/exm048 fatcat:a4n4lf4azbgxdfotl5rcjkokhu

The Situation Calculus: A Case for Modal Logic

Gerhard Lakemeyer
2010 Journal of Logic, Language and Information  
The situation calculus is one of the most established formalisms for reasoning about action and change.  ...  In this paper we will review the basics of Reiter's version of the situation calculus, show how knowledge and time have been addressed in this framework, and point to some of the weaknesses of the situation  ...  It was him who had the initial idea to turn Reiter's situation calculus into the modal logic ES.  ... 
doi:10.1007/s10849-009-9117-6 fatcat:n3pnfnve6beqpkouqywfxpwfkm

WSSL: A Fluent Calculus-Based Language for Web Service Specifications [chapter]

George Baryannis, Dimitris Plexousakis
2013 Lecture Notes in Computer Science  
We propose WSSL, a novel specification language for services, based on the fluent calculus, that is expressly designed to address the aforementioned issues.  ...  These issues involve the frame, ramification and qualification problems, which deal with the succinct and flexible representation of non-effects, indirect effects and preconditions, respectively.  ...  This research was partially funded by the PaaSage (FP7-317715) EU project, as well as the Special Account for Research Grants, University of Crete (Grant No. 3742).  ... 
doi:10.1007/978-3-642-38709-8_17 fatcat:yoyr6hwp2fgutg22wumpbeitx4

Event Calculus Planning Through Satisfiability

M. Shanahan
2004 Journal of Logic and Computation  
By contrast, this paper presents a formal framework for tackling event calculus planning through satisfiability, in the style of Kautz and Selman.  ...  A provably correct conjunctive normal form encoding for event calculus planning problems is supplied, rendering them soluble by an off-the-shelf SAT solver.  ...  Thanks to Erik Mueller and the two anonymous referees.  ... 
doi:10.1093/logcom/14.5.731 fatcat:fkbgfgp2ovaa7ax5jtgyj247wa

Conceptual Fields and Magnetic Field: a theoretical model for epistemological classification of tasks in magnetostatics

Glauco Cohen Ferreira Pantoja
2021 Investigações em Ensino de Ciências  
The approach is based on the theory of conceptual fields and includes classification in terms of thought operations necessary to solve the tasks and in these situations' parameters.  ...  for building situations based on predicative and operational competences for understanding the concept of magnetic field, and a practical example of epistemological classification of situations that can  ...  Then, the energy and force facets are also in all classes of situations when one mentions there is energy and momentum in the field.  ... 
doi:10.22600/1518-8795.ienci2021v26n3p82 fatcat:s2piaqwsfnbu5b7jmbvc7d4yuu

Situation calculus specifications for event calculus logic programs [chapter]

Rob Miller
1995 Lecture Notes in Computer Science  
A version of the Situation Calculus is presented which is able to deal with information about the actual occurrence of actions in time.  ...  A translation of Situation Calculus style theories into Event Calculus style logic programs is defined, and results are given on its soundness and completeness.  ...  Introduction This paper compares two formalisms and two associated default reasoning techniques for reasoning about action m the Situation Calculus using a variant of Baker's circumscriptive solution to  ... 
doi:10.1007/3-540-59487-6_16 fatcat:jknatas3srd4dfmjfta64vl2uy

A Theory of First-Order Counterfactual Reasoning [chapter]

Michael Thielscher
1999 Lecture Notes in Computer Science  
A new theory of evaluating counterfactual statements is presented based on the established predicate calculus formalism of the Fluent Calculus for reasoning about actions.  ...  An existing solution to the Ramification Problem in the Fluent Calculus, where indirect effects of actions are accounted for via causal propagation, allows to deduce the immediate consequences of a counterfactual  ...  Fig. 1 using two additional, exogenous variables U 1 and U 2 that determine the positions of the two switches.  ... 
doi:10.1007/3-540-48238-5_11 fatcat:h42kd7sk3nbmro4lvsfbvycdtu

A unifying action calculus

Michael Thielscher
2011 Artificial Intelligence  
McCarthy's Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects.  ...  The co-existence of many different calculi has two main disadvantages: The formal relations among them is a largely open issue, and a lot of today's research concerns the transfer of specific results obtained  ...  We exemplify this method by two new results: an axiomatic characterization of ADL planning problems in the Event Calculus, and a translation of the basic Fluent Calculus into the Situation Calculus.  ... 
doi:10.1016/j.artint.2010.04.010 fatcat:7s6rjfwvczhglkqx3mu5p2zija

Foundations of the Situation Calculus [chapter]

2001 Knowledge in Action  
This article gives the logical foundations for the situations-as-histories variant of the situation calculus, focusing on the following items: The language of the situation calculus.  ...  Essential metatheoretic results about the situation calculus.  ...  Acknowledgments As described here, the formal foundations of the situation calculus have evolved over a number of years, and we gratefully acknowledge the contributions of the present, emeritus and honorary  ... 
doi:10.7551/mitpress/4074.003.0006 fatcat:xtnp3yax75d6jevtrwngzrwx4y

Situation Calculus as Hybrid Logic: First Steps [chapter]

Patrick Blackburn, Jaap Kamps, Maarten Marx
2001 Lecture Notes in Computer Science  
The situation calculus, originally conceived by John Mc-Carthy, is one of the main representation languages in artificial intelligence.  ...  Modal logic changed enormously since the 60s. This paper sets out to revive the connection between situation calculus and modal logic.  ...  The two most important semantic constructs in the situation calculus are the situation and the fluent. A situation is the complete state of the universe at an instant of time.  ... 
doi:10.1007/3-540-45329-6_26 fatcat:mduti63gibexxfcsokbskplngy

Automated Agent Synthesis for Situation Awareness in Service-Based Systems

S. Yau, H. Gong, D. Huang, W. Gao, L. Zhu
2006 30th Annual International Computer Software and Applications Conference (COMPSAC'06)  
Hence, to greatly reduce the effort of situation-aware application software development in service-based systems as well as supporting runtime system adaptation, it is necessary to automate the development  ...  This approach is based on AS 3 calculus and logic, and our declarative model for SAW.  ...  L16 instantiates two sub-processes (withinRange_Agent and canUseHeli_Agent) in parallel to analyze two situations (AS2 and CS2 in Fig. 3 ).  ... 
doi:10.1109/compsac.2006.30 dblp:conf/compsac/YauGHGZ06 fatcat:hy25qxekdrgqpet2v4lxdqeljy

A semantic characterization of a useful fragment of the situation calculus with knowledge

Gerhard Lakemeyer, Hector J. Levesque
2011 Artificial Intelligence  
Furthermore, we show the correctness of our approach by embedding ES in Reiter's situation calculus.  ...  The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered.  ...  In the situation calculus, for a variable map μ, we write μ + to mean μ{x 1 /θ(n 1 ), . . . , x m /θ(n m ), s/π (z, ι)}, where the variable s, the z ∈ Z and the ι ∈ D strt will be determined by context  ... 
doi:10.1016/j.artint.2010.04.005 fatcat:sudwqq23bvh23owj3ie2vassdq

Page 1309 of Mathematical Reviews Vol. , Issue 85d [page]

1985 Mathematical Reviews  
We argue here for two claims about situation semantics: (a) Situation semantics cannot be seen as a formal embodiment of the obvious theory. The two are genuinely in opposition.  ...  Syntactically, this is given by a modal calculus MC” which adds two complex axioms to those capturing the notion of modal logical truth.  ... 
« Previous Showing results 1 — 15 out of 114,257 results