![]() |
![]() |
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 RepresentationAdd 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. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsComputer Science Departmental Series Cargo IMA West Midlands BranchOther talksWave turbulence in the Schrödinger-Helmholtz equation TBA Horizontal Mean Curvature Flow and stochastic optimal controls Life : it’s out there, but what and why ? TBA The tragic destiny of Mileva Marić Einstein |