The Logic of Dynamic Systems
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Temporal Reasoning. Pages 1956-1962.
Abstract
A formal theory of actions and change in dynamic systems is presented. Our formalism is based on the paradigm that state transitions in a system naturally occur while time passes by; one or more agents have the possibility to direct the development ofthe system by executing actions . Our theory covers concurrency of actions and events and includes a natural way to express delayed effects and nondeterminism. A uniform semantics for specifications of dynamic systems is developed, which enables us to express solutions to problems like temporal projection, planning and postdiction in terms of logical entailment .
@inproceedings{ijcai1995p251,
title = {The Logic of Dynamic Systems},
author = {Thielscher, Michael},
booktitle = {Proceedings of the Fourteenth International Joint Conference on
Artificial Intelligence, {IJCAI-95}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Chris S. Mellish},
pages = {1956--1962},
year = {1995},
note = {Temporal Reasoning},
url = {https://ijcai.org/proceedings/1995/251},
}
TY - CPAPER TI - The Logic of Dynamic Systems AU - Thielscher, Michael T2 - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95 PB - International Joint Conferences on Artificial Intelligence PY - 1995 SP - 1956 EP - 1962 UR - https://ijcai.org/proceedings/1995/251 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
