Intelligent Systems II: 2009-2010
Lecturer | |
Degrees | Schedule B2 — Computer Science Schedule B2 — Mathematics and Computer Science ECS Part II — MEng Engineering and Computing Science |
Term | Hilary Term 2010 (16 lectures) |
Overview
To build on the introductory material from Intelligent Systems I and look at the issues involved in practical intelligent systems. In particular the course considers problems (such as learning, uncertain information, common-sense reasoning, timeliness, inexact control, dynamic environments and multi-agent interaction) that are found when dealing with embodied agents (e.g., robots).Synopsis
- Learning. Supervised learning with examples: decision trees, neural networks etc. Reinforcement learning, parameter estimation. [3]
- General Bayesian networks. [2]
- Logical Agents. Theorem proving in propositional and predicate logic. Resolution and unification. Logic programming and Prolog. Answer set programming. [5]
- Common sense reasoning: Default Reasoning and Non-monotonic Logics. (Single-Agent and Interactive) Belief Revision. Notions of Situation Calculus and Dynamic Logic.[6]
Syllabus
Learning in intelligent systems.
General inference in Bayesian networks.
Logic, knowledge and belief representation and reasoning.
Logic programming and notions of Prolog.
Non-monotonic reasoning, common-sense reasoning, knowledge update and belief revision.
Examples.
Reading list
- S. J. Russell and P. Norvig, Artificial Intelligence: A Modern Approach (2nd ed), Prentice-Hall, 2001.
- Handbook of Logic of Artificial Intelligence and Logic Programming, Vol. 4, pp. 35-132. Oxford University Press. 1995. In particular: the chapter on ``Belief Revision" by P. Gardenfors and H. Rott.
- I. Bratko, Prolog Programming for Artificial Intelligence (3rd ed), Addison-Wesley, 2000.
- J.-J.Ch. Meyer &W. van der Hoek, Epistemic Logic for Computer Science and Artificial Intelligence, Cambridge Tracts in Theoretical Computer Science 41, Cambridge University Press (1995) ISBN 0 521 46014.
- Stanford Encyclopedia of Philosophy. At http://plato.stanford.edu/ . In particular: the articles on ``Non-monotonic Logic", ``Defeasible Reasoning: Belief Revision" and ``Logics of Belief Revision".
- P. Gardenfors. Belief Revision. Cambridge University Press. 1992.
- Wikipedia: article on ``Belief Revision".
Taking our courses
This form is not to be used by students studying for a degree in the Department of Computer Science, or for Visiting Students who are registered for Computer Science courses
Other matriculated University of Oxford students who are interested in taking this, or other, courses in the Department of Computer Science, must complete this online form by 17.00 on Friday of 0th week of term in which the course is taught. Late requests, and requests sent by email, will not be considered. All requests must be approved by the relevant Computer Science departmental committee and can only be submitted using this form.