Results 221 to 230 of about 22,113 (265)
Some of the next articles are maybe not open access.
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
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
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
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
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
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
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
1985
The concept of probability is central to some models of Earth surface systems. For instance, in models of hillslopes some of the variables involved are best expressed in probabilistic terms. The uplift which may alter base level and the storms which activate a number of slope processes tend to occur rather erratically; they have a chance-like character
openaire +1 more source
The concept of probability is central to some models of Earth surface systems. For instance, in models of hillslopes some of the variables involved are best expressed in probabilistic terms. The uplift which may alter base level and the storms which activate a number of slope processes tend to occur rather erratically; they have a chance-like character
openaire +1 more source