Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
10 tokens/sec
GPT-4o
12 tokens/sec
Gemini 2.5 Pro Pro
42 tokens/sec
o3 Pro
5 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

System of Spheres-based Two Level Credibility-limited Revisions (2307.05062v1)

Published 11 Jul 2023 in cs.LO and cs.AI

Abstract: Two level credibility-limited revision is a non-prioritized revision operation. When revising by a two level credibility-limited revision, two levels of credibility and one level of incredibility are considered. When revising by a sentence at the highest level of credibility, the operator behaves as a standard revision, if the sentence is at the second level of credibility, then the outcome of the revision process coincides with a standard contraction by the negation of that sentence. If the sentence is not credible, then the original belief set remains unchanged. In this paper, we propose a construction for two level credibility-limited revision operators based on Grove's systems of spheres and present an axiomatic characterization for these operators.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (25)
  1. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510–530, 1985. 10.1007/BF00370430
  2. On the logic of theory change: Safe contraction. Studia Logica, 44:405–422, 1985. 10.1007/BF00370430
  3. Giacomo Bonanno. Credible information, allowable information and belief revision - extended abstract. In Lawrence S. Moss, editor, Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019, volume 297 of EPTCS, pages 82–90, 2019. 10.4204/eptcs.297.6
  4. Giacomo Bonanno. Filtered belief revision: Syntax and semantics. Journal of Logic, Language and Information, 31:645–675, 2022. 10.1007/s10849-022-09374-x
  5. AGM 25 years: Twenty-five years of research in belief change. Journal of Philosophical Logic, 40:295–331, 2011. 10.1007/s10992-011-9171-9
  6. Belief Change: Introduction and Overview. Springer Briefs in Computer Science Series. Springer, 2018. 10.1007/978-3-319-60535-7
  7. Credibility-limited functions for belief bases. Journal of Logic and Computation, 13:1:99–110, 2003. 10.1093/logcom/13.1.99
  8. Marco Garapa. Two level credibility-limited revisions. The Review of Symbolic Logic, 15(2):388–408, 2022. 10.1017/S1755020320000283
  9. Studies in credibility-limited base revision. In Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), pages 240–247, 2018. https://aaai.org/papers/28-studies-in-credibility-limited-base-revision/
  10. Levi and Harper identities for non-prioritized belief base change. Artificial Intelligence, 2023. 10.1016/j.artint.2023.103907
  11. Credibility-limited base revision: New classes and their characterizations. Journal of Artificial Intelligence Research, 69:1023 – 1075, 2020. 10.1613/jair.1.12298
  12. Peter Gärdenfors. Conditionals and changes of belief. Acta Philosophica Fennica, 30:381–404, 1978.
  13. Peter Gärdenfors. Rules for rational changes of belief. In Tom Pauli, editor, Philosophical Essays dedicated to Lennart Ȧqvist on his fiftieth birthday, number 34 in Philosophical Studies, pages 88–101, 1982.
  14. Peter Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. The MIT Press, Cambridge, 1988.
  15. Revisions of knowledge systems using epistemic entrenchment. In Moshe Y. Vardi, editor, Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, pages 83–95, Los Altos, 1988. Morgan Kaufmann. http://www.tark.org/proceedings/tark_mar7_88/p83-gardenfors.pdf
  16. Adam Grove. Two modellings for theory change. Journal of Philosophical Logic, 17:157–170, 1988. 10.1007/BF00247909
  17. Sven Ove Hansson. A survey of non-prioritized belief revision. Erkenntnis, 50:413–427, 1999. 10.1023/A:1005534223776
  18. Sven Ove Hansson. A Textbook of Belief Dynamics. Theory Change and Database Updating. Applied Logic Series. Kluwer Academic Publishers, Dordrecht, 1999.
  19. Credibility-limited revision. Journal of Symbolic Logic, 66(4):1581–1596, 2001. 10.2307/2694963
  20. William L. Harper. Rational conceptual change. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, 1976:462–494, 1976. 10.1086/psaprocbienmeetp.1976.2.192397
  21. Propositional knowledge base revision and minimal change. Journal of Artificial Intelligence, 52:263–294, 1991. 10.1016/0004-3702(91)90069-V
  22. Isaac Levi. Subjunctives, dispositions, and chances. Synth̀ese, 34:423–455, 1977. 10.1007/BF00485649
  23. David Lewis. Counterfactuals. Blackwell, Oxford, 1973.
  24. David Makinson. Screened revision. Theoria, 63:14–23, 1997. 10.1111/j.1755-2567.1997.tb00737.x
  25. Hans Rott and Sven Ove Hansson. Safe contraction revisited. In Sven Ove Hansson, editor, David Makinson on Classical Methods for Non-Classical Problems, volume 3 of Outstanding Contributions to Logic, pages 35–70. Springer Netherlands, 2014. 10.1007/978-94-007-7759-0_4
Citations (1)
View on Semantic Scholar

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now