Selective revision

被引：38

作者：

Fermé E.L. ^{[1
]}

Ove Sven H. ^{[2
]}

机构：

[1] Department of Computer Science, Buenos Aires University, Pab. I - Ciudad Universitaria

[2] Department of Philosophy, Stockholm University

来源：

Studia Logica | 1999年 / 63卷 / 3期

关键词：

Belief change; Belief revision; Choice function; Non-prioritized revision; Success postulate;

D O I：

10.1023/A:1005294718935

中图分类号：

学科分类号：

摘要：

We introduce a constructive model of selective belief revision in which it is possible to accept only a part of the input information. A selective revision operator o is defined by the equality K o α = K * f(α), where * is an AGM revision operator and f a function, typically with the property ⊢ α → f(α). Axiomatic characterizations are provided for three variants of selective revision. © 1999 Kluwer Academic Publishers.

引用

页码：331 / 342

页数：11

共 12 条

[1]

Alchourron C., Gardenfors P., Makinson D., On the logic of theory change: Partial meet contraction and revision functions, Journal of Symbolic Logic, 50, pp. 510-530, (1985)

[2]

Alchourron C., Makinson D., Hierarchies of regulations and their logic, New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics, pp. 125-148, (1981)

[3]

Alchourron C., Makinson D., On the logic of theory change: Contraction functions and their associated revision functions, Theoria, 48, pp. 14-37, (1982)

[4]

Cantwell J., On the logic of small change in hypertheories, Theoria, 63, pp. 54-89, (1997)

[5]

Gardenfors P., Knowledge in Flux: Modeling the Dynamics of Epistemic States, (1988)

[6]

Hansson S.O., Belief Base Dynamics, (1991)

[7]

Hansson S.O., Semi-revision, Journal of Applied Non-Classical Logic, 7, 1-2, pp. 151-175, (1997)

[8]

Hansson S.O., A Textbook of Belief Dynamics. Theory Change and Database Updating, 11, (1999)

[9]

Katsuno H., Mendelzon A., On the difference between updating a knowledge base and revising it, Belief Revision, 29, pp. 183-203, (1992)

[10]

Makinson D., Screened revision, Theoria, 63, pp. 54-89, (1997)

← 1 2 →