منابع مشابه
Theorizing in Design Science Research: Inductive versus Deductive Approaches
This paper explores which theorizing strategies can be employed in DSR to make a theoretical contribution by examining two illustrative case examples. First, we find that abduction, deduction, and induction all play a role in DSR. Second, we suggest that design theorists can choose among a range of theorizing strategies (i.e., inductive theorizing, deductive theorizing, and hybrid approaches) t...
متن کاملDeductive Planning with Inductive Loops
Agents plan to achieve and maintain goals. Maintenance that requires continuous action excludes the representation of plans as finite sequences of actions. If there is no upper bound on the number of actions, a simple list of actions would be infinitely long. Instead, a compact representation requires some form of looping construct. We look at a specific temporally extended maintenance goal, mu...
متن کاملDeductive and Inductive Methods for Program Synthesis
The paper discusses simple functional constraint networks and a value propagation method for program construction. Structural synthesis of programs is described as an example of deductive approach to program construction. An inductive method for program synthesis utilizing stochastic optimization algorithms is introduced to complement value propagation techniques.
متن کاملAbductive, Inductive and Deductive Reasoning about Resources
We describe a method for reasoning about programs that uses a mixture of abductive, inductive and deductive inference. It allows us to synthesize a pre/post spec for a program procedure, without requiring any information about the procedure’s calling context. The method can be used to obtain partial specifications for portions of large code bases in the millions of lines of code. The method beg...
متن کاملRelations between inductive reasoning and deductive reasoning.
One of the most important open questions in reasoning research is how inductive reasoning and deductive reasoning are related. In an effort to address this question, we applied methods and concepts from memory research. We used 2 experiments to examine the effects of logical validity and premise-conclusion similarity on evaluation of arguments. Experiment 1 showed 2 dissociations: For a common ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Modelling
سال: 1980
ISSN: 0270-0255
DOI: 10.1016/0270-0255(80)90005-6