A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics

Journal of Applied Logic - Tập 13 - Trang 414-440 - 2015
Nico Potyka1, Christoph Beierle1, Gabriele Kern-Isberner2
1Faculty of Mathematics and Computer Science, University of Hagen, 58084 Hagen, Germany
2Department of Computer Science, University of Technology Dortmund, 44227 Dortmund, Germany

Tài liệu tham khảo

Alchourrón, 1985, On the logic of theory change: partial meet contraction and revision functions, J. Symb. Log., 50, 510, 10.2307/2274239 Beierle, 2009, A conceptual agent model based on a uniform approach to various belief operations, vol. 5803, 273 Csiszar, 1975, I-divergence geometry of probability distributions and minimization problems, Ann. Probab., 3, 146, 10.1214/aop/1176996454 Darwiche, 1997, On the logic of iterated belief revision, Artif. Intell., 89, 1, 10.1016/S0004-3702(96)00038-0 Delgrande, 2012, Parallel belief revision: revising by sets of formulas, Artif. Intell., 176, 2223, 10.1016/j.artint.2011.10.001 Dubois, 1992, Belief change and possibility theory, 142 Finthammer, 2012, Using equivalences of worlds for aggregation semantics of relational conditionals, vol. 7526, 49 Finthammer, 2012, Instantiation restrictions for relational probabilistic conditionals, vol. 7520, 598 Finthammer, 2009, Probabilistic reasoning at optimum entropy with the MEcore system, 535 Fischer, 1996 Fisseler, 2012, First-order probabilistic conditional logic and maximum entropy, Log. J. IGPL, 20, 796, 10.1093/jigpal/jzs008 Fletcher, 1987 Gärdenfors, 1994, Belief revision, 35 Grove, 1994, Random worlds and maximum entropy, J. Artif. Intell. Res., 2, 33, 10.1613/jair.61 Halpern, 1990, An analysis of first-order logics of probability, Artif. Intell., 46, 311, 10.1016/0004-3702(90)90019-V Halpern, 2005 Jaeger, 2012, Liftability of probabilistic inference: upper and lower bounds Katsuno, 1991, Propositional knowledge base revision and minimal change, Artif. Intell., 52, 263, 10.1016/0004-3702(91)90069-V Kern-Isberner, 2001, Conditionals in Nonmonotonic Reasoning and Belief Revision, vol. 2087 Kern-Isberner, 2008, Linking iterated belief change operations to nonmonotonic reasoning, 166 Kern-Isberner, 2004, Combining probabilistic logic programming with the power of maximum entropy, Artif. Intell., 157, 139, 10.1016/j.artint.2004.04.003 Kern-Isberner, 2010, Novel semantical approaches to relational probabilistic conditionals, 382 Kersting, 2012, Lifted probabilistic inference Koller, 2009 Loh, 2010, On the problem of grounding a relational probabilistic conditional knowledge base Lukasiewicz, 1999, Probabilistic deduction with conditional constraints over basic events, J. Artif. Intell. Res., 10, 380, 10.1613/jair.577 Lukasiewicz, 2001, Probabilistic logic programming with conditional constraints, ACM Trans. Comput. Log., 2, 289, 10.1145/377978.377983 Niepert, 2014, Tractability through exchangeability: a new perspective on efficient probabilistic inference, 2467 Nilsson, 1986, Probabilistic logic, Artif. Intell., 28, 71, 10.1016/0004-3702(86)90031-7 Papadimitriou, 1994 Paris, 1994 Poole, 2003, First-order probabilistic inference, 985 Potyka, 2012, Towards a general framework for maximum entropy reasoning, 555 Potyka, 2013, Changes of relational probabilistic belief states and their computation under optimum entropy semantics, vol. 8077, 176 Rott, 2011, Reapproaching Ramsey: conditionals and iterated belief change in the spirit of agm, J. Philos. Log., 40, 155, 10.1007/s10992-011-9177-3 Spohn, 1988, Ordinal conditional functions: a dynamic theory of epistemic states, 105 Staab, 2009 Thimm, 2012, On probabilistic inference in relational conditional logics, Log. J. IGPL, 20, 872, 10.1093/jigpal/jzs010 Van Den Broeck, 2011, Lifted probabilistic inference by first-order knowledge compilation, vol. 3, 2178 Zhu, 1997, Algorithm 778: L-BFGS-B: Fortran subroutines for large-scale bound-constrained optimization, ACM Trans. Math. Softw., 23, 550, 10.1145/279232.279236