Results 11 to 20 of about 405,638 (322)
Reasoning with Sets of Defaults in Default Logic [PDF]
We present a general approach for representing and reasoning with sets of defaults in default logic, focusing on reasoning about preferences among sets of defaults. First, we consider how to control the application of a set of defaults so that either all apply (if possible) or none do (if not).
James P. Delgrande, Torsten Schaub
openalex +3 more sources
Exploring Logical Intuition in Base-Rate Problems Using the Instructional Manipulation Paradigm [PDF]
The default–interventionist model of dual-process theories proposes that stereotype descriptions in base-rate problems are processed using Type 1 processing, while the evaluation of base rates depends on Type 2 processing.
Debiao Zhu +4 more
doaj +2 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
Default logic and bounded treewidth [PDF]
In this paper, we study Reiter's propositional default logic when the treewidth of a certain graph representation (semi-primal graph) of the input theory is bounded. We establish a dynamic programming algorithm on tree decompositions that decides whether a theory has a consistent stable extension (Ext).
Johannes K. Fichte +2 more
openalex +5 more sources
A tutorial on default logics [PDF]
Default logic is one of the most prominent approaches to nonmonotonic reasoning, and allows one to make plausible conjectures when faced with incomplete information about the problem at hand. Default rules prevail in many application domains such as medical and legal reasoning.
Grigoris Antoniou
openalex +2 more sources
DeepSeek-R1 outperforms Gemini 2.0 Pro, OpenAI o1, and o3-mini in bilingual complex ophthalmology reasoning [PDF]
Purpose: To evaluate the accuracy and reasoning ability of DeepSeek-R1 and three recently released large language models (LLMs) in bilingual complex ophthalmology cases. Methods: A total of 130 multiple-choice questions (MCQs) related to diagnosis (n =
Pusheng Xu +5 more
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.
Ji, Jianmin, Strass, Hannes
core +3 more sources
Stratification for default logic variants
Default reasoning is computationally expensive. One of the most promising ways of easing this problem and developing powerful implementations is to split a default theory into smaller parts and compute extensions in a modular, local way. Up to now this idea was only followed for Reiter's default logic, yet it is also relevant to other variants of ...
Grigoris Antoniou
+5 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

