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.
Zoom Room: https://eur05.safelinks.protection.outlook.com/?url=https%3A%2F%2Ffernuni-ha...https://fernuni-hagen.zoom.us/j/62388524887?pwd=WmJRRUpDZWZ4WlJoeFlGQTBESWplQT09
--- Current Scheduled Talks ----
* 24th October, Yehia Hatab * 31st October, Olcay Altay-Kern, MSc defence * 14th November, Francesco Leofante (invited speaker) * 28th November, Badran Raddaoui (invited speaker) * 05th December, Ralf Hager * 12th December, Dominik Lewin
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.demailto: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.demailto:steffi.bluemel@fernuni-hagen.de