Files: Description File size Format
Fulltext PDF (requires Acrobat Reader)
Fulltext PostScript (requires a PostScript Reader)
   
Author: Erik Sandewall
Article title: Underlying Semantics for Action and Change with Ramification
Publ. type: Article
Volume: 1
Issue: 2
Article No: 2
Language: English
Abstract [en]: This article reports on assessment results for several approaches to the ramification problem. Two types of assessments are reported: (1) Assessment of soundness for one minimization based and one causation-based method; (2) Relative range assessments for a number of minimization based methods.
   Assessment of soundness is based on an underlying semantics for ramification. We propose, define, and use a \emp{causal propagation} semantics for this purpose. Causal propagation means that an action is viewed as consisting of an initial state transition which represents the invocation of the action, followed by a succession of other state transitions which may be understood as representing links in a causal chain. The assessment of an entailment method specifies restrictions on the invocation and causation relations which guarantee that the entailment method is sound.
   Relative range assessments compare entailment methods pairwise and specify whether the set of selected models obtained by one is a subset of the set of selected models obtained by the other.
PDF
Publisher: Linköping University Electronic Press
Year: 1996
Available: 1996-11-05
No. of pages: 28
Series: Linköping Electronic Articles in Computer and Information Science
ISSN: 1401-9841
REFERENCE TO THIS PAGE:
Sandewall, Erik (1996). Underlying Semantics for Action and Change with Ramification in Linköping Electronic Articles in Computer and Information Science, 1(2). http://www.ep.liu.se/ea/cis/1996/002/. ( )