Module 20417.1 (2006)
Syllabus page 2006/2007
06-20417
AI Principles
Level 1/C
Dean Petters
John Barnden (coordinator)
Links | Outline | Aims | Outcomes | Prerequisites | Teaching | Assessment | Books | Detailed Syllabus
The Module Description is a strict subset of this Syllabus Page. (The University module description has not yet been checked against the School's.)
Changes and updates
Book list updated.
Relevant Links
For module material and further useful links, see:
Semester 1 Web Page
Semester 2 Web Page
Outline
The module provides a general introduction to Artificial Intelligence and Cognitive Science, including an introduction to each of their main subfields. It presents AI as a science of intelligence.
Aims
The aims of this module are to:
- provide a general introduction to Artificial Intelligence (AI), its techniques and its main subfields, emphasizing the computational aspects
- show the relationships between Cognitive Science and AI
- give an overview of some key underlying ideas
- demonstrate the need for different approaches for different problems
- provide a foundation for further study of specific areas of AI
Learning Outcomes
| On successful completion of this module, the student should be able to: | Assessed by: | |
| 1 | recognise the important features of AI systems, and structure the field of AI into its main subfields | Examination |
| 2 | describe and discuss Cognitive Science, its subfields and relationship to AI, and some computational models in Cognitive Science | Examination |
| 3 | describe, apply and evaluate some AI representations and their uses | Continuous Assessment, Examination |
| 4 | discuss the importance of learning in intelligent systems, and how it might be implemented | Examination |
| 5 | employ the first order predicate calculus as a formalism for representation and reasoning, describe its limitations and discuss alternatives | Continuous Assessment, Examination |
| 6 | describe, analyse and critically discuss a variety of AI techniques and apply them to example problems | Continuous Assessment, Examination |
| 7 | provide examples of AI systems and applications, and explain common techniques, differences and limitations | Continuous Assessment, Examination |
Restrictions, Prerequisites and Corequisites
Restrictions:
None
Prerequisites:
None
Co-requisites:
06-18185 (AI Programming)
Teaching
Teaching Methods:
3 hrs/week of lectures, guest seminars, and exercise sessions
Contact Hours:
Assessment
- Sessional: 3 hr examination (80%), continuous assessment (20%).
- Supplementary (where allowed): Resit by examination only.
Recommended Books
| Title | Author(s) | Publisher, Date |
| Artificial Intelligence | Rob Callan | Palgrave Macmillan, 2003 |
| Artificial Intelligence: A Modern Approach | S. Russell & P. Norvig | Prentice Hall, 2003 |
| Artificial Intelligence (2nd edn) | E. Rich & K. Knight | McGraw Hill, 1991 |
| Artificial Intelligence: A New Synthesis | Nils Nilsson | Morgan Kaufmann, 1998 |
| Introduction to Expert Systems (3rd edn) | Peter Jackson | Addison Wesley, 1999 |
| Artificial Intelligence (3rd edn) | Patrick Winston | Addison Wesley, 1992 |
| Artificial Intelligence | Michael Negnevitsky | Addison Wesley, 2002 |
| Artificial Intelligence (5th edn) | George Luger | Addison Wesley, 2004 |
| Mind as Machine: A History of Cognitive Science. Two Volume set. | Margaret Boden | Clarendon Press, 2006 |
| The Mind's New Science | Howard Gardner | Basic Books, 1985 |
| Mind: Introduction to Cognitive Science | Paul Thagard | Bradford, 1996 |
| Mind Design II | John Haugeland | MIT Press, 1997 |
| Being there: Putting Brain, Body and World Together Again | Andy Clark | MIT Press, 1997 |
| Artificial Minds | Stan Franklin | Bradford, 1997 |
| Thinking on the Web: Berners-Lee, Godel, and Turing | H. Peter Alesso and Craig F. Smith | Wiley, 2006 |
| The Society of Mind | Marvin Minsky | Simon and Schuster, 1985 |
| The Sciences of the Artificial | Herbert Simon | MIT Press, 1996 |
| Matter and consciousness | Paul Churchland | MIT Press, 1999 |
| Godel, Escher Bach | Douglas Hofstader | Basic Books, 1979 |
Detailed Syllabus
- History of AI and Cognitive Science
- AI, modelling and simulation
- Search
- Logic
- Introduction
- Propositional logic
- First order predicate calculus
- Automating logical reasoning
- Introduction to other forms of logic
- Levels of description in cognitive science
- Rulebase arithmetic
- Learning
- Knowledge Representation
- Semantic networks
- Frames
- Semantic Web
- Planning
- Uncertainty
- Putting it all together
Last updated: 15 Jan 2007
Source file: /internal/modules/COMSCI/2006/xml/20417.xml
Links | Outline | Aims | Outcomes | Prerequisites | Teaching | Assessment | Books | Detailed Syllabus