Thinking Rationaly: The Laws of thought approach

AI TEST   1 comment  

The Greek Philosopher Aristotle was one of the first to attempty to codify "right thingking". that is irrefutable reasoning processes. His famous syllogisms provided pattern for argument structures tha always gave correct conclusions given correct premises.

The development of formal logic in the late nineteenth and early twentieth centuries, which we describe in more detail. Provide a precise notation for statements about all kinds of things in the world and the relatations between them.

There are two main obstacles to this approach. First, it is not easy to take informal knowledge and state it in the formal terms required by logical notation, particulary when the knowledge is less than 100% certain.

Second, there is a big difference between being able to solve the problem in principle and doing so in practice. even problems with just a few dozen fact can exhaust the computational resources of any computer unless it has come guidance as to which reasoning steps to try first.