An open logic system admitting modification of inference rules
type: Item
instance of: scholarly article
title: An open logic system admitting modification of inference rules
zbMATH Open document ID: 0857.03015
published in: Chinese Science Bulletin
publication date: 1997-03-11T00:00:00Z
review text: Under the AGM account of belief change, a belief state is taken to be a set of propositional (or eventually first-order, etc.) formulae (sometimes constrained to be closed under consequence). The author considers taking as a state a set of inference rules over such formulae. Some definitions are given, e.g. of consistency in such a context and of maxichoice revision, and one theorem is proven, saying roughly that we can go from any one consistent state (so defined) to any complete one by a sufficiently long (and possibly transfinite) sequence of maxichoice revisions. Comments: The language used is first-order, but its power appears to be cut back to the propositional level by restricting the main definitions and the theorem to the case that all formulae in rules are closed. The reader should be wary of a number of typos.
reviewed by: David Makinson
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 940617
zbMATH Keywords: belief change
zbMATH Keywords: belief state
zbMATH Keywords: inference rules
zbMATH Keywords: consistency
zbMATH Keywords: maxichoice revision
author: Mingsheng Ying
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 940617