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

ASJC Scopus subject areas

  • Engineering(all)

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

    Strass, H., & Wyner, A. (2017). On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation. In Workshops at the Thirty-First AAAI Conference on Artificial Intelligence: The AAAI-17 Workshop on Knowledge-Based Techniques for Problem Solving and Reasoning WS-17-12 (pp. 765-773). AAAI Press. https://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15108