SAT and #SAT are at the heart of many important problem formulations in AI, the most prominent being reasoning and learning in first-order and probabilistic knowledge bases. In practice, all contemporary systems resort to domain closure: objects in the universe are all and only the ones mentioned in the knowledge base. This is in stark contrast to the natural ability of human beings to infer things about sensory inputs and unforeseen data: they infer the existence of objects from their observations; no predefined list of objects is given or known in advance. In this paper, we introduce the formal foundations for reasoning in open universes in a general way, purely based on SAT and #SAT technology.
|Title of host publication||The Workshops of the Thirtieth AAAI Conference on Artificial Intelligence Beyond NP: Technical Report WS-16-05|
|Publication status||Published - Feb 2016|
|Event||Thirtieth AAAI Conference on Artificial Intelligence Beyond NP - Phoenix, United States|
Duration: 12 Feb 2016 → 13 Feb 2016
|Conference||Thirtieth AAAI Conference on Artificial Intelligence Beyond NP|
|Period||12/02/16 → 13/02/16|