On using the situation calculus dynamically rather than temporally
Loading...
Authors
Labuschagne, W.A.
Miller, MG
Issue Date
1994
Type
Language
en
Keywords
Circumscription , Frame problem , Minimal model , Situation calculus , Temporal projection problem , Yale shooting scenario
Alternative Title
Abstract
Yet another axiomatisation of the Yale shooting scenario is provided. The point illustrated by the axiomatisation is that, when using the situation calculus to represent knowledge about a dynamic system in which actions cause transitions between finitely many states, it is simpler to use the situation terms to model the states than to interpret situation terms as temporal indices.
Description
Citation
Labuschagne WA & Miller MG (1994) On using the situation calculus dynamically rather than temporally. South African Computer Journal, Number 12, 1994
Publisher
South African Computer Society (SAICSIT)
License
Journal
Volume
Issue
PubMed ID
DOI
ISSN
2313-7835