University of Birmingham > Talks@bham > IRLab Seminars: Robotics, Computer Vision & AI > Some Thoughts on Logic, Declarative Programming, and Knowledge Representation

Some Thoughts on Logic, Declarative Programming, and Knowledge Representation

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.