| 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. |
|||
| 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:
|
||||