Artificial Intelligence

A field of study designed to mimic animal and human intelligence in machines. The classic robot might be able to be trained to carry out repetitive decisions on our behalf, allowing us to concentrate on more interesting disciplines.

"AI" systems can use a first order language based situation calculus as the basis of the knowledge management. However, to accurately model human reasoning and belief revision processes, some form of non-monotonic processing seems to be required.