Defaults in update semantics
type: Item
instance of: scholarly article
title: Defaults in update semantics
zbMATH Open document ID: 0860.03025
DOI: 10.1007/BF00248150
author: Frank Veltman
published in: Journal of Philosophical Logic
publication date: 1997-04-21T00:00:00Z
review text: This is an important paper, that has frequently been cited after a first version of it was pre-printed in 1990. The author carefully develops a semantic theory of persistent default rules, that correctly deals with benchmark examples from the literature. Three natural notions of dynamic entailment are presented and one is chosen for the formal representation of default reasoning. Notably, conclusions drawn from sequences of premises containing default assumptions have the shape ``presumably \(A\)'', indicating in the object-language the defeasibility of \(A\). The author also points out two anomalies of defaults in update semantics, namely `Strengthening with a consequent' and `Disjunction of antecedents' fail to be valid.
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 907933
zbMATH Keywords: dynamic logic
zbMATH Keywords: semantic theory of persistent default rules
zbMATH Keywords: dynamic entailment
zbMATH Keywords: default reasoning
zbMATH Keywords: update semantics
reviewed by: Heinrich Wansing
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf00248150
OpenAlex ID: W2121243963
Recommended article: Q3786044
Recommended article: Default Negation as Explicit Negation plus Update
Recommended article: Default modal systems as algebraic updates
Recommended article: Defaults in domain theory
Recommended article: Defaults as Generalized Quantifiers
Recommended article: Q5224809
Recommended article: Update Semantics for Imperatives with Priorities
Recommended article: Logical considerations on default semantics
description: scientific article; zbMATH DE number 907933