First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy
| Autor: | Christoph Beierle, Marc Finthammer, Marco Wilhelm, Gabriele Kern-Isberner |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Conditional entropy
Semantics (computer science) Principle of maximum entropy Probabilistic logic 0102 computer and information sciences 02 engineering and technology 01 natural sciences Possible world 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering Algebraic data type 020201 artificial intelligence & image processing Non-monotonic logic Algorithm Sufficient statistic Mathematics |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783319675817 SUM |
| DOI: | 10.1007/978-3-319-67582-4_19 |
| Popis: | First-order typed model counting extends first-order model counting by the ability to distinguish between different types of models. In this paper, we exploit this benefit in order to calculate weighted conditional impacts (WCIs) which play a central role in nonmonotonic reasoning based on conditionals. More precisely, WCIs store information about the verification and the falsification of conditionals with respect to a possible worlds semantics, and therefore serve as sufficient statistics for maximum entropy (ME) distributions as models of probabilistic conditional knowledge bases. Formally, we annotate formulas with algebraic types that encode concisely all structural information needed to compute WCIs, while allowing for a systematic and efficient counting of models. In this way, our approach to typed model counting for ME-reasoning integrates both structural and counting aspects in the same framework. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|