Artificial Intelligence – Articles on Artificial Intelligence

Ray Kurzweil, the computer sceintist, defined intelligence as "set of skills that allows humans
to solve problem with limited resources." The skills expected from an intelligent person are
learning, abstract thought, planning, imagination, and creativity. This list covers the most...

Algorithm: Resolution In Predicate Logic
1. Convert all the statements of F to clause form
2. Negate P and convert the result to clause form. Add it to the set of clauses obtained in step 1.

In propositional logic, the procedure for producing a proof by resolution of proposition P with respect to a set of axioms F is the following.
Algorithm: Propositional Resolution

The process of creation of an expert system requires careful planning. It is common to acquire an expert systems tool, i.e., shell, instead of developing the inference engine from the scratch. The steps involved in the creation of expert system are listed...