04.11.2020, 10:30: Prof. Gabriele Kern-Isberner (TU Dortmund): Towards Lifted Inference: Counting Strategies for Relational Maximum Entropy Reasoning
Dear members of the Computer Science Department, You are cordially invited to the talk of Prof. Gabriele Kern-Isberner (TU Dortmund) for next week, 4.11., 10:30. Title: Towards Lifted Inference: Counting Strategies for Relational Maximum Entropy Reasoning Abstract: The principle of maximum entropy (MaxEnt) constitutes a meaningful methodology for drawing non monotonic inferences from probabilistic conditional knowledge as it satisfies some fundamental principles from commonsense reasoning. Similar to alternative approaches to probabilistic reasoning in relational settings, straightforward maximum entropy computations suffer from an exponential dependence from the size of the underlying domain which can lead to intractability in many cases. To overcome this problem, we adopt techniques from weighted first-order model counting (WFOMC) which exploit symmetries and interchangeabilities among the domain elements in order to count models of sentences more efficiently. To meet the requirements of our formalization of knowledge by conditionals, we assign a type to the counted models which captures the three-valued evaluation of the conditionals, i.e. the conditional structure of the models. We present the resulting variant of model counting which we call 'typed model counting' and discuss its benefits by means of some illustrating examples. https://www.informatik.rwth-aachen.de/go/id/jgfze Wednesday, 04.11.2020, 10:30 https://rwth.zoom.us/j/92047949381?pwd=LzIwUW96WEM0MkRjZ01FUmhwd1I3QT09<https://www.google.com/url?q=https://rwth.zoom.us/j/92047949381?pwd%3DLzIwUW96WEM0MkRjZ01FUmhwd1I3QT09&sa=D&source=calendar&usd=2&usg=AOvVaw0iFckZC1okM60BGh22QEGz> Meeting ID: 920 4794 9381 Password: unravel Best regards Helen Bolke-Hermanns Helen Bolke-Hermanns Fachgruppe Informatik RWTH Aachen University Ahornstr. 55, D-52074 Aachen Building E3, 2nd floor, Room 9218 Telefon: +49 (241) 80-21-004 Fax: +49 (241) 80-22 215 E-Mail: Helen.Bolke-Hermanns@Informatik.RWTH-Aachen.de<mailto:Helen.Bolke-Hermanns@Informatik.RWTH-Aachen.de> [rwth_informatik_bild_rgb]
participants (1)
-
Bolke-Hermanns, Helen