chapter

The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Author:

Raymond ReiterAuthors Info & Claims

Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy

September 1991

Pages 359 - 380

Published: 01 September 1991 Publication History

Abstract

No abstract available.

Cited By

View all

Liu DClaßen JLarson K(2024)First-order progression beyond local-effect and normal actionsProceedings of the Thirty-Third International Joint Conference on Artificial Intelligence10.24963/ijcai.2024/385(3475-3483)Online publication date: 3-Aug-2024
https://dl.acm.org/doi/10.24963/ijcai.2024/385
Aameri BGrüninger M(2019)A Representation Theorem for Change through Composition of ActivitiesACM Transactions on Computational Logic10.1145/332912120:4(1-31)Online publication date: 26-Jul-2019
https://dl.acm.org/doi/10.1145/3329121
Olkhovikov GWansing H(2019)Inference as Doxastic Agency. Part IStudia Logica10.1007/s11225-017-9779-z107:1(167-194)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s11225-017-9779-z
Show More Cited By

Index Terms

The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
      1. Ontology engineering

Recommendations

Some contributions to the metatheory of the situation calculus

We focus on a rich axiomatization for actions in the situation calculus that includes, among other features, a solution to the frame problem for deterministic actions. Our work is foundational in nature, directed at simplifying the entailment problem ...
Inductive situation calculus

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 in ID-logic, classical logic extended with inductive definitions. This logic has been ...
The Situation Calculus: A Case for Modal Logic

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 ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy

September 1991

459 pages

ISBN:0124500102

Editor:
Vladimir Lifschitz
Univ. of Texas at Austin

Publisher

Academic Press Professional, Inc.

United States

Publication History

Published: 01 September 1991

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

147
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Liu DClaßen JLarson K(2024)First-order progression beyond local-effect and normal actionsProceedings of the Thirty-Third International Joint Conference on Artificial Intelligence10.24963/ijcai.2024/385(3475-3483)Online publication date: 3-Aug-2024
https://dl.acm.org/doi/10.24963/ijcai.2024/385
Aameri BGrüninger M(2019)A Representation Theorem for Change through Composition of ActivitiesACM Transactions on Computational Logic10.1145/332912120:4(1-31)Online publication date: 26-Jul-2019
https://dl.acm.org/doi/10.1145/3329121
Olkhovikov GWansing H(2019)Inference as Doxastic Agency. Part IStudia Logica10.1007/s11225-017-9779-z107:1(167-194)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s11225-017-9779-z
Cardoso RDennis LFisher MDennis LBordini RLespérance YBaldoni MBaroglio CBoissier OMicalizio RTedeschi SAmaral CHübner JFerrando AWinikoff MCranefield SDignum FMascardi VDavoust AGavigan PRuiz-Martin CTrabes GEsfandiari BWainer GJames JSingh DPadgham LNagel KCranefield SDignum FKola IJonker Cvan Riemsdijk MKoeman VDennis LWebster MFisher MHindriks KBosello MRicci ACardoso RDennis LFisher MKampik TNieves JLorini ERomero FAmaral CHübner J(2019)Plan Library Reconfigurability in BDI AgentsEngineering Multi-Agent Systems10.1007/978-3-030-51417-4_10(195-212)Online publication date: 13-May-2019
https://dl.acm.org/doi/10.1007/978-3-030-51417-4_10
Lüdtke SSchröder MKrüger FBader SKirste T(2018)State-space abstractions for probabilistic inferenceJournal of Artificial Intelligence Research10.1613/jair.1.1126163:1(789-848)Online publication date: 1-Sep-2018
https://dl.acm.org/doi/10.1613/jair.1.11261
Maier DTekle KKifer MWarren D(2018)DatalogDeclarative Logic Programming10.1145/3191315.3191317(3-100)Online publication date: 1-Sep-2018
https://dl.acm.org/doi/10.1145/3191315.3191317
Schwering CLakemeyer GPagnucco M(2017)Belief revision and projection in the epistemic situation calculusArtificial Intelligence10.1016/j.artint.2017.07.004251:C(62-97)Online publication date: 1-Oct-2017
https://dl.acm.org/doi/10.1016/j.artint.2017.07.004
Thielscher M(2016)Sampling-based belief revisionProceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence10.5555/3060621.3060798(1272-1278)Online publication date: 9-Jul-2016
https://dl.acm.org/doi/10.5555/3060621.3060798
Jiang GZhang DPerrussel LZhang H(2016)Epistemic GDLProceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence10.5555/3060621.3060779(1138-1144)Online publication date: 9-Jul-2016
https://dl.acm.org/doi/10.5555/3060621.3060779
Arenas MBaier JNavarro JSardina S(2016)Incomplete causal laws in the situation calculus using free fluentsProceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence10.5555/3060621.3060747(907-914)Online publication date: 9-Jul-2016
https://dl.acm.org/doi/10.5555/3060621.3060747
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Some contributions to the metatheory of the situation calculus

Inductive situation calculus

The Situation Calculus: A Case for Modal Logic

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations