Module 20417.1 (2007)
Syllabus page 2007/2008
06-20417
AI Principles
Level 1/C
John Barnden
Dean Petters
John Barnden (coordinator)
Dean Petters
John Barnden (coordinator)
10+10 credits in Semester 1 and Semester 2
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.)
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 | Examination |
| 2 | describe and apply some simple search algorithms | Examination |
| 3 | outline the processes involved in rule-based systems and in building such systems | Examination |
| 4 | discuss the importance of learning in intelligent systems, and how it can be implemented | Examination |
| 5 | provide examples of AI systems and applications, and explain common techniques, differences and limitations | Continuous Assessment, Examination |
| 6 | provide examples of different types of AI systems, and explain their differences, common techniques, and limitations | Continuous Assessment, Examination |
| 7 | describe and evaluate some of the most important knowledge representation formalisms and explain why they are needed, discussing their advantages and disadvantages | Continuous Assessment, Examination |
| 8 | apply these knowledge representation formalisms to unseen examples | Continuous Assessment, Examination |
| 9 | describe and discuss Cognitive Science, its subfields and relationship to AI, and some computational models in Cognitive Science | Examination |
| 10 | employ the first order predicate calculus as a formalism for representation and reasoning, and describe its strengths 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: 9 Oct 2007
Source file: /internal/modules/COMSCI/2007/xml/20417.xml
Links | Outline | Aims | Outcomes | Prerequisites | Teaching | Assessment | Books | Detailed Syllabus