Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
An argumentation system for reasoning with LPm
View through CrossRef
Inconsistent knowledge-bases can entail useful conclusions when using the three-valued semantics of the paraconsistent logic LP. However, the set of conclusions entailed by a consistent knowledge-base under the three-valued semantics is smaller than set of conclusions entailed by the knowledge-base under a two-valued semantics. Preferring conflict-minimal interpretations of the logic LP; i.e., LPm, reduces the gap between these two sets of conclusions.
Title: An argumentation system for reasoning with LPm
Description:
Inconsistent knowledge-bases can entail useful conclusions when using the three-valued semantics of the paraconsistent logic LP.
However, the set of conclusions entailed by a consistent knowledge-base under the three-valued semantics is smaller than set of conclusions entailed by the knowledge-base under a two-valued semantics.
Preferring conflict-minimal interpretations of the logic LP; i.
e.
, LPm, reduces the gap between these two sets of conclusions.
Related Results
Characteristics and processes of registered nurses’ clinical reasoning and factors relating to the use of clinical reasoning in practice: a scoping review
Characteristics and processes of registered nurses’ clinical reasoning and factors relating to the use of clinical reasoning in practice: a scoping review
Objective:
The objective of this review was to examine the characteristics and processes of clinical reasoning used by registered nurses in clinical practice, and to id...
Approaching the Construction of Arguments in Postgraduate Education Programs
Approaching the Construction of Arguments in Postgraduate Education Programs
Constructing arguments, applying logical reasoning, and developing intellectual skills are fundamental to academic success in postgraduate education and qualitative research. The s...
ANALISA FAKTOR GESEKAN ALAT PENUKAR KALOR PIPA KONSENTRIK SALURAN SILINDER SKALA LABORATORIUM
ANALISA FAKTOR GESEKAN ALAT PENUKAR KALOR PIPA KONSENTRIK SALURAN SILINDER SKALA LABORATORIUM
Alat penukar kalor adalah suatu alat untuk memindahkan kalor antara dua jenis fluida. Pada Pengujian ini, menggunakan pipa aluminium dengan diameter luar pipa dalam 25mm, diameter ...
Phys’AR as a Learning Innovation: Strengthening Critical Thinking and Argumentation Skills in Applied Physics
Phys’AR as a Learning Innovation: Strengthening Critical Thinking and Argumentation Skills in Applied Physics
Critical thinking and argumentation are essential twenty-first-century skills in physics education. Yet, conventional teaching methods often fail to provide students with sufficien...
Argumentation and explainable artificial intelligence: a survey
Argumentation and explainable artificial intelligence: a survey
AbstractArgumentation and eXplainable Artificial Intelligence (XAI) are closely related, as in the recent years, Argumentation has been used for providing Explainability to AI. Arg...
Quality assessment of malaria microscopic diagnosis at the LPM-HALD of Dakar, Senegal, in 2020
Quality assessment of malaria microscopic diagnosis at the LPM-HALD of Dakar, Senegal, in 2020
Abstract
Background: Following WHO guidelines, microscopy is the reference for malaria diagnosis in endemic countries. The Parasitology-Mycology laboratory (LPM) is the Nat...
Quality assessment of malaria microscopic diagnosis at the LPM-HALD of Dakar, Senegal, in 2020.
Quality assessment of malaria microscopic diagnosis at the LPM-HALD of Dakar, Senegal, in 2020.
Abstract
Background
Following WHO guidelines, microscopy is the reference for malaria diagnosis in endemic countries. The Parasitology-Mycology laboratory (LPM) is the Nat...
Optimisation in Neurosymbolic Learning Systems
Optimisation in Neurosymbolic Learning Systems
In the last few years, Artificial Intelligence (AI) has reached the public consciousness through high-profile applications such as chatbots, image generators, speech synthesis and ...