Results 91 to 100 of about 13,242 (209)

Argumentation and explanation in the law. [PDF]

Front Artif Intell, 2023
Rotolo A, Sartor G.
europepmc   +1 more source

Optimizing the computation of overriding

, 2015
We introduce optimization techniques for reasoning in DLN---a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the applicative examples naturally arising in biomedical domains and ...
BC Grau, E Sandewall, F Baader, F Baader, FM Donini, G Casini, G Casini, G Casini, L Giordano, L Giordano, PA Bonatti, PA Bonatti, PA Bonatti, PA Bonatti, R Stevens, T Lukasiewicz, TYC Woo, W Drabent   +17 more
core   +1 more source

The Dual Aspects of Legal Reasoning in the Era of Artificial Intelligence - Defeasible Reasoning and Argumentation Scheme

RUDN Journal of Engineering Research
The age of artificial intelligence emphasises the possibility of justification and the dialectical aspects of legal reasoning. The need for validity in legal reasoning mainly stems from the existence of exceptions to rules and conflicts between rules ...
Ze Li, Feiping Lei, Dmitry N. Ermakov, Nina V. Symaniuk, Ilya V. Poletaev, Naofal M.H. Aziz, Ahmed Obaid, Pavel I. Ivanov   +7 more
doaj   +1 more source

Rational Force of Analogy/Qiyās in Law

Informal Logic
Analogy is an inherently fragile form of argument, as it derives the conclusion from similarity, while overlooking dissimilarities. Yet law fundamentally depends upon analogical reasoning to ensure consistency and predictability in its rulings.
Muhammed Komath
doaj   +1 more source

Argument-based inductive logics, with coverage of compromised perception. [PDF]

Front Artif Intell, 2023
Bringsjord S, Giancola M, Govindarajulu NS, Slowik J, Oswald J, Bello P, Clark M.   +6 more
europepmc   +1 more source

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

Representational change is integral to reasoning. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Bundy A, Li X.
europepmc   +1 more source

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  

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