AAAI Publications, Thirtieth AAAI Conference on Artificial Intelligence

Font Size: 
On the Extraction of One Maximal Information Subset That Does Not Conflict with Multiple Contexts
Éric Grégoire, Yacine Izza, Jean-Marie Lagniez

Last modified: 2016-03-05

Abstract


The efficient extraction of one maximal information subset that does not conflict with multiple contxts or additional information sources is a key basic issue in many A.I. domains, especially when these contexts or sources can be mutually conflicting. In this paper, this question is addressed from a computational point of view in clausal Boolean logic. A new approach is introduced that experimentally outperforms the currently most efficient technique.

Keywords


MSS; Co-MSS;MCS; SAT; satisfiability reasoning; reasoning under contexts

Full Text: PDF