Skip to content
conftrace_
2019 IJCAI IJCAI 2019

Shielded Base Contraction (Extended Abstract)

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.

Authors

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

Topics

Artificial Intelligence > Core AI > Interpretability Machine Learning > Optimization & Theory > Theory

Keywords

knowledge representation knowledge base belief revision propositional logic formal logic axiomatic characterization belief base base contraction non-prioritized operator contraction operator
Download PDF

More from IJCAI 2019

All IJCAI 2019 papers →
Complexity Bounds for the Controllability of Temporal Networks with Conditions, Disjunctions, and Uncertainty (Extended Abstract)
A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract)
Complexity of Fundamental Problems in Probabilistic Abstract Argumentation: Beyond Independence (Extended Abstract)
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract)
Teaching AI Agents Ethical Values Using Reinforcement Learning and Policy Orchestration
On the Responsibility for Undecisiveness in Preferred and Stable Labellings in Abstract Argumentation (Extended Abstract)