BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Logic\, Artificial Intelligence and Human Thinking - Emeritus Prof
 essor Robert Kowalski (Imperial College London)
DTSTART:20230511T173000Z
DTEND:20230511T200000Z
UID:TALK200080@talks.cam.ac.uk
CONTACT:Aaron Turner
DESCRIPTION:Symbolic logic has been used in artificial intelligence over t
 he past 60 years or so\, in the attempt to program computers to display hu
 man levels of intelligence. As a result\, new forms of computational logic
  have been developed\, which are both more powerful and more practical. Th
 e new computational logic is the logic of an intelligent agent whose missi
 on 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 contr
 ol. 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\, includi
 ng actions. \n\nI will argue that computational logic can be used not only
  for artificial intelligence\, but for more conventional computing\; and b
 ecause it improves upon traditional logic\, it can also be used for the or
 iginal purpose of logic\, to help people improve their own natural intelli
 gence.\n\nFull details including how to purchase tickets: https://www.camb
 ridgeaisocial.org/index.php/cais-lecture-11-may-2023
LOCATION:North Cambridge Academy\, Arbury Road\, Cambridge CB4 2JF
END:VEVENT
END:VCALENDAR