Some Thoughts on Logic, Declarative Programming, and Knowledge Representation

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

• Dr. Michael Gelfond, Texas Tech University
• Thursday 14 January 2021, 16:00-17:30
• https://bham-ac-uk.zoom.us/j/87226121041?pwd=cXdlK3U5YjFuZ3YyZWxPQVAwMWthZz09.

If you have a question about this talk, please contact Martin Rudorfer.

In this talk I look at Declarative Programming and Knowledge Representation as an attempt to bring axiomatic method of mathematics to the realm of Computer Science. Several great discoveries and inventions from these areas will be illustrated by a number of examples. These will include the idea of non-monotonic logics, elaboration tolerance, declarative programming, Answer Set Prolog and its extensions, representation and reasoning with recursive definitions, defaults and their exceptions, effects of actions (including a solution of the Frame problem), reasoning combining probability and logic, etc. I also briefly describe the role of these ideas in industrial applications and outline several important open problems.

This talk is part of the IRLab Seminars: Robotics, Computer Vision & AI series.

This talk is included in these lists:

• IRLab Seminars: Robotics, Computer Vision & AI
• https://bham-ac-uk.zoom.us/j/87226121041?pwd=cXdlK3U5YjFuZ3YyZWxPQVAwMWthZz09

Note that ex-directory lists are not shown.