On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation

Hannes Strass, Adam Wyner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

We present an approach to reasoning with strict and defeasible rules over literals. A controlled natural language is employed as human/machine interface to facilitate the specification of knowledge and verbalization of results. Reasoning on the rules is done by a direct semantics that addresses several issues for current approaches to argumentation-based defeasible reasoning. Techniques from formal argumentation theory are employed to justify conclusions of the approach; therefore, we not only address automated reasoning but also human acceptance of provided conclusions.

Original languageEnglish
Title of host publicationWorkshops at the Thirty-First AAAI Conference on Artificial Intelligence
Subtitle of host publicationThe AAAI-17 Workshop on Knowledge-Based Techniques for Problem Solving and Reasoning WS-17-12
PublisherAAAI Press
Pages765-773
Number of pages9
ISBN (Electronic)9781577357865
Publication statusPublished - 21 Mar 2017
Event31st AAAI Conference on Artificial Intelligence, AAAI 2017 - San Francisco, United States
Duration: 4 Feb 20175 Feb 2017

Conference

Conference31st AAAI Conference on Artificial Intelligence, AAAI 2017
CountryUnited States
CitySan Francisco
Period4/02/175/02/17

Keywords

  • defeasible theories
  • argumentation
  • controlled natural language

Fingerprint Dive into the research topics of 'On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation'. Together they form a unique fingerprint.

Cite this