Main title: The computer logic as language of thought of a intelligent agent
Keynote Speaker: Robert Kowalski
Honorary President: Jaap van der Herik
Presented on: 10/01/2015, Lisbon, Portugal
Abstract: Artificial intelligence research relies on the tools and techniques of many different disciplines, including formal logic. However, the application of formal logic to artificial intelligence revealed the weaknesses of traditional logic and led to the development of a logic of calculation both simpler and more powerful . The logic of calculation that I will describe in this talk is the logic of an intelligent agent whose task in life is to achieve its goals, by performing actions to change the world, in response to the changes that are taking place. he observes in the world. To this end, the agent uses beliefs in logical form both to reason from his observations and from his goals, generating actions as sub-goals. I will argue that this form of computer logic can be used not only for intelligence also for more conventional computer applications. Because it enhances traditional logic, it can also be used for the original purpose of logic, to help people to improve their natural intelligence.
Presented at the following conference: ICAART, International Conference on Agents and Artificial Intelligence
Conference website: http://www.icaart.org/