Dear all,
Yehia Hatab
will deliver the next Oberseminar (24th October,10:00, via Zoom):
Title:
A Hitting Set Approach to Inconsistent-Tolerant Reasoning
Abstract:
In this Talk, I address four new inconsistency-tolerant inference relations for knowledge bases. These relations are built on the concept of minimal hitting sets, which
are collections of interpretations that include a model for every formula in the knowledge base. We establish several key properties of these hitting sets and the corresponding inference relations. Additionally, we explore the full range of connections between
these four new inference relations and two established inferences based on maximal consistent subsets. We demonstrate that all the discussed inference relations are non-monotonic and adhere to several System P properties. Lastly, we highlight that the computational
complexity of these inference processes falls within the second level of the polynomial hierarchy.
**We cordially ask the attendees to turn on their cameras and turn
off their microphones during the presentation.
---
Current Scheduled Talks ----
If you do not wish to receive messages from this mailing list anymore, please let me know by simply
responding „unsubscribe“ to this mail (steffi.bluemel@fernuni-hagen.de).
Best regards,
Steffi Blümel
- Sekretariat -
----------------------------------------------------
FernUniversität in Hagen
Fakultät Mathematik und Informatik /
Lehrgebiet Künstliche Intelligenz
Universitätsstraße 1
58097 Hagen
Fon: + 49 23 31 - 9 87 40 06
E-Mail:
steffi.bluemel@fernuni-hagen.de