<?xml version="1.0" encoding="ISO-8859-1"?>
<!DOCTYPE MD PUBLIC "http://www.cs.bham.ac.uk/modules/MD.dtd" "../../MD.dtd">

<MD code="18184" academic-yr="2004">

<LastUpdate>5 Nov 2004</LastUpdate>

<Aims>
  <Aim>provide a general introduction to the techniques and theories of Artificial Intelligence and Cognitive Science, building on material provided elsewhere</Aim>
  <Aim>present Artificial Intelligence as a computational theory of intelligence</Aim> 
  <Aim>give a deeper understanding of themes such as representation, heuristics and search that underly the main subfields of AI</Aim>
  <Aim>introduce logic as a formalism for representation and reasoning</Aim>
  <Aim>demonstrate the need for different approaches for different problems</Aim>
</Aims>

<Outcomes>
  <Outcome>describe the ideas, issues, problems and techniques in some
    of the main subfields of Artificial Intelligence and Cognitive Science,
    including Cognitive Psychology, Search, Rule
    Based Systems, Logic, Reasoning, Vision, Robotics, Natural Language
    Processing and Adaptive Computation
	<Assessed>Continuous assessment, examination</Assessed>
  </Outcome>
  <Outcome>identify and describe some basic structures and mechanisms forming
    the biological basis of intelligent behaviour
	<Assessed>Continuous assessment, examination</Assessed>
  </Outcome>
  <Outcome>explain and discuss some computational models in
    Cognitive Science
	<Assessed>Continuous assessment, examination</Assessed>
  </Outcome>
  <Outcome>discuss the philosophical issues arising from such
    computational models 
    <Assessed>Continuous assessment, examination</Assessed>
  </Outcome>
  <Outcome>explain the most important knowledge representation formalisms and
    why they are needed, discussing their advantages and disadvantages
	<Assessed>Continuous assessment, examination</Assessed>
  </Outcome>
  <Outcome>apply these knowledge representation formalisms
    to example problems
	<Assessed>Continuous assessment, examination</Assessed>
  </Outcome>
  <Outcome>employ the first order predicate calculus as a formalism for
      representation and reasoning
    <Assessed>Continuous assessment, examination</Assessed>
  </Outcome>
  <Outcome>describe the uses and limitations of logic in AI and discuss
    alternatives
    <Assessed>Continuous assessment, examination</Assessed>
  </Outcome>
  <Outcome>describe, analyse and critically discuss a variety of AI
    techniques and apply them to example problems
    <Assessed>Continuous assessment, examination</Assessed>
  </Outcome>
  <Outcome>provide examples of AI systems and applications, and explain
    common techniques, differences and limitations
	<Assessed>Continuous assessment, examination</Assessed>
  </Outcome>
  <Outcome>explain and apply simple experimental techniques to AI
    and Cognitive Science problems
	<Assessed>Continuous assessment, examination</Assessed>
  </Outcome>
</Outcomes>

<Restrictions>
  <P>None</P>
</Restrictions>

<Prereqs>
  <P>None</P>
</Prereqs>

<Coreqs>
  <P><Code>18188</Code>, <Code>18185</Code></P>
</Coreqs>

<Teaching>
  <P>3 hrs/week of lectures and exercise classes in Semester 1, 4 hrs/week in Semester 2</P>
</Teaching>

<ContactHrs>Approximately 81</ContactHrs>

<Assessment>
  <P>2 hr examination (60%), continuous assessment (40%). Resit by examination only.</P>
</Assessment>

<Summary>This module provides a general introduction to Artificial
      Intelligence and Cognitive Science, including an introduction to each of
      their main subfields.  The focus of the module is on
      AI as a science of intelligence.</Summary>

<Syllabus>
  <P>Illustrative only -- under development.</P>
  <Topic> Cognitive Psychology
    </Topic>
  <Topic> Cognitive Science
    </Topic>
  <Topic> Informed Search and Planning
    </Topic>
  <Topic> Rule Based Systems
    </Topic>
  <Topic> Propositional Logic
    </Topic>
  <Topic> Predicate Logic
    </Topic>
  <Topic> Resolution theorem proving
    </Topic>
  <Topic> Vision and Robotics
    </Topic>
  <Topic> Natural Language Processing
    </Topic>
  <Topic> Experimental techniques
    </Topic>
  <Topic> Reasoning
    </Topic>
  <Topic> Knowledge Representation
    </Topic>
  <Topic>Limitations and Misconceptions of AI
    </Topic>
  <Topic> Philosophical Issues
    </Topic>
</Syllabus>

<Books>
  <Book>
    <Title>Artificial Intelligence: A Modern Approach (2nd edn)</Title>
    <Author>S Russell &amp; P Norvig</Author>
	<Publisher>Prentice Hall</Publisher>
    <Year>2003</Year>
	<Comment>The book that ties in most closely with the module</Comment>
  </Book>
  <Book>
    <Title>Artificial Intelligence: A New Synthesis</Title>
    <Author>N J Nilsson</Author>
	<Publisher>Morgan Kaufmann</Publisher>
    <Year>1998</Year>
	<Comment>A good modern book</Comment>
  </Book>
  <Book>
    <Title>Artificial Intelligence</Title>
    <Author>Rob Callan</Author>
	<Publisher>Palgrave Macmillan</Publisher>
    <Year>2003</Year>
	<Comment>A good modern book</Comment>
 </Book>
</Books>

<Links>
  <P>See the <A href="http://www.cs.bham.ac.uk/~adc/aicog.html">Module Web Page</A> for module information and resources.
        </P>
</Links>

</MD>
