E3.16 Artificial Intelligence
L5. Informed Search
Slide No. 1
Informed Search
Aims:
to introduce the idea of an informed search strategy,
which can find solutions more efficiently than
uninformed ones
to introduce and illustrate the use of heuristics in
E3.16 Artificial Intelligence
L4. Uninformed Search
Slide No. 1
Uninformed Search
Aims:
describe a number of algorithms for searching a state
space in a systematic, if uninformed, fashion
specify the extensions to the general graph search
algorithm requ
E3.16 Artificial Intelligence
L3. Problem Solving by Search
Slide No. 1
General Problem Solving Search
Aims:
to define a problem space as a graph and to consider
different ways (algorithms) for searching it
to provide a formal basis for comparing differ
E3.16 Artificial Intelligence
L2. Declarative Notation for AI
Slide No. 1
Declarative Notation for AI
Aims:
to introduce a declarative notation for AI, used to
specify algorithms for machine intelligence
to give an intuitive idea of how to represent the
E3.16 Artificial Intelligence
L6. Two Player Search
Slide No. 1
Game Playing
Aims:
to extend the analysis of puzzle solving search to
game playing search, where there is less control over
the way the state space is searched
to introduce algorithms for e
E3.16 Artificial Intelligence
L7. Path Planning
Slide No. 1
Path Learning & Planning
Aims:
to introduce methods for mobile (physical) robots can
use AI search techniques to learn (an unknown) and
navigate (a known) environment
to introduce reinforcement
Agents & Multi-Agent
Systems
Aims
To introduce multi-agent systems and
intelligent agents in distributed computing
To present issues and applications of agents
and multi-agent systems
Objectives
To bring together planning and reasoning
parts of the c
E3.16 Artificial Intelligence
L11. Practical Reasoning
Slide No. 1
Practical Reasoning
Aims:
to introduce basic modal logic, the logic of qualified
truth
its syntax, intended meaning, and formal semantics
to
discuss the different types of normal modal
E3.16 Artificial Intelligence
L10. Automated Reasoning
Slide No. 1
Automated Reasoning with KE
Aims:
to introduce automated (practical) reasoning based on a
proof procedure for the calculus KE, which combines:
the deduction element of natural deduction
E3.16 Artificial Intelligence
L9. Knowledge Representation
Slide No. 1
Logic for/as Knowledge Representation
Aims:
to show how formal logic (propositional logic and
predicate calculus) can be used to represent real
world knowledge
to introduce the idea