Results 11 to 20 of about 405,638 (322)

Reasoning with Sets of Defaults in Default Logic [PDF]

open access: greenComputational Intelligence, 2004
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]

open access: yesBehavioral Sciences
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]

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

Default logic and bounded treewidth [PDF]

open access: greenInformation and Computation, 2020
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]

open access: bronzeACM Computing Surveys, 1999
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]

open access: yesAdvances in Ophthalmology Practice and Research
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]

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.
Ji, Jianmin, Strass, Hannes
core   +3 more sources

Stratification for default logic variants

open access: goldInternational Journal of Intelligent Systems, 1998
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]

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

Home - About - Disclaimer - Privacy