Premium
Updates with Disjunctive Information: From Syntactical and Semantical Perspectives[Note 1. This paper is an extended and revised version of ...]
Author(s) -
Zhang Yan,
Foo Norman Y.
Publication year - 2000
Publication title -
computational intelligence
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.353
H-Index - 52
eISSN - 1467-8640
pISSN - 0824-7935
DOI - 10.1111/0824-7935.00104
Subject(s) - interpretation (philosophy) , syntax , computer science , semantics (computer science) , viewpoints , base (topology) , artificial intelligence , natural language processing , theoretical computer science , mathematics , programming language , art , mathematical analysis , visual arts
The possible models approach is a classical minimal change semantics for knowledge base update, which provides an exclusive interpretation for disjunctive information in updates. It has been recognized that the exclusive interpretation for disjunction may be problematic under some circumstances. In this paper, we investigate inclusive interpretations for disjunctions in updates from both syntactical and semantical viewpoints. In particular, we propose two approaches for disjunctive update—the minimal change with exceptions (MCE) and the minimal change with maximal disjunctive inclusions (MCD). Both approaches provide inclusive interpretations for disjunctions in updates, though the first is syntax‐based and the second is model‐theoretic. We then characterize the MCE and MCD in terms of alternative minimal change criteria and relate them to traditional Katsuno and Mendelzon's update postulates.