Local change

被引：50

作者：

Hansson S.O. ^{[1
]}

Wassermann R. ^{[2
]}

机构：

[1] Philosophy Group, Division of Regional Planning, Royal Institute of Technology

[2] Department of Computer Science, Institute of Mathematics and Statistics, University of São Paulo, CEP 05508-900 São Paulo - SP, Rua do Matão

来源：

Studia Logica | 2002年 / 70卷 / 1期

关键词：

Base Revision; Belief Change; Relevance;

D O I：

10.1023/A:1014654208944

中图分类号：

学科分类号：

摘要：

An agent can usually hold a very large number of beliefs. However, only a small part of these beliefs is used at a time. Efficient operations for belief change should affect the beliefs of the agent locally, that is, the changes should be performed only in the relevant part of the belief state. In this paper we define a local consequence operator that only considers the relevant part of a belief base. This operator is used to define local versions of the operations for belief change. Representation theorems are given for the local operators. © 2002 Kluwer Academic Publishers.

引用

页码：49 / 76

页数：27

共 38 条

[1]

Alchourron C., Gardenfors P., Makinson D., On the Logic of Theory Change, Journal of Symbolic Logic, 50, 2, pp. 510-530, (1985)

[2]

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

[3]

Benferhat S., Dubois D., Prade H., Some syntactic approaches to the handling of inconsistent knowledge bases, Studia Logica, 58, pp. 17-45, (1997)

[4]

Del Cerro L.F., Herzig A., Belief Change and Dependence, Proceedings of TARK 96, (1996)

[5]

Dunn M., Relevance Logic and Entailment, Handbook of Philosophical Logic, 3, pp. 117-224, (1986)

[6]

Fagin R., Halpern J., Belief, Awareness, and Limited Reasoning, Artificial Intelligence, 34, pp. 39-76, (1988)

[7]

Fuhrmann A., Theory Contraction Through Base Contraction, Journal of Philosophical Logic, 20, pp. 175-203, (1991)

[8]

Fuhrmann A., An Esay on Contraction, (1997)

[9]

Gabbay D., Theoretical Foundations for Non-monotonic Reasoning in Expert Systems, Logics and Models of Concurrent Systems, pp. 439-459, (1985)

[10]

Gabbay D., Labelled Deductive Systems (Vol.1), 1, (1996)

← 1 2 3 4 →