Results 1 to 10 of about 418,606 (284)
Where fail-safe default logics fail [PDF]
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]
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]
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]
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]
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
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]
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]
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.
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
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

