2016
DOI: 10.1016/j.artint.2016.04.006
|View full text |Cite
|
Sign up to set email alerts
|

Bounded situation calculus action theories

Abstract: In this paper, we investigate bounded action theories in the situation calculus. A bounded\ud action theory is one which entails that, in every situation, the number of object tuples\ud in the extension of fluents is bounded by a given constant, although such extensions are\ud in general different across the infinitely many situations. We argue that such theories are\ud common in applications, either because facts do not persist indefinitely or because the\ud agent eventually forgets some facts, as new ones ar… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
5

Citation Types

1
47
0

Year Published

2019
2019
2022
2022

Publication Types

Select...
3
2

Relationship

3
2

Authors

Journals

citations
Cited by 29 publications
(48 citation statements)
references
References 61 publications
(139 reference statements)
1
47
0
Order By: Relevance
“…We show that for a very rich class of temporal properties expressed in a first-order variant of the μ-calculus verification of online executions is decidable. This result complements the one in [11], which showed decidability of verification for offline executions.…”
Section: Introductionsupporting
confidence: 59%
See 4 more Smart Citations
“…We show that for a very rich class of temporal properties expressed in a first-order variant of the μ-calculus verification of online executions is decidable. This result complements the one in [11], which showed decidability of verification for offline executions.…”
Section: Introductionsupporting
confidence: 59%
“…Moreover, agents often forget facts either because they are not used or because they cannot be reconfirmed. Many examples of domains modeled as bounded action theories are reported in [11], which also identifies various ways to obtain boundedness: (i) by strengthening preconditions to block actions where the bound would be exceeded; (ii) by ensuring that actions are effect bounded and never make more fluent atoms true than they make false; and (iii) by using fading fluents whose strength fades over time unless they are reconfirmed.…”
Section: Introductionmentioning
confidence: 99%
See 3 more Smart Citations