Logic, Artificial Intelligence and Human Thinking

Add to your list(s) Download to your calendar using vCal

• Emeritus Professor Robert Kowalski (Imperial College London)
• Thursday 11 May 2023, 18:30-21:00
• North Cambridge Academy, Arbury Road, Cambridge CB4 2JF.

If you have a question about this talk, please contact Aaron Turner.

This talk has been canceled/deleted

Symbolic logic has been used in artificial intelligence over the past 60 years or so, in the attempt to program computers to display human levels of intelligence. As a result, new forms of computational logic have been developed, which are both more powerful and more practical. The new computational logic is the logic of an intelligent agent whose mission in life is to make its goals true, by performing actions to change the world, in the context of changes in the world that are outside its control. For this purpose, the agent uses its beliefs in logical form both to reason forwards, to derive consequences of its observations and candidate actions, and to reason backwards, to reduce goals to subgoals, including actions.

I will argue that computational logic can be used not only for artificial intelligence, but for more conventional computing; and because it improves upon traditional logic, it can also be used for the original purpose of logic, to help people improve their own natural intelligence.

Full details including how to purchase tickets: https://www.cambridgeaisocial.org/index.php/cais-lecture-11-may-2023

This talk is part of the Cambridge AI Social series.

This talk is included in these lists:

This talk is not included in any other list

Note that ex-directory lists are not shown.