A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Semantics for a useful fragment of the situation calculus
2005
International Joint Conference on Artificial Intelligence
Preserved Fulltext
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]
2012
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
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
2007
Journal of Logic and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
2010
Journal of Logic, Language and Information
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2004
Journal of Logic and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2021
Investigações em Ensino de Ciências
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
1995
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2006
30th Annual International Computer Software and Applications Conference (COMPSAC'06)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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