Studia Logica 67 (3):385-401 (2001)

In this paper we propose a new approach to address the ramification problem in common-sense reasoning about action and change. We contrast the methods of McCain and Turner, Thielscher and Sandewall and, based on some of the limitations they encounter, we introduce a trajectory-based approach which keeps a history of the states through which a system evolves to characterise its dynamical state. We furnish an underlying state-transition semantics and a logic that admits an expressive, dynamical account of some typical scenarios which encounter modelling difficulties in the other approaches mentioned.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1010564432183
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,261
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles


Added to PP index

Total views
25 ( #440,231 of 2,455,787 )

Recent downloads (6 months)
1 ( #449,201 of 2,455,787 )

How can I increase my downloads?


My notes