Results 1 to 10 of about 24,578 (296)
Artificial Intelligence, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
VÍCTOR W Marek, Artur Mikitiuk
exaly +4 more sources
Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic
Axioms, 2020 Default logic is one of the basic formalisms for nonmonotonic reasoning, a well-established area from logic-based artificial intelligence dealing with the representation of rational conclusions, which are characterised by the feature that the inference ...
Sopo Pkhakadze, Hans Tompits
doaj +4 more sources
Reasoning by cases in default logic
Artificial Intelligence, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nico Roos
exaly +4 more sources
Translating default logic into standard autoepistemic logic
Journal of the ACM, 1995 Since Konolige's translation of default logic into strongly grounded autoepistemic logic, several other variants of Moore's original autoepistemic logic that embody default logic have been studied. All these logics differ significantly from Moore's autoepistemic logic (standard AEL) in that expansions are subject to additional groundedness-
Georg Gottlob
exaly +3 more sources
Integration of factor analysis and Tsukamoto’s fuzzy logic method for quality control of credit provisions in rural banks [PDF]
Decision Science Letters, 2023 Giving credit to debtors can pose a default risk. This risk arises because of an error in analyzing the credit risk rate of the debtor. Therefore, this study aims to design a framework for analyzing the credit risk rate of debtors so that the ...
Yuyun Hidayat +6 more
doaj +1 more source
Evolution of default genetic control mechanisms.
PLoS ONE, 2021 We present a model of the evolution of control systems in a genome under environmental constraints. The model conceptually follows the Jacob and Monod model of gene control.
William Bains +2 more
doaj +1 more source
Misleading Higher-Order Evidence, Conflicting Ideals, and Defeasible Logic
Ergo, An Open Access Journal of Philosophy, 2021 Thinking about misleading higher-order evidence naturally leads to a puzzle about epistemic rationality: If one’s total evidence can be radically misleading regarding itself, then two widely-accepted requirements of rationality come into conflict ...
Aleks Knoks
doaj +2 more sources
An Algebraic Approach for Action Based Default Reasoning [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Often, we assume that an action is permitted simply because it is not explicitly forbidden; or, similarly, that an action is forbidden simply because it is not explicitly permitted.
Pablo F. Castro +3 more
doaj +1 more source
Micro-simulation insights into the safety and operational benefits of autonomous vehicles
Journal of Intelligent and Connected Vehicles, 2023 Several past studies showed that Autonomous Vehicles (AVs) can reduce crash risk, stop-and-go traffic, and travel time. To analyze the safety benefits of AVs, most of the researchers proposed algorithms and simulation-based techniques.
Nalin Kumar Sekar +2 more
doaj +1 more source
A Unified Algebraic Framework for Non-Monotonicity [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Tremendous research effort has been dedicated over the years to thoroughly investigate non-monotonic reasoning. With the abundance of non-monotonic logical formalisms, a unified theory that enables comparing the different approaches is much called for ...
Nourhan Ehab, Haythem O. Ismail
doaj +1 more source