![]() |
![]() |
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 listsType the title of a new list here Contemporary History Seminar Metamaterials Research Group SeminarsOther talksModelling uncertainty in image analysis. Antidirected subgraphs of oriented graphs Seminar: TBA Well Founded Coalgebras Geometry of alternating projections in metric spaces with bounded curvature Cost optimisation of hybrid institutional incentives for promoting cooperation in finite populations |