On using the situation calculus dynamically rather than temporally

dc.contributor.author	Labuschagne, W.A.
dc.contributor.author	Miller, MG
dc.date.accessioned	2018-05-30T08:27:54Z
dc.date.available	2018-05-30T08:27:54Z
dc.date.issued	1994
dc.identifier.citation	Labuschagne WA & Miller MG (1994) On using the situation calculus dynamically rather than temporally. South African Computer Journal, Number 12, 1994	en
dc.identifier.issn	2313-7835
dc.identifier.uri	http://hdl.handle.net/10500/24150
dc.description.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.	en
dc.language.iso	en	en
dc.publisher	South African Computer Society (SAICSIT)	en
dc.subject	Circumscription	en
dc.subject	Frame problem	en
dc.subject	Minimal model	en
dc.subject	Situation calculus	en
dc.subject	Temporal projection problem	en
dc.subject	Yale shooting scenario	en
dc.title	On using the situation calculus dynamically rather than temporally	en