Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao zbMATH Openarrow_drop_down
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
zbMATH Open
Article
Data sources: zbMATH Open
Journal of Logic and Computation
Article . 1994 . Peer-reviewed
Data sources: Crossref
DBLP
Article . 2017
Data sources: DBLP
versions View all 3 versions
addClaim

The Range of Applicability of some Non-monotonic Logics for Strict Inertia

The range of applicability of some non-monotonic logics for strict inertia
Authors: Erik Sandewall;

The Range of Applicability of some Non-monotonic Logics for Strict Inertia

Abstract

A framework for assessing systematically theories of action and change is presented. The framework consists of a logic for representing scenario descriptions and the semantic machinery for defining the intended models for the descriptions. A proposed theory of action and change is analyzed in terms of its selection function that maps scenario descriptions to sets of models. An assessment of a theory consists of identifying the range of correct applicability of the theory, i.e., identifying the class of scenario descriptions for which the selection function of the theory gives exactly the intended models for each description in the class. For the assessments and comparisons of different theories of action a taxonomy of scenario descriptions is provided whereby the ranges of applicability are specified. The article presents assessment results concerning the case where a logic with explicit integer time is used for scenario descriptions and where strict inertia (simple persistence without, e.g., surprises or ramifications) is assumed. The range of applicability of a number of previously proposed and new theories of action and change based on preferential semantics is examined. The research has been continued and the results have been extended and generalized in a new book of the author's [Features and fluents (Oxford University Press) (1994)].

Related Organizations
Keywords

Logic in artificial intelligence, assessment, nonmonotonic logic, persistence, Other nonclassical logic, frame problem, logic for representing scenario descriptions, intended models, logics of action and change, strict inertia

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    9
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Top 10%
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Top 10%
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
9
Average
Top 10%
Top 10%
Upload OA version
Are you the author of this publication? Upload your Open Access version to Zenodo!
It’s fast and easy, just two clicks!