Arg 2 P: an argumentation framework for explainable intelligent systems
In this paper we present the computational model of Arg 2 P, a logic-based argumentation
framework for defeasible reasoning and agent conversation particularly suitable for …
framework for defeasible reasoning and agent conversation particularly suitable for …
Arg-tuProlog: A tuProlog-based argumentation framework
Over the last decades, argumentation has become increasingly central as a frontier research
within artificial intelligence (AI), especially around the notions of interpretability and …
within artificial intelligence (AI), especially around the notions of interpretability and …
¿ Puede la inteligencia artificial interpretar normas jurídicas? Un problema de razón práctica
MJ Rodríguez Puerto - 2021 - rodin.uca.es
La formalización del razonamiento jurídico y, específicamente, de la interpretación es un
viejo sueño de nuestra cultura. Hoy, la Inteligencia Artificial parece lista para cumplir esa …
viejo sueño de nuestra cultura. Hoy, la Inteligencia Artificial parece lista para cumplir esa …
Explainable and ethical AI: A perspective on argumentation and logic programming
In this paper we sketch a vision of explainability of intelligent systems as a logic approach
suitable to be injected into and exploited by the system actors once integrated with sub …
suitable to be injected into and exploited by the system actors once integrated with sub …
Weakly complete semantics based on undecidedness blocking
In this paper we introduce a novel family of semantics called weakly complete semantics.
Differently from Dung's complete semantics, weakly complete semantics employs a …
Differently from Dung's complete semantics, weakly complete semantics employs a …
[PDF][PDF] Explainable Rule Extraction via Semantic Graphs.
We present an end-to-end system for extracting deontic logic formulae from legal text using
a generic semantic parsing module and task-specific graph grammars, and for performing …
a generic semantic parsing module and task-specific graph grammars, and for performing …
Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach
Over the course of more than two millennia the philosophical school of Mīmāṃsā has
thoroughly analyzed normative statements. In this paper we approach a formalization of the …
thoroughly analyzed normative statements. In this paper we approach a formalization of the …
Argumentation and logic programming for explainable and ethical AI
In this paper we sketch a vision of explainability of intelligent systems as a logic approach
suitable to be injected into and exploited by the system actors once integrated with sub …
suitable to be injected into and exploited by the system actors once integrated with sub …
A mechanism for reasoning over defeasible preferences in Arg2P
This paper introduces argumentation over defeasible preferences in Arg2P, an
argumentation framework based on logic programming. A computational mechanism is first …
argumentation framework based on logic programming. A computational mechanism is first …
Computable law as argumentation-based MAS
In this paper we sketch a vision of computable law as argumentation-based MAS, ie, human-
centred intelligent systems densely populated by agents (software or human) capable of …
centred intelligent systems densely populated by agents (software or human) capable of …