Results 1 to 10 of about 418,606 (284)

Where fail-safe default logics fail [PDF]

open access: green, 2007
Reiter's original definition of default logic allows for the application of a default that contradicts a previously applied one. We call failure this condition.
Paolo Liberatore
openalex   +3 more sources

Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic [PDF]

open access: goldAxioms, 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   +2 more sources

Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]

open access: green, 2014
The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.
Jianmin Ji, Hannes Straß
openalex   +4 more sources

Proof Complexity of Propositional Default Logic [PDF]

open access: green, 2010
Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and skeptical reasoning in propositional default logic.
Olaf Beyersdorff   +4 more
openalex   +6 more sources

Propositional semantics for default logic [PDF]

open access: green, 1992
We present new semantics for propositional default logic based on the notion of meta-interpretations - truth functions that assign truth values to clauses rather than letters.
Rachel Ben-Eliyahu, Rina Dechter
openalex   +3 more sources

Complexity of Prioritized Default Logics

open access: diamond, 1998
In default reasoning, usually not all possible ways of resolving conflicts between default rules are acceptable. Criteria expressing acceptable ways of resolving the conflicts may be hardwired in the inference mechanism, for example specificity in ...
Jussi Rintanen
openalex   +4 more sources

Irrationality in humans and creativity in AI [PDF]

open access: yesFrontiers in Artificial Intelligence
This manuscript explores how human irrationality in decision-making can contribute to artificial intelligence (AI) development, particularly in the domain of creativity.
Olha Sobetska
doaj   +2 more sources

Integration of factor analysis and Tsukamoto’s fuzzy logic method for quality control of credit provisions in rural banks [PDF]

open access: yesDecision 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.

open access: yesPLoS 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

open access: yesErgo, 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

Home - About - Disclaimer - Privacy