Expansion and Contraction of Finite States |
| |
Authors: | Tamminga Allard |
| |
Affiliation: | (1) Vakgroep Theoretische Filosofie, Faculteit der Wijsbegeerte, Rijksuniversiteit Groningen, A-weg 30, 9718 CW Groningen, The Netherlands |
| |
Abstract: | We present a theory that copes with the dynamics of inconsistent information. A method is set forth to represent possibly inconsistent information by a finite state. Next, finite operations for expansion and contraction of finite states are given. No extra-logical element — a choice function or an ordering over (sets of) sentences — is presupposed in the definition of contraction. Moreover, expansion and contraction are each other's duals. AGM-style characterizations of these operations follow. |
| |
Keywords: | belief change belief contraction paraconsistent logic first degree entailment |
本文献已被 SpringerLink 等数据库收录! |
|