Next: Logic Programming
Up: Descriptions of Courses and
Previous: Introduction to Vision and
Contents
Subsections
Here are links to the
course home page
and
the formal TQA
description.
The module looks at languages and techniques for encoding, sharing,
and reasoning with information represented in symbolic fashion.
It also covers methodologies important to the development and
application of knowledge based systems in the context of
the internet.
- The notion of symbolic representation
- Logic as a representation language and deduction as inference
- Modal logic and associated decision procedures
- Reason maintenance systems
- Distributed constraints and distributed search
- Knowledge acquisition methodologies
- Ontologies as a basis for structuring knowledge bases
- Distributed multi-agent architectures
- Reasoning about intentional agents
Two practical exercises.
References:
[] Course notes will be made available.
** Ronald Fagin et al., Reasoning about knowledge,
MIT Press.
Next: Logic Programming
Up: Descriptions of Courses and
Previous: Introduction to Vision and
Contents
Colin Stirling
2006-01-05