[Date Prev][Date Next][Date Index]

Talk Announcement: Tue, June 20, 15:00 c.t., Adam Wyner, "On Developing a Controlled Natural Language for Reasoning with Defeasible Knowledge Bases"



  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.
Dear Colleagues,

the Institute for Information Systems cordially invites you to the following talk:

============================================================================


SPEAKER: Adam Wyner, University of Aberdeen


============================================================================


DATE:   Tuesday, June 20, 2017

TIME:   15:00 c.t.

VENUE:  Seminarraum 183/2, Favoritenstrasse 9-11, Roomnr.: HA0403


============================================================================


TITLE:

On Developing a Controlled Natural Language for Reasoning with Defeasible
Knowledge Bases


============================================================================


ABSTRACT

We present an approach to reasoning with knowledge bases comprised of strict
and defeasible rules over literals using a controlled natural language
(CNL), which is an adaptation of the AceRules system. The CNL expressions of
rules are plausible, parsed, and semantically represented. The semantic
representations are passed to an inference engine to accurately generate
answer sets; the inference engine is based on a "direct" approach to
evaluating defeasible knowledge bases and employs techniques from formal
argumentation theory. A verbaliser expresses the results of the answer sets
in natural language, which facilitates understanding. The approach is
illustrated with working examples. We outline problems and prospects.

(joint work with Martin Diller and Hannes Strass)


============================================================================


With kind support of the Wolfgang Pauli Institut (WPI).


============================================================================

TU Wien
Institut für Informationssysteme
Favoritenstrasse 9-11/184
A-1040 Wien
TEL.: +43 1 58801 18403