Articles

Artificial Intelligence, Logic and Formalizing Common Sense

A position paper about the relations among artificial intelligence (AI), mathematical logic and the formalization of common-sense knowledge and reasoning.

This is a position paper about the relations among artificial intelligence (AI), mathematical logic and the formalization of common-sense knowledge and reasoning. It also treats other problems of concern to both AI and philosophy. The position advocated is that philosophy can contribute to AI if it treats some of its traditional subject matter in more detail and that this will advance the philosophical goals also.

Download the article in PDF.