Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
A Logical Framework for Graded Predicates Read chapter Read first chapter

2017 | OriginalPaper | Chapter

Putting More Dynamics in Revision with Memory

Authors : Sébastien Konieczny, Ramón Pino Pérez

Published in: Logic, Rationality, and Interaction

Publisher: Springer Berlin Heidelberg

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

We have proposed in previous works [14, 15] a construction that allows to define operators for iterated revision from classical AGM revision operators. We called these operators revision operators with memory and show that the operators obtained have nice logical properties. But these operators can be considered as too conservative, since the revision policy of the agent, encoded as a faithful assignment, does not change during her life. In this paper we propose an extension of these operators, that aims to add more dynamics in the revision process.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter On Axiomatization of Epistemic GDL
next chapter An Empirical Route to Logical ‘Conventionalism’
Footnotes
1
See also [22‐24]. We do not adress this kind of operators in this paper since they require an additional numerical information with the new evidence.
 
2
The Dalal distance [7] is a Hamming distance between interpretations.
 
3
Recall that classical AGM operators are functions that map a belief base and a formula to a belief base, which is (completely) defined by the theorem, whereas Proposition 1 concerns operators that are functions which map an epistemic state and a formula to an epistemic state, that is not completely defined by the theorem.
 
4
It is the same set of postulates than (R*1-R*6) but expressed for belief bases instead of epistemic states (cf [12]).
 
5
The Hamming distance between two interpretations is the number of propositional letters on which the two interpretations differ.
 
6
Where \(I\le _{lex(\le _1,\le _2)} J\) means \(I <_{1} J\) or (\(I \simeq _{1} J\) and \(I \le _2 J\)).
 
7
In that framework, it is a consequence of the other axioms.
 
Literature
1.
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symbolic Logic 50, 510–530 (1985)MathSciNetCrossRefMATH
2.
Benferhat, S., Dubois, D., Papini, O.: A sequential reversible belief revision method based on polynomials. In: Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI 1999) 1999
3.
Benferhat, S., Konieczny, S., Papini, O., Pino Pérez, R.: Iterated revision by epistemic states: axioms, semantics and syntax. In: Proceedings of the Fourteenth European Conference on Artificial Intelligence (ECAI 2000), pp. 13–17 (2000)
4.
Booth, R., Meyer, T.: Admissible and restrained revision. J. Artif. Intell. Res. 26, 127–151 (2006)MathSciNetMATH
5.
Boutilier, C.: Revision sequences and nested conditionals. In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI 1993) 1993
6.
7.
Dalal, M.: Investigations into a theory of knowledge base revision: preliminary report. In: Proceedings of the National Conference on Artificial Intelligence (AAAI 1988), pp. 475–479 (1988)
8.
Darwiche, A., Pearl, J.: On the logic of iterated belief revision. In: Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1994 Conference (TARK 1994), pp. 5–23. Morgan Kaufmann (1994)
9.
10.
Gärdenfors, P.: Knowledge in Flux. MIT Press, Cambridge (1988)MATH
11.
12.
13.
Konieczny, S., Grespan, M. M., Pino Pérez, R.: Taxonomy of improvement operators and the problem of minimal change. In: Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), pp. 161–170 (2010)
14.
15.
Konieczny, S., Pérez, R.P.: Some operators for iterated revision. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol. 2143, pp. 498–509. Springer, Heidelberg (2001). doi:10.​1007/​3-540-44652-4_​44 CrossRef
16.
Konieczny, S., Pino Pérez, R.: Improvement operators. In: Principles of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 177–186 (2008)
17.
Lehmann, D.: Belief revision, revised. In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI 1995), pp. 1534–1540 (1995)
18.
19.
20.
Nayak, A. C., Foo, N. Y., Pagnucco, M., Sattar, A.: Changing conditional beliefs unconditionally. In: Proceedings of the Sixth Conference of Theoretical Aspects of Rationality and Knowledge (TARK 1996), pp. 119–135. Morgan Kaufmann, Netherlands (1996)
21.
Papini, O.: Iterated revision operators stemming from the history of an agent’s observations, Frontiers of Belief Revision, pp. 281–303. Kluwer (2001).
22.
Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper, W.L., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, vol 2, pp. 105–134 (1987)
23.
Williams, M. A.: Transmutations of knowledge systems. In: Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR 1994), pp. 619–629 (1994)
24.
Williams, M. A.: Iterated theory base change: a computational model. In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI 1995), pp. 1541–1550 (1995)
Metadata
Title
Putting More Dynamics in Revision with Memory
Authors
Sébastien Konieczny
Ramón Pino Pérez
Copyright Year
2017
Publisher
Springer Berlin Heidelberg
Book
Logic, Rationality, and Interaction

Print ISBN: 978-3-662-55664-1

Electronic ISBN: 978-3-662-55665-8

Copyright Year: 2017

DOI
https://doi.org/10.1007/978-3-662-55665-8_42

Premium Partner

    Image Credits