Making sense of conflicting defeasible rules in the controlled natural language ACE: design of a system with support for existential quantification using skolemization

Vortrag von Martin Diller

Veranstaltungsort: APB 3027
Beginn: 4. April 2019 um 13:00
Ende: 4. April 2019 um 14:00
Forschungsgruppe: Automatentheorie
Forschungsgruppe: Computational Logic
Forschungsgruppe: Wissensbasierte Systeme
Event series: KBS Seminar
iCal

Abstract: We motivate and present the design of a system implementing what we (joint work with Hannes Strass previously at the University of Leipzig as well as Adam Z. Wyner at Swansea University) have dubbed the "EMIL" (acronym for "extracting meaning out of inconsistent language") pipeline. The pipeline in question takes potentially conflicting rules expressed in a fragment of a prominent controlled natural language, ACE, yet extended with means of expressing defeasible rules in the form of normality assumptions. It makes sense of such rules using a recently formulated argumentation-inspired semantics, verbalising possible points of view that can plausibly be held based on the rules in ACE. The approach we describe is ultimately based on reductions to answer-set-programming (ASP); simulating existential quantification by using skolemization in a manner resembling a translation for ASP formalized in the context of ∃-ASP. We discuss the advantages of this approach to building on the existing ACE interface to rule-systems, ACERules.

Bio: Martin Diller is finishing his PhD at TU Wien (Austria). The focus of his PhD has mainly been on implementing problems in (abstract and structured) argumentation via complexity-sensitive translations to logical formalisms (quantified boolean formulas and answer-set-programming). He holds a joint MSc degree in computational logic from TU Dresden, FU Bozen-Bolzano, and TU Wien. Before that he studied Philosophy & Computer Science at Universidad Nacional de Córdoba, Argentina and was also briefly part of research groups in Epistemology & Computer Science there. He has also been at several other institutes and universities for internships and research stays working on applied argumentation & automated reasoning: UCL in London (England), University of Aberdeen (Scotland), and NICTA-Canberra (Australia).