Articles

What Artificial Intelligence needs from Symbolic Logic

Slides discussing what Artificial Intelligence needs from Symbolic Logic

The goal of artificial intelligence research is human-level AI. Logical AI is an approach. It requires mathematical logic with human-level expressiveness both in the formulas it can include and in the reasoning steps it allows.

What is logical AI?

The common sense informatic situation

Relevant history of logic

Problems with logical AI

Nonmonotonic reasoning

Domain dependent control of reasoning

Concepts as objects

Contexts as objects

Partially defined objects

Self-awareness

Remarks and references

Download the article in PDF.