Artificial intelligence and default theories

Formal logic has been an important part of development of artificial intelligence (AI) research for almost sixty years, but its role has always been controversial. In the article an overview of the role of logic in artificial intelligence has been presented. The article showed mainly two possible applications of logic in AI: as a knowledge representation formalism and method of reasoning, and as a tool in computer science. The paper analyzed each of these and also investigated both the problems as well as the perspectives for the successful application of logic.