Logic and Data Bases

Історія штучного інтелекту

Істо́рія шту́чного інтеле́кту (ШІ, artificial intelligence, AI) почалася у стародавньому світі, з міфів, оповідань та чуток про створення штучних істот, яких майстри обдар…

History of artificial intelligence

The history of artificial intelligence (AI) began in antiquity, with myths, stories and rumors of artificial beings endowed with intelligence or consciousness by master…

Event calculus

The event calculus is a logical theory for representing and reasoning about events and about the way in which they change the state of some real or artificial world.

Logic programming

Logic programming is a programming, database and knowledge-representation and reasoning paradigm which is based on formal logic.