Results 21 to 30 of about 13,204 (193)
Representation results for defeasible logic [PDF]
, 2000 The importance of transformations and normal forms in logic programming, and generally in computer science, is well documented. This paper investigates transformations and normal forms in the context of Defeasible Logic, a simple but efficient formalism ...
Antoniou, G. +3 more
core +7 more sources
On the Logical Foundation of a Personalized Medical Prescription System
IEEE Access, 2020 This paper, lays down the logical foundations for a personalized medical prescription system. The proposed system employs detailed pharmaceutical and medical knowledge about a medication and its effects or side effects on the patient, which may go beyond
Sherin Hijazi +2 more
doaj +1 more source
Defeasible Reasoning with Legal Rules [PDF]
, 1996 The last few years several defeasible deontic reasoning formalisms are developed as a way to solve the problem of deontic inconsistency. However, these formalisms are unable to deal with some very common forms of deontic reasoning, since e.g. their expressiveness is restricted.
Royakkers, L., Dignum, F.P.M.
openaire +3 more sources
ALE Defeasible Description Logic [PDF]
, 2006 One of Semantic Web strengths is the ability to address incomplete knowledge. However, at present, it cannot handle incomplete knowledge directly. Also, it cannot handle non-monotonic reasoning.
D. Billington +6 more
core +2 more sources
Rethinking Defeasible Reasoning: A Scalable Approach [PDF]
Theory and Practice of Logic Programming, 2020 AbstractRecent technological advances have led to unprecedented amounts of generated data that originate from the Web, sensor networks, and social media. Analytics in terms of defeasible reasoning – for example, for decision making – could provide richer knowledge of the underlying domain.
MICHAEL J. MAHER +4 more
openaire +4 more sources
DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies [PDF]
, 2005 This paper reports on a system for automated agent negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategies. The negotiation strategies are expressed in a declarative rules language,
Antonis Bikakis +4 more
core +2 more sources
Reasoning with Defeasible Reasons [PDF]
, 2020 The information age is marked by a tremendous amount of incoming information. Even so, we are almost always dealing with information that is only incomplete or even conflicting. This thesis investigates the logical principles behind our abilities to find out the right answers and recover from errors that we make in drawing hasty conclusions.
openaire +2 more sources
Denying Antecedents and Affirming Consequents: The State of the Art
Informal Logic, 2015 Recent work on conditional reasoning argues that denying the antecedent [DA] and affirming the consequent [AC] are defeasible but cogent patterns of argument, either because they are effective, rational, albeit heuristic applications of Bayesian ...
David Godden, Frank Zenker
doaj +3 more sources
Defeasibility in Legal Reasoning [PDF]
, 1995 L'A. propose une analyse logique de l'annulabilite des raisonnements legaux engageant le statut de la normativite et des categaries de probanda (ce qui doit etre prouve) et de non-refutanda (ce qui ne doit pas etre refute) dans une reflexion sur les regles et les exceptions, revelant la structure non-monotonique et dialogique des procedures legales qui
openaire +3 more sources
Argument from Ignorance and Argument from Silence
Дискурс, 2021 Introduction. This article focuses on the specifics of the arguments from ignorance and arguments from silence. The relevance of the work is due to the growing interest of the scientific community in modeling of defeasible (presumptive) reasoning and ...
E. N. Lisanyuk, A. A. Khamidov
doaj +1 more source