Results 101 to 110 of about 13,204 (193)

A Cognitive Model for Conversation [PDF]

, 2012
International audienceThis paper describes a symbolic model of rational action and decision making to support analysing dialogue. The model approximates principles of behaviour from game theory, and its proof theory makes Gricean principles of ...
Asher, Nicholas, Lascarides, Alex
core  

SAsSy - Making Decisions Transparent with Argumentation and Natural Language Generation [PDF]

, 2014
Peer reviewedPublisher ...
Kutlak, Roman, Tintarev, Nava
core  

Defeasible Reasoning on Concepts

In this paper, we take first steps toward developing defeasible reasoning on concepts in KLM framework. We define generalizations of cumulative reasoning system C and cumulative reasoning system with loop CL to conceptual setting. We also generalize cumulative models, cumulative ordered models, and preferential models to conceptual setting and show the
Ding, Yiwen, Manoorkar, Krishna, Switrayni, Ni Wayan, Wang, Ruoding   +3 more
openaire   +2 more sources

Demonstrating a Benchmark for Defeasible Reasoning

, 2018
In this demonstration we focus on the task of a data engineer choosing what tool to perform defeasible reasoning with a first order logic knowledge base.
Hecham, Abdelraouf, Croitoru, Madalina, Bisquert, Pierre   +2 more
openaire   +2 more sources

Advancing Deliberative Discourse Measurement: The Intersection with Computational Abstract Argumentation in Discourse Quality Evaluations

Systems
This research investigates the potential of computational argumentation, specifically the application of the Abstract Argumentation Framework (AAF), to enhance the evaluation of deliberative quality in public discourse.
Sanjay Kumar, Jane Suiter, Luca Longo
doaj   +1 more source

Defeasible reasoning in RDFS

, 2022
For non-monotonic logics, the notion of Rational Closure (RC) is acknowledged as one of the main approaches. In this work we present an integration of RC within the triple language RDFS (Resource Description Framework Schema), which together with OWL 2 is a major standard semantic web ontology language.
Casini G, Straccia U
openaire   +2 more sources

Defeasible Reasoning with Quantifiers [PDF]

, 2015
Human conditional reasoning is defeasible: people withdraw logically valid conclusions if they are aware of situations (i.e., exceptions) that prevent the consequent of the rule to happen although the antecedent is given. In this paper we investigate defeasible reasoning with quantified rules.
Castaneda, Lupita Estefania Gazzo, Knauff, Markus   +1 more
openaire  

A Novel Integration of Data-Driven Rule Generation and Computational Argumentation for Enhanced Explainable AI

Machine Learning and Knowledge Extraction
Explainable Artificial Intelligence (XAI) is a research area that clarifies AI decision-making processes to build user trust and promote responsible AI. Hence, a key scientific challenge in XAI is the development of methods that generate transparent and ...
Lucas Rizzo, Damiano Verda, Serena Berretta, Luca Longo   +3 more
doaj   +1 more source

Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure

, 2018
Reasoning about exceptions in ontologies is nowadays one of the challenges the description logics community is facing. The paper describes a preferential approach for dealing with exceptions in Description Logics, based on the rational closure.
Giordano, Laura, Gliozzi, Valentina
core  

Computational Argumentation and Automatic Rule-Generation for Explainable Data-Driven Modeling

IEEE Access
The creation of data-driven models for classification problems requires increasing transparency and inferential explainability, especially in high-stakes domains such as health-care, finance, and policy making. Rule-based systems are widely regarded as a
Luca Longo, Serena Berretta, Damiano Verda, Lucas Rizzo   +3 more
doaj   +1 more source