Abstract
Abstract
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The following review is mainly based on Arora and Barak [14], which is also recommended for further reference.
- 2.
Katsuno and Mendelzon [75] have argued for distinguishing between belief updates and belief revisions. Their argument, however, depends on not explicitly expressing the time for which a statement is held true. We assume, therefore, that belief revisions subsume updates.
- 3.
Winslett [118] introduces this phrase to characterise various kinds of intersection operations among potentially conflicting sentences and sets of sentences.
- 4.
- 5.
For simplicity, we work with propositional formulas and leave corresponding theory-elements implicit. Note that the propositional logical form of these formulas can be obtained by aptly chosen substantial laws. For example, the substantial law ∀x(P(x) ∨ Q(x)) yields a formula of the form p ∨ q when applied to whatever intended applications. To be more precise: any application of this law is given by a structure 〈D, P, Q〉. If the sets P and Q of such a structure are empty, applying the law ∀x(P(x) ∨ Q(x)) to this structure yields the claim that P(a) ∨ Q(a), where D = {a}.
References
Alechina, N., Jago, M., & Logan, B. (2006). Resource-bounded belief revision and contraction. In M. Baldoni, U. Endriss, A. Omicini, & P. Torroni (Eds.), Declarative agent languages and technologies III. Third international workshop, DALT 2005 (LNCS, Vol. 3904, pp. 141–154). Berlin/Heidelberg: Springer.
Andreas, H. (2011). A structuralist theory of belief revision. Journal of Logic, Language, and Information, 20(2), 205–232.
Arora, S., & Barak, B. (2009). Computational complexity: A modern approach. Cambridge: Cambridge University Press.
Cadoli, M. (1995). Tractable reasoning in artificial intelligence. Secaucus, NJ: Springer-Verlag New York, Inc.
Cadoli, M., & Schaerf, M. (1993). A survey of complexity results for non-monotonic logics. Journal of Logic Programming, 17, 127–160.
Cherniak, C. (1986). Minimal rationality. Cambridge, MA: MIT Press.
Flum, J., & Grohe, M. (2006). Parameterized complexity theory. Berlin/Heidelberg: Springer.
Fodor, J. (2001). The mind doesn’t work that way. Cambridge, MA: MIT Press.
Fodor, J. (2008). LOT 2. Oxford: Oxford University Press.
Frege, G. (1918/1919). Der Gedanke. Eine logische Untersuchung. Beiträge zur Philosophie des deutschen Idealismus, 1, 58–77.
Johnson-Laird, P. (2006). How we reason. Oxford: Oxford University Press.
Katsuno, H., & Mendelzon, A. (1992). On the difference between updating a knowledge base and revising it. In P. Gärdenfors (Ed.), Belief revision (pp. 183–203). Cambridge: Cambridge University Press.
Liu, Y., Lakemeyer, G., & Levesque, H. J. (2004). A logic of limited belief for reasoning with disjunctive information. In Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler (pp. 587–597).
Nebel, B. (1998). How hard is it to revise a belief base? In D. Dubois & H. Prade (Eds.), Handbook of defeasible reasoning and uncertainty management systems. Belief change (pp. 77–145). Dordrecht: Kluwer.
Niedermeier, R. (2006). Invitation to fixed-parameter algorithms. Oxford: Oxford University Press.
Rott, H. (2001). Change, choice and inference: A study of belief revision and nonmonotonic reasoning. Oxford: Oxford University Press.
Stenning, K., & van Lambalgen, M. (2008). Human reasoning and cognitive science. Boston: MIT Press.
Stillman, J. (1990). It’s not my default: The complexity of membership problems in restricted propositional default logics. In Proceedings of the 8-th National Conference on Artificial Intelligence (AAAZ-901) (pp. 571–578).
van Benthem, J. (2008). Logic and reasoning: Do the facts matter? Studia Logica, 88, 67–84.
Wassermann, R. (1999). Resource-bounded belief revision. Erkenntnis, 50, 429–446.
Winslett, M. S. (1990). Updating logical data bases. Cambridge: Cambridge University Press.
Woods, J. (2013). Errors of reasoning: Naturalizing the logic of inference. London: College Publications.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Andreas, H. (2020). Truth Maintenance. In: Dynamic Tractable Reasoning. Synthese Library, vol 420. Springer, Cham. https://doi.org/10.1007/978-3-030-36233-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-030-36233-1_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-36232-4
Online ISBN: 978-3-030-36233-1
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)