منابع مشابه
A Rapprochement between Deductive and Inductive Logic
Traditionally logic was considered as having two branches: deductive and inductive. However the development of the subject from Frege (1879) up to about 1970 brought about a divergence between deductive and inductive logic. It is argued in this paper that developments in artiicial intelligence in the last twenty or so years (particularly logic programming and machine learning) have created a ne...
متن کاملCollaborative Logic Programming via Deductive-inductive Resolution
This thesis presents a powerful deductive-inductive resolution technique, by combining deductive theorem proving with inductive logic programming, for solving a new class of multi-agent problems—namely the collaborative logic programming (CollabLP) problems. In essence, the CollabLP formulation captures a wide range of problems in multi-agent settings where knowledge is typically distributed, p...
متن کاملInductive-deductive systems: a mathematical logic and statistical learning perspective
This paper has not been published with copyrighted proceedings and was only presented, in french, in a national conference. The theorems about incompleteness of arithmetic have often been cited as an argument against automatic theorem proving and expert systems. However, these theorems rely on a worst-case analysis, which might happen to be overly pessimistic with respect to real-world domain a...
متن کامل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.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Philosophy, Psychology and Scientific Methods
سال: 1905
ISSN: 0160-9335
DOI: 10.2307/2012181