Document Type : Research Paper
Authors
Abstract
Intelligent systems are designed on the model of the operation of mind; but they come across, at least, the following problems: (a) Can IS solve every problem? (b) Is there any correspondence between the above problem and the undecidability of the first order predicate logic? Before finding proper answers, we should know the characteristics of an intelligent system and how it solves a problem and what do we mean by its decidability. In this article we have dealt with the above issues and will show that an intelligent system is a kind of algorithmic system and since we can find a problem (halting problem) which is unalgorithmic, that system cannot solve it; this means that an intelligent system cannot solve all the problems and hence is undecidable. This undecidability, in turn, shows that the logic (i.e. first order predicate logic) which governs the system is also undecidable.
Keywords
)