17,179 Hits in 5.6 sec

Deduction versus Computation: The Case of Induction [chapter]

Eric Deplagne, Claude Kirchner
2002 Lecture Notes in Computer Science  
In this work we show that the fundamental proof method of induction can be understood and implemented as either computation or deduction.  ...  The fundamental difference and the essential complementarity between computation and deduction are central in computer algebra, automated deduction, proof assistants and in frameworks making them cooperating  ...  This corresponds to the deduction versus computation scheme advocated in [1] under the name of deduction modulo: we want some computations to be made blindly i.e. without the user interaction and in  ... 
doi:10.1007/3-540-45470-5_3 fatcat:4bjblblahbhkrhbmrrmxx2ivsu

Deductive versus inductive equilibrium selection: experimental results

Ernan Haruvy, Dale O. Stahl
2004 Journal of Economic Behavior and Organization  
Using out-of-sample maximum likelihood parameters, the predictive performance of one such dynamic is shown to be dramatically better than the deductive selection principles.  ...  We examine four deductive selection principles and find that each fails to explain experimental data. We propose an inductive selection principle based on simple learning dynamics.  ...  The Harsanyi and Selten (1988) tracing procedure has both deductive and inductive features.  ... 
doi:10.1016/j.jebo.2002.10.001 fatcat:5mgaqvgborcgli2jeddxyccbva

New Evidence for Distinct Right and Left Brain Systems for Deductive versus Probabilistic Reasoning

L. M. Parsons
2001 Cerebral Cortex  
The findings confirm that deduction and induction are distinct processes, consistent with psychological theories enforcing their partial separation.  ...  The results also suggest that, except for statement decoding, deduction is largely independent of language, and that some forms of logical thinking are non-diagrammatic.  ...  Martinez for assistance with the conduct and analysis of the study. Address correspondence to Lawrence M.  ... 
doi:10.1093/cercor/11.10.954 pmid:11549618 fatcat:ca2wczupxnekdhkptdixsxxaie

The Lost Art of Discovery: The Case for Inductive Methods in Occupational Health Science and the Broader Organizational Sciences

Paul E. Spector
2017 Occupational Health Science  
This paper makes a case for the necessity of inductive and abductive approaches to research in occupational health science and the broader organizational sciences.  ...  It is argued that the current deductive exclusiveness in the major journals of many fields has created unintended challenges to research integrity of confirmation bias, phacking, HARKing, and the chrysalis  ...  This paper will make a case for the necessity in the occupational health and broader organizational sciences of the inductive and explanatory abductive approaches to scientific discovery.  ... 
doi:10.1007/s41542-017-0001-5 fatcat:ynkgos4kfnemvicl343megqdju

Epistemological, Psychological, Neurosciences, and Cognitive Essence of Computational Thinking

Osman Yasar
2016 Journal of research in stem education  
Some scientists have even employed electronic computing tools to boost deductive and inductive uses of their computational minds to expedite the cycle of conceptual change in their work.  ...  Our model indicates that associative and distributive aspects of information storage, retrieval, and processing by a computational mind is the very essence of thinking, particularly deductive and inductive  ...  Acknowledgement Support by the National Science Foundation, through grants EHR 0226962, DRL 0410509, DRL 0540824, DRL 0733864, DRL 1614847, and DUE 1136332, is greatly appreciated.  ... 
doi:10.51355/jstem.2016.20 fatcat:ouevpiefgvhzpn3ldomvaxba44

Dialectica Interpretation with Fine Computational Control [chapter]

Trifon Trifonov
2009 Lecture Notes in Computer Science  
The present paper gives a further extension, in which the computational meaning can be controlled separately for every component of the Dialectica interpretation.  ...  Computational proof interpretations enrich the logical meaning of formula connectives and quantifiers with algorithmic relevance and allow to extract the construction contained in a proof.  ...  Induction on the definition of A ⊕ . Case at(t).  ... 
doi:10.1007/978-3-642-03073-4_48 fatcat:wosnfcow35eufdzolmfvzgs5fi

Intuitionistic computability logic [article]

Giorgi Japaridze
2006 arXiv   pre-print
Computability logic (CL) is a systematic formal theory of computational tasks and resources, which, in a sense, can be seen as a semantics-based alternative to (the syntactically introduced) linear logic  ...  constructive applied theories and computing systems inherently requiring constructive and computationally meaningful underlying logics.  ...  We proceed by induction on i. The basis case with i = 1 is rather straightforward for each clause of the lemma and we do not discuss it.  ... 
arXiv:cs/0411008v3 fatcat:bw7as7jmxva2lddbawj7a6u6lu

Computer supported collaborative learning Computer supported collaborative learning: cognitive and computational approaches

Gellof Kanselaar, Gijsbert Erkens, Jos Jaspers, Hermi (Tabachneck-) Schijf
2001 Teaching and Teacher Education : An International Journal of Research and Studies  
Computer supported collaborative learning: cognitive and computational approaches. P.  ...  The book under review illustrates the type of research needed to put a solid theoretical grounding underneath the concept of collaborative learning.  ...  Still, had the issues treated in the book been aimed more at a larger educational context, the book would have a greater appeal for teaching and teacher education.  ... 
doi:10.1016/s0742-051x(00)00042-1 fatcat:iu3lemwgxbbrli6s2ugvqybydq

Teaching Science through Computation

Osman Yaşar
2013 International Journal of Science Technology and Society  
A strong link is established between computational and natural sciences. Students learn in a simplistic framework how laws of nature act as the source of change.  ...  We present a computational pedagogy approach to teaching an interdisciplinary science course.  ...  Special thanks to Pınar Yaşar who introduced the author to the Shakespearean world of human thought.  ... 
doi:10.11648/j.ijsts.20130101.12 fatcat:zmeuwpt2qve63oiw7qa27fklzq

CPS-translation as adjoint

Ken-etsu Fujita
2010 Theoretical Computer Science  
The construction of an inverse translation is investigated from a viewpoint of residuated mappings.  ...  From a programming point of view, this result means that abstract data types can interpret polymorphic functions under the CPS-translation.  ...  The author shall be deeply grateful to the referees for their constructive and kind comments.  ... 
doi:10.1016/j.tcs.2009.06.033 fatcat:73sto6o3n5evdpxwyq3b7be3ma

Handheld Computers [chapter]

2015 Encyclopedia of Science Education  
However, as the range of features offered by each of these devices is extended, the distinctions among them are becoming less clear.  ...  This entry reviews the current state of each kind of device and comments on applications for science education.  ...  Scientists are not the only people who reason in a hypothetico-deductive manner. All normal adults do, at least in some contexts some of the time.  ... 
doi:10.1007/978-94-007-2150-0_100606 fatcat:xu2yrzjb2rafrbzfqvk344vi2q

Axiomatic Cloud Computing Architectural Design

John Thomas, Pam Mantri, A. Liu, J.T. Foley, E.C.N. Puik
2019 MATEC Web of Conferences  
Modern cloud computing makes available a plethora of scalable cloud computing offerings.  ...  This paper unifies the above approaches in order to tackle the architectural challenges of cloud computing.  ...  The abductive cascade combines the inductive as well as the deductive flows into a long sequence of step-by-step problem-solving trace.  ... 
doi:10.1051/matecconf/201930100024 fatcat:wxy73lm4zfgnpcvgt5ucg3bfxi


2000 Theoretical Computer Science  
Such work has ranged from the most abstract to the most practical and has employed the full spectrum of logical techniques, from proof theory, model theory and recursion theory.  ...  There is a long history of work in proof-search in a variety of systems of logic, including classical, intuitionistic, relevant, linear and modal systems, at the propositional, ÿrst-and higher-order levels  ...  The use of proof-nets as an alternative tool for automated deduction in linear logic; • Reasoning about speciÿcations of computation with an intuitionistic logic that includes deÿnitions and induction;  ... 
doi:10.1016/s0304-3975(99)00168-1 fatcat:pw6ussamo5dobmb6ebviodz7gu

What is Agent-Based Computational Sociology all About? [chapter]

2012 Agent-Based Computational Sociology  
, (e) a reconciliation of deduction and induction, theory and data through models, and (f) a tendency towards a trans-disciplinary/issueoriented style of research.  ...  Computational sociology, that is, the use of computationally intensive methods to model social phenomena, is not a recent development (Brainbridge 2007) .  ...  In these cases, the aim is not to help deduction, but to allow for inductive observation (Boudon 1970, pp. 379-380) .  ... 
doi:10.1002/9781119954200.ch1 fatcat:wxxclkfbovftlgfex5yb4ochxa

The Subjective Computable Universe [chapter]

Marcus Hutter
2012 A Computable Universe  
This and the ubiquity of computers and virtual realities has increased the acceptance of the computational paradigm. A computable theory of everything seems to have come within reach.  ...  Nearly all theories developed for our world are computational. The fundamental theories in physics can be used to emulate on a computer ever more aspects of our universe.  ...  Arguably inductive reasoning is even more important than deductive reasoning in science and everyday life: for scientific discovery, in machine learning [Hut11] , for forecasting in economics, as a philosophical  ... 
doi:10.1142/9789814374309_0021 fatcat:6z32pdlvvfd3xjrsrudujfvnea
« Previous Showing results 1 — 15 out of 17,179 results