|
Veranstalter
|
|
Christopher Habel
|
|
Zeit/Ort
|
|
Fr 11-14 F-635 |
|
Aktuelles
|
|
Unterrichtssprache ist Englisch.
|
|
Inhalt
|
|
The lecture presents methods of knowledge representation and processing of knowledge
from a theoretical as well as from an application oriented perspective. The theoretical
concepts are exemplified in the areas of common sense reasoning, of intelligent agents -
both virtual agents and robots - and of intelligent information processing.
Major
topics are:
- Logics, reasoning, production systems, object-oriented representations (e.g.
frames)
- Belief revision and belief maintenance
- Constraint based reasoning (Space and time)
- Non-deductive reasoning: inheritance, defaults, non-monotonic reasoning, abductive
reasoning
- Vague, unprecise and uncertain knowledge, probabilistic reasoning, causal nets and
causal reasoning
- Reasoning about action. Situation Calculus
|
|
Literatur
|
|
Ronald J. Brachman & Hector J. Levesque. (2004). Knowledge Representation and
Reasoning. San Francisco, CA: Morgan Kaufmann
Stuart Russell & Peter Norvig (2003).
Artificial intelligence: A modern approach. Upper Saddle River, NJ: Prentice Hall - Pearson |
|
Folien
|
|
1. Introduction: Knowledge representation & agents
Slides
- 19.10.12 & 26.10.12: The role of representations for intelligent behavior;
Knowledge representation, knowledge processing and problem solving; Knowledge
representation & intelligent agents, Towards a theory of intelligent agents:
Agents and environments; Types of agent architectures; Knowledge representation,
intelligent agents & logics
- 26.10.12 & 02.11.12: A fast track to formal logics: Some fundamental concepts
Slides
2. Tell & Ask: a logical perspective
- 02.11.12 & 09.11.12: Propositional attitudes, epistemic and deontic logic,
logic of questions and answers Slides
- 09.11.12 & 16.11.12: Belief revision: criteria for rational belief change,
AGM-approach, belief-change operator Slides (update)
3. Reasoning under uncertainty
- 23.11.12 & 30.11.12: Introduction: non-deductive reasoning, knowledge gaps
& knowledge deficits, object-centered representations: frames; Inheritance:
Inheritance nets and their relation to logics Slides
- 30.11.12 & 07.12.12 & 14.12.12: Defaults: Introduction: types of defaults.
Defaults in data bases and questions-answering: closed world assumption, domain
closure assumption; Reiter's default logic: the basic concepts, Syntax and
semantics, extensions, types of defaults; beyond Reiter's default logic:
Antoniou's operalization of Reiter's logic; Default theories and
prioritization Slides
4. Changes, Actions and Instructions
- 21.12.12: Introduction: Reasoning about actions & planning. STRIPS -
Representations and production systems; Situation Calculus Slides
5. Reasoning about Time, Space and Events
- 11.01.13: Structured Domains: Introduction to Time, Space and Events Slides
|
