Results 291 to 300 of about 202,857 (337)
Some of the next articles are maybe not open access.
On a deductive reasoning model and method for uncertainty
Proceedings 11th International Conference on Tools with Artificial Intelligence, 2003Discusses a problem of deduction with uncertainty that has been dealt with by various diagnostic expert systems. First, we propose a mathematical framework of deductive reasoning with uncertainty. The subject of the reasoning is the calculation of conditional probabilities. Second, we establish a new reasoning method.
Makoto Suzuki +2 more
openaire +1 more source
A deductive data model for query expansion
Proceedings of the 19th annual international ACM SIGIR conference on Research and development in information retrieval - SIGIR '96, 1996We present a deductive data model for concept-based query expansion. It is based on three abstraction levels: the conceptual, the expression and the occurrence level. Concepts and their relationships are represented at the conceptual level. The expression level represents natural language expressions for concepts.
Kalervo Järvelin +4 more
openaire +1 more source
Deduction and Modelling (model II)
1980Model I consists of methodological hypotheses which state how the ideal researcher, characterized by the assumptions p 1-p 5 carries out his basic research objectives: how he formulates laws, constructs theories and tests them, and explains facts.
openaire +1 more source
American Behavioral Scientist, 1997
In Deduction, Johnson-Laird and Byrne have made an extremely important contribution to the study of cognition by providing a unified theory of all types of deduction, including modal inferences. Their theory is that, contrary to the traditional view, deduction is not rule-based but model-based reasoning, and the central cognitive process involves a ...
openaire +1 more source
In Deduction, Johnson-Laird and Byrne have made an extremely important contribution to the study of cognition by providing a unified theory of all types of deduction, including modal inferences. Their theory is that, contrary to the traditional view, deduction is not rule-based but model-based reasoning, and the central cognitive process involves a ...
openaire +1 more source
2004
At the end of this chapter the reader will be able to: Discuss the genesis of the deductive data model in formal logic Describe the major elements of the deductive data model Explain why deductive databases are sometimes described as ‘intelligent ...
openaire +1 more source
At the end of this chapter the reader will be able to: Discuss the genesis of the deductive data model in formal logic Describe the major elements of the deductive data model Explain why deductive databases are sometimes described as ‘intelligent ...
openaire +1 more source
Knowledge Modelling for Deductive Web Mining
2004Knowledge-intensive methods that can altogether be characterised as deductive web mining (DWM) already act as supporting technology for building the semantic web. Reusable knowledge-level descriptions may further ease the deployment of DWM tools. We developed a multi-dimensional, ontology-based framework, and a collection of problem-solving methods ...
Vojtech Svátek +2 more
openaire +1 more source
A deductive model of control of a problem solver
ACM SIGART Bulletin, 1977The efficiency of problem-solving computer programs, has suffered from such programs willingness to search problem spaces blindly and their inability to accept new information that would help. A new approach is described, in which the problem solver is driven by a theorem prover which retrieves and chooses among solution plans.
openaire +1 more source
Deduction, Perception, and Modeling
2005Charles Sanders Peirce, the celebrated philosopher of pragmatics and semiotics, viewed mathematics as the basic science. But, according to him — what is it?
openaire +1 more source
Deductive Verification of UML Models in TLPVS
2004In recent years, UML has been applied to the development of reactive safety-critical systems, in which the quality of the developed software is a key factor. In this paper we present an approach for the deductive verification of such systems using the PVS interactive theorem prover.
Arons, T. +4 more
openaire +2 more sources
A Model for Parallel Deduction
1994Abstract In this paper, a deduction model prepared for parallel execution is presented. Inferences are executed in a graph structure through exchanging tokens between the nodes, thus using the dataflow concept to execute deductions (in parallel).
openaire +1 more source