IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Tue, 27 Jun 2017 08:48:55

Sandewall, E. (1995). Systematic Comparison of Approaches to Ramification using Restricted Minimization of change. Technical Report LiTH-IDA-R-95-15, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),

Abstract: Most approaches to the ramification problem are based on the principle of minimization of change. It turns out, however, that this principle can not be applied uniformly, and many modern approaches use a classification of the fluents whereby change is only minimized in some of the fluents. The present article reviews these approaches and their underlying motivations. It also presents a unified formal framework whereby it is possible to compare, between different approaches, the set of selected models in each of them as well as their range of correct applicability. Finally it discusses the applicability of the Katsuno-Mendelzon postulates for these approaches.

Goto (at Linköping University): CS Dept TR Overview