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

Fingerprint

Semantics
Specifications

Keywords

  • defeasible theories
  • argumentation
  • controlled natural language

ASJC Scopus subject areas

  • Engineering(all)

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.

On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation. / Strass, Hannes; Wyner, Adam.

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. AAAI Press, 2017. p. 765-773.

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

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. AAAI Press, pp. 765-773, 31st AAAI Conference on Artificial Intelligence, AAAI 2017, San Francisco, United States, 4/02/17.
Strass H, Wyner A. 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. AAAI Press. 2017. p. 765-773
Strass, Hannes ; Wyner, Adam. / On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation. 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. AAAI Press, 2017. pp. 765-773
@inproceedings{960ff07c170d4028a7a573dd5822315d,
title = "On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation",
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.",
keywords = "defeasible theories, argumentation, controlled natural language",
author = "Hannes Strass and Adam Wyner",
year = "2017",
month = "3",
day = "21",
language = "English",
pages = "765--773",
booktitle = "Workshops at the Thirty-First AAAI Conference on Artificial Intelligence",
publisher = "AAAI Press",

}

TY - GEN

T1 - On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation

AU - Strass, Hannes

AU - Wyner, Adam

PY - 2017/3/21

Y1 - 2017/3/21

N2 - 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.

AB - 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.

KW - defeasible theories

KW - argumentation

KW - controlled natural language

UR - http://www.scopus.com/inward/record.url?scp=85026308054&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:85026308054

SP - 765

EP - 773

BT - Workshops at the Thirty-First AAAI Conference on Artificial Intelligence

PB - AAAI Press

ER -