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-hagen.zoom.us%2Fj%2F62388524887%3Fpwd%3DWmJRRUpDZWZ4WlJoeFlGQTBESWplQT09&data=05%7C02%7Csteffi.bluemel%40fernuni-hagen.de%7C42fe776c1f324ba6b7aa08dc223844de%7Cc2bba033db424b299adb6ac379499ef7%7C1%7C0%7C638422872265614676%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=X%2F4UFs7fFH%2BIDLw7SsgOOqv3FUyNoCPE7k9B7YFDaGE%3D&reserved=0<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.de<mailto: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<mailto:steffi.bluemel@fernuni-hagen.de>
Dear all, Olcay Altay-Kern will deliver the next Oberseminar (31st October,10:00, via Zoom): Title: „Logic Programming for a Global Logistics Problem“ Abstract: Logic programming has demonstrated to be a compelling alternative to imperative methodologies for addressing combinatorial optimization problems. Within an industrial setting, an Airbus R&T (Research and Technology) team has adopted ASP (Answer Set Programming) as the programming paradigm to find valid solutions for the global manufacturing setup of a future commercial aircraft. Initial research efforts have provided promising outcomes, however the obtained answer sets do not meet the expectations regarding the resulting KPIs (Key Performance Indicators). This study aims at implementing additional capabilities from the used framework to improve answer sets significantly with regards to the objective functions. The use of domain-heuristics and weak constraints combined with multi-shot features are expected to address significant shortcomings within the current problem encodings and lead to answer sets with improved KPIs. **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-hagen.zoom.us%2Fj%2F62388524887%3Fpwd%3DWmJRRUpDZWZ4WlJoeFlGQTBESWplQT09&data=05%7C02%7Csteffi.bluemel%40fernuni-hagen.de%7C42fe776c1f324ba6b7aa08dc223844de%7Cc2bba033db424b299adb6ac379499ef7%7C1%7C0%7C638422872265614676%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=X%2F4UFs7fFH%2BIDLw7SsgOOqv3FUyNoCPE7k9B7YFDaGE%3D&reserved=0<https://fernuni-hagen.zoom.us/j/62388524887?pwd=WmJRRUpDZWZ4WlJoeFlGQTBESWplQT09> --- Current Scheduled Talks ---- * 31st October, Olcay Altay-Kern, MSc proposal * 14th November, Francesco Leofante (invited speaker) * 28th November, Badran Raddaoui (invited speaker) * 05th December, Ralf Hager * 12th December, Dominik Lewin * 19th December, Joris Plettscher, BSc proposal 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<mailto: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<mailto:steffi.bluemel@fernuni-hagen.de>
Dear all, Ulrich Karkmann will deliver the next Oberseminar (21st November,10:00, via Zoom): Title: „Implementing Serialization Sequences of Abstract Argumentation Frameworks using Answer Set Programming“ Abstract: Abstract argumentation frameworks, consisting of arguments and a binary relation between them, are a simple and powerful method to represent and analyse human argumentation. The set(s) of arguments that might prevail over all other arguments are called extensions, which can be defined in different ways. Certain extensions can be serialized by putting their arguments (or subsets of arguments) in a specific order that corresponds to the human way of considering arguments sequentially and thus improves the persuasiveness of an extension. Computing the extensions and their serializations is a nondeterministic combinatorial problem for which Answer Set Programming can be a suitable programming paradigm. The aim of the proposed bachelor thesis is to provide an implementation for computing serialization sequences of abstract argumentation frameworks using Answer Set Programming. **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-hagen.zoom.us%2Fj%2F62388524887%3Fpwd%3DWmJRRUpDZWZ4WlJoeFlGQTBESWplQT09&data=05%7C02%7Csteffi.bluemel%40fernuni-hagen.de%7C42fe776c1f324ba6b7aa08dc223844de%7Cc2bba033db424b299adb6ac379499ef7%7C1%7C0%7C638422872265614676%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=X%2F4UFs7fFH%2BIDLw7SsgOOqv3FUyNoCPE7k9B7YFDaGE%3D&reserved=0<https://fernuni-hagen.zoom.us/j/62388524887?pwd=WmJRRUpDZWZ4WlJoeFlGQTBESWplQT09> --- Current Scheduled Talks ---- * 21st November, Ulrich Karkmann, BSc proposal * 28th November, Badran Raddaoui (invited speaker) * 05th December, Ralf Hager * 12th December, Dominik Lewin * 19th December, Joris Plettscher, BSc defense 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<mailto: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<mailto:steffi.bluemel@fernuni-hagen.de>
Teilnehmer (1)
-
Blümel, Steffi