This is a short reminder.

Prof. Gabriele Kern-Isberner (TU Dortmund)

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

Today, 10:30

https://rwth.zoom.us/j/92047949381?pwd=LzIwUW96WEM0MkRjZ01FUmhwd1I3QT09
Meeting ID: 920 4794 9381
Password: unravel

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