Skip to main content

2017 | OriginalPaper | Buchkapitel

Reason to Believe

verfasst von : Chenwei Shi, Olivier Roy

Erschienen in: Logic, Rationality, and Interaction

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this paper we study the relation between nonmonotonic reasoning and belief revision. Our main conceptual contribution is to suggest that nonmonotonic reasoning guides but does not determine an agent’s belief revision. To be adopted as beliefs, defeasible conclusions should remain stable in the face of certain bodies of information. This proposal is formalized in what we call a two-tier semantics for nonmonotonic reasoning and belief revision. The main technical result is a sound and complete axiomatization for this semantic.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

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!

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!

Fußnoten
1
We write \(w\in P\subseteq W\) as \(\mathcal {F},w\,\models \, P\).
 
2
The validity of a formula in this framework is defined in the usual way.
 
Literatur
1.
Zurück zum Zitat Aucher, G.: A combined system for update logic and belief revision. Master’s thesis, ILLC, University of Amsterdam (2003) Aucher, G.: A combined system for update logic and belief revision. Master’s thesis, ILLC, University of Amsterdam (2003)
2.
Zurück zum Zitat Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. Texts Log. Games 3, 9–58 (2008)MathSciNetMATH Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. Texts Log. Games 3, 9–58 (2008)MathSciNetMATH
4.
5.
Zurück zum Zitat Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT press, Cambridge (2004)MATH Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT press, Cambridge (2004)MATH
6.
Zurück zum Zitat Gärdenfors, P.: Belief revision and nonmonotonic logic: two sides of the same coin? In: Logics in AI, pp. 52–54 (1991) Gärdenfors, P.: Belief revision and nonmonotonic logic: two sides of the same coin? In: Logics in AI, pp. 52–54 (1991)
7.
Zurück zum Zitat Gärdenfors, P. (ed.): Belief Revision, vol. 29. Cambridge University Press, Cambridge (2003)MATH Gärdenfors, P. (ed.): Belief Revision, vol. 29. Cambridge University Press, Cambridge (2003)MATH
8.
Zurück zum Zitat Gilbert, H.: Change in View. MIT Press, Cambridge (1986) Gilbert, H.: Change in View. MIT Press, Cambridge (1986)
9.
Zurück zum Zitat Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44(1), 167–207 (1990)MathSciNetCrossRefMATH Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44(1), 167–207 (1990)MathSciNetCrossRefMATH
10.
Zurück zum Zitat Leitgeb, H.: The stability theory of belief. Philos. Rev. 123(2), 131–171 (2014)CrossRef Leitgeb, H.: The stability theory of belief. Philos. Rev. 123(2), 131–171 (2014)CrossRef
11.
13.
14.
Zurück zum Zitat 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, pp. 105–134. Springer, Netherlands (1988)CrossRef 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, pp. 105–134. Springer, Netherlands (1988)CrossRef
15.
Zurück zum Zitat Van Ditmarsch, H.P.: Prolegomena to dynamic logic for belief revision. In: van der Hoek, W. (ed.) Uncertainty, Rationality, and Agency, pp. 175–221. Springer, Netherlands (2005)CrossRef Van Ditmarsch, H.P.: Prolegomena to dynamic logic for belief revision. In: van der Hoek, W. (ed.) Uncertainty, Rationality, and Agency, pp. 175–221. Springer, Netherlands (2005)CrossRef
Metadaten
Titel
Reason to Believe
verfasst von
Chenwei Shi
Olivier Roy
Copyright-Jahr
2017
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-55665-8_51