About ISLAI

The International Society for Logic and Artificial Intelligence is an organization preoccupied with promotion of logic and AI as well as the convergence of the two disciplines.

Currently, AI is essentially an engineering discipline using mathematical methods but lacking rigorous foundations similar to the foundations of mathematics. ISLAI promotes the goal of explicating the phenomenon of intelligence in mathematical terms and the aim to develop rigorous mathematical foundations of this phenomenon.