Results 11 to 20 of about 902,530 (302)
Approximate coherence-based reasoning [PDF]
Journal of Applied Non-Classical Logics, 2002 It has long been recognized that the concept of inconsistency is a central part of com-monsense reasoning. In this issue, a number of authors have explored the idea of reasoning with maximal consistent subsets of an inconsistent stratified knowledge base. This paradigm, often called "coherent-based reasoning", has resulted in some interesting proposals
Koriche, Frédéric
openaire +4 more sources
Approximate OWL-Reasoning with Screech [PDF]
, 2008 With the increasing interest in expressive ontologies for the Semantic Web, it is critical to develop scalable and efficient ontology reasoning techniques that can properly cope with very high data volumes. For certain application domains, approximate reasoning solutions, which trade soundness or completeness for inctreased reasoning speed, will help ...
Tserendorj, Tuvshintur +3 more
core +8 more sources
Approximate reasoning in fuzzy resolution
2012 Annual Meeting of the North American Fuzzy Information Processing Society (NAFIPS), 2012 Resolution is an useful tool for mechanical theorem proving in modelling the refutation proof procedure, which is mostly used in constructing a “proof” of a “theorem”. An attempt is made to utilize approximate reasoning methodology in fuzzy resolution. Approximate reasoning is a methodology which can deduce a specific information from general knowledge
Banibrata Mondal, Swapan Raha
openaire +3 more sources
A study on approximate reasoning mechanism via fuzzy relation equations [PDF]
, 1992 Some aspects of mechanisms of approximate reasoning and knowledge acquisition for rule-based expert systems are studied in the framework of fuzzy relation equations used for the implementation of inference ...
DI NOLA A, PEDRYCZ W, SESSA, SALVATORE
core +2 more sources
Preferential Multi-Context Systems [PDF]
, 2016 Multi-Context Systems (MCSs) introduced by Brewka and Eiter are a promising way to interlink decentralized and heterogeneous knowledge contexts.
Wen, Larry +3 more
core +1 more source
A logic for approximate reasoning [PDF]
Journal of Symbolic Logic, 1994 Classical logic is not adequate to face the essential vagueness of human reasoning, which is approximate rather than precise in nature. The logical treatment of the concepts of vagueness and approximation is of increasing importance in artificial intelligence and related research.
openaire +3 more sources
An Heuristic Framework for Non-Conscious Reasoning
Applied Sciences, 2017 Human non-conscious reasoning is one of the most successful procedures evolved for the purposes of solving everyday problems in an efficient way. This is why the field of artificial intelligence should analyze, formalize and emulate the multiple ways of ...
Felipe Lara-Rosano
doaj +1 more source
Representing and Reasoning over Topological Relations in OWL [PDF]
Representing topological information for the Semantic Web often involves qualitative defined natural language terms such as "Into" or "Overlapping". This can be the case when exact coordinates of spatial regions are not available, they are incomplete or
Tachmazidis, Ilias +2 more
core +3 more sources
Fuzzy Logic in KNIME – Modules for Approximate Reasoning – [PDF]
International Journal of Computational Intelligence SystemsIn this paper we describe the open source data analytics platform KNIME, focusing particularly on extensions and modules supporting fuzzy sets and fuzzy learning algorithms such as fuzzy clustering algorithms, rule induction methods, and interactive ...
MichaelR. Berthold +2 more
doaj +1 more source
Jaccard Distance of Logical Formulas and Its Application
Jisuanji kexue yu tansuo, 2020 Quantifying the related concepts of propositional logic is a new method of propositional logic research. It is differe.nt from the syntax and semantics method and is a powerful tool for studying the structure of propositional sets.
YU Peng
doaj +1 more source