Stratified Evidence Logics

Balbiani, Philippe; Fernández-Duque, David; Herzig, Andreas; Lorini, Emiliano

doi:10.24963/ijcai.2019/211

Stratified Evidence Logics

Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini

Download BibTeX Cite

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. Main track. Pages 1523-1529.

https://doi.org/10.24963/ijcai.2019/211

Keywords

Knowledge Representation and Reasoning: Logics for Knowledge Representation
Knowledge Representation and Reasoning: Non-classical Logics for Knowledge Representation
Knowledge Representation and Reasoning: Reasoning about Knowlege and Belief

Abstract

Evidence logics model agents' belief revision process as they incorporate and aggregate information obtained from multiple sources.

This information is captured using neighbourhood structures, where individual neighbourhoods represent pieces of evidence.

In this paper we propose an extended framework which allows one to explicitly quantify either the number of evidence sets, or effort, needed to justify a given proposition, provide a complete deductive calculus and a proof of decidability, and show how existing frameworks can be embedded into ours.

Philippe Balbiani, David Fernández-Duque, Andreas Herzig, and Emiliano Lorini. 2019. Stratified Evidence Logics. In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI-19. IJCAI, 1523–1529. https://doi.org/10.24963/ijcai.2019/211

@inproceedings{ijcai2019p211,
  title     = {Stratified Evidence Logics},
  author    = {Balbiani, Philippe and Fernández-Duque, David and Herzig, Andreas and Lorini, Emiliano},
  booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
               Artificial Intelligence, {IJCAI-19}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Sarit Kraus},
  pages     = {1523--1529},
  year      = {2019},
  month     = {8},
  note      = {Main track},
  doi       = {10.24963/ijcai.2019/211},
  url       = {https://doi.org/10.24963/ijcai.2019/211},
}

TY  - CPAPER
TI  - Stratified Evidence Logics
AU  - Balbiani, Philippe
AU  - Fernández-Duque, David
AU  - Herzig, Andreas
AU  - Lorini, Emiliano
T2  - Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI-19
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2019
SP  - 1523
EP  - 1529
DO  - 10.24963/ijcai.2019/211
UR  - https://doi.org/10.24963/ijcai.2019/211
ER  -