Shielded Base Contraction (Extended Abstract)

Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis

IJCAI 2019 pp. 6367-6371

doi:10.24963/IJCAI.2019/889 /ijcai/2019/garapa2019ijcai-shielded/

Abstract

In this paper we study a kind of non-prioritized contraction operator on belief bases -known as shielded base contractions. We propose twenty different classes of shielded base contractions and obtain axiomatic characterizations for each one of them. Additionally we thoroughly investigate the interrelations (in the sense of inclusion) among all those classes.

PDF IJCAI Semantic Scholar

Cite

Text

Garapa et al. "Shielded Base Contraction (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2019. doi:10.24963/IJCAI.2019/889

Markdown

[Garapa et al. "Shielded Base Contraction (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2019.](https://mlanthology.org/ijcai/2019/garapa2019ijcai-shielded/) doi:10.24963/IJCAI.2019/889

BibTeX

@inproceedings{garapa2019ijcai-shielded,
  title     = {{Shielded Base Contraction (Extended Abstract)}},
  author    = {Garapa, Marco and Fermé, Eduardo and Reis, Maurício D. Luís},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2019},
  pages     = {6367-6371},
  doi       = {10.24963/IJCAI.2019/889},
  url       = {https://mlanthology.org/ijcai/2019/garapa2019ijcai-shielded/}
}