Results 11 to 20 of about 24,578 (296)
A Default Logic Patch for Default Logic [PDF]
, 2009 This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-logic knowledge parts of the sources are contradictory, as default theories trivialize in this case. To overcome this problem, it is shown that replacing each formula belonging
Philippe Besnard +2 more
core +4 more sources
Dual logic and cerebral coordinates for reciprocal interaction in eye contact. [PDF]
PLoS ONE, 2015 In order to scientifically study the human brain's response to face-to-face social interaction, the scientific method itself needs to be reconsidered so that both quantitative observation and symbolic reasoning can be adapted to the situation where the ...
Ray F Lee
doaj +1 more source
Applied Sciences, 2022 Currently, artificial intelligence and intelligent algorithms for the control of dynamic systems are the main focus for building Industry 4.0 services and developing novel, innovative industrial solutions.
Miroslav Milovanović +4 more
doaj +1 more source
Reasoning with Sets of Defaults in Default Logic [PDF]
Computational 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
openaire +1 more source
Normal default rules as epistemic actions
Acta Universitatis Carolinae Philosophica et Historica, 2016 The goal of this paper is to present a prospective way to ‘translate’ normal default rules into the framework of action models logic. At the beginning we introduce default logic and normal default logic with their main properties and, separately, action ...
Michal Dančák, Michal Peliš
doaj +1 more source
Does air pollution matter in a supplier's trade credit strategy? Evidence from an emerging market
Borsa Istanbul Review, 2021 This study analyzes the impact of air pollution on the city in which customers are located on the trade credit strategy of their suppliers. Following the framework of environmental stress theory, we hypothesize that suppliers change their trade credit ...
Jianhua Tan +3 more
doaj +1 more source
Default logic and bounded treewidth [PDF]
Information and Computation, 2018 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 Klaus Fichte +2 more
openaire +2 more sources
THE USE OF FUZZY LOGIC WHILE MODELING THE CREDITWORTHINESS OF LEGAL ENTITIES
Green, Blue and Digital Economy Journal, 2020 The purpose of the article is to develop a methodological approach to support the decision-making process in determining the creditworthiness of legal entities, as well as to create economic mathematical models based on this approach using the theory of
Olga Palamarchuk
doaj +1 more source
Uncontroversial Default Logic [PDF]
Journal of Logic and Computation, 2004 Summary: Many variants of default logics exist. Two of the main differences among them arise from the choice between local and global consistency, and the choice of whether or not to accept maximally successful sets of defaults. In this paper, we characterize theories that do not depend at all on what makes the semantics different, that is, theories ...
openaire +2 more sources
Strong Backdoors for Default Logic [PDF]
ACM Transactions on Computational Logic, 2016 In this article, we introduce a notion of backdoors to Reiter’s propositional default logic and study structural properties of it. Also we consider the problems of backdoor detection (parameterised by the solution size) as well as backdoor evaluation (parameterised by the size of the given backdoor) for various kinds of target classes (CNF, KROM ...
Johannes Klaus Fichte +2 more
openaire +2 more sources