| Title: | The LMW Traffic World in the Fluent Calculus. |
| Authors: | Andreas Henschel and Michael Thielscher |
| Series: | Linköping Electronic Articles in Computer and Information Science ISSN 1401-9841 |
| Issue: | Vol. 5 (2000): nr 014 |
| URL: | http://www.ep.liu.se/ea/cis/2000/014/ |
| Abstract: |
An axiomatization of the Traffic World scenario as proposed
in [1] is presented using the Fluent Calculus [4]. The most
challenging property of the domain is its involving such
diverse features and continuous change, concurrency,
non-determinism, and ramifications, i.e., indirect effects.
We show that the Fluent Calculus along with its
augmentations is well-suited to meet this challenge.
|
|---|---|
| Keywords: |
| First posting 1999-12-18 | ETAI Newsletter on Actions and Change, December 20, 1999 |
|---|---|
|
Original publication 2000-12-05 |
Postscript Checksum |
| Info from authors | |
| Third-party information |
This article was first posted on the Internet as specified under "First posting", and appeared on the E-press server on the date specified under "Original publication".
|
Editor-in-chief: editor@ep.liu.se Webmaster: webmaster@ep.liu.se |