The philosopher Ramon Llull (1232-1316), for whom this year we are celebrating the 700th anniversary of his death, proposed the Ars luliana, a method of argument devised to convince non-Christians of the truth of the Christian faith. While this objective was obviously futile, Ramon Llull did make a seminal contribution to one of the most interesting research subjects in the area of Artificial Intelligence: calculation of agreement. He proposed a basic alphabet (subsequently extended by Leibniz, who used numbers), which, by means of combinations, could be used to construct a consistent view of the world that everyone would have to agree with. In this lecture, the speaker places Llull in his historical age, and describes the contributions he made to logic, computer studies, argumentation and social choice.
Cycle: SCIENCE ON MONDAY: Artificial intelligence, today and tomorrow
Organized by: Residencia de Investigadores, Delegación en Cataluña CSIC, Instituto de Investigación en Inteligencia Artificial (IIIA-CSIC)