Sunday , September 20 2020
Home / ARTIFICIAL INTELLIGENCE VIDEOS / "The computer logic as a language of thought of an intelligent agent" Prof. Robert Kowalski (ICAART 2015)

"The computer logic as a language of thought of an intelligent agent" Prof. Robert Kowalski (ICAART 2015)



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/

Leave a Reply

Your email address will not be published. Required fields are marked *