Intelligent Systems II

information | course material | past exam papers | previous course materials

Lecturer	Alexandru Baltag
Degrees	Part B, Honour School of Computer Science Part B, Honour School of Mathematics and Computer Science ECS Part II, MEng Engineering and Computing Science Hilary Term, MSc in Computer Science MSc by Research
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.

Aditional Reading Material (optional):

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".