Linkk Oping Electronic Articles in Underlying Semantics for Action and Change with Ramiication
نویسنده
چکیده
This article reports on assessment results for several approaches to the rami cation problem Two types of assessments are re ported Assessment of soundness for one minimization based and one causation based method Relative range assessments for a number of minimization based methods Assessment of soundness is based on an underlying semantics for rami cation We propose de ne and use a 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 represent ing links in a causal chain The assessment of an entailment method speci es restrictions on the invocation and causation re lations which guarantee that the entailment method is sound Relative range assessments compare entailmentmethods pair wise and specify whether the set of selected models obtained by one is a subset of the set of selected models obtained by the
منابع مشابه
Linkk Oping Electronic Articles in Simulation, Ramiication, and Linear Logic
This article rst argues that formalisations of the frame prob lem should have certain desirable logical features it then pro poses a treatment of the frame problem using linear logic to gether with modal operators which ful ls these desiderata and seems to be successful in other respects
متن کاملLinkk Oping Electronic Articles in the Event Calculus in Classical Logic { Alternative Axiomatisations Linkk Oping Electronic Articles in Computer and Information Science
We present several alternative classical logic axiomatisations of the Event Calculus, a narrative based formalism for reasoning about actions and change. We indicate the range of applicability and key characteristics of each alternative formulation. 1
متن کاملLinkk Oping Electronic Articles in Action Languages Linkk Oping Electronic Articles in Computer and Information Science
Action languages are formal models of parts of the natural lan guage that are used for talking about the e ects of actions This article is a collection of de nitions related to action languages that may be useful as a reference in future publications
متن کاملLinkk Oping Electronic Articles in Reasoning about Actions, Narratives and Ramiications Linkk Oping Electronic Articles in Computer and Information Science
The Language E is a simple declarative language for describing the e ects of action occurrences within a given narrative, using an ontology of actions, time points and uents (i.e. properties which can change their truth values over time). This paper shows how E may be extended to deal with rami cations. More precisely, we show how Language E domain descriptions can include statements describing...
متن کامل