Sandewall, E. (1991). Features and Fluents. An agenda and logic-based framework for the Representation of Knowledge about Dynamical Systems. Review version of Chapters 1 and 3-7. Technical Report LiTH-IDA-R-91-29, Department of Computer and Information Science, Linköping University, Sweden. This is a preliminary version of parts of a forthcoming book. (bibtex),
Abstract: This report is a review version of parts of a forthcoming book on the logic of reasoning about actions and time, and on the various aspects of the frame problem including the inertia problem, the qualification problem, and the ramification problem.An approach which addresses all three of those problems is described in the present report, based on a number of previous conference papers by the present author. The report also defines a catalogue of test scenarios for temporal reasoning. Some of the current approaches to temporal reasoning in the A.I. literature are reviewed, and it is analyzed whether they obtain the intended conclusions for each of the test scenarios. It is observed that in a surprisingly large number of cases, the currently most popular approaches fail to obtain the intended conclusions. In some cases too few conclusions, but in a larger number of cases too many conclusions are obtained.
CS Dept TR Overview