[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"
- From: Stefan Woltran <email@example.com>
- Date: Fri, 16 Jun 2017 17:37:03 +0200 (CEST)
- User-agent: Alpine 2.20 (LSU 67 2015-01-07)
This message is in MIME format. The first part should be readable text,
while the remaining parts are likely unreadable without MIME-aware tools.
the Institute for Information Systems cordially invites you to the
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
On Developing a Controlled Natural Language for Reasoning with Defeasible
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).
Institut für Informationssysteme
TEL.: +43 1 58801 18403