|
Veranstalter
|
|
Christopher Habel
|
|
Zeit/Ort
|
|
Fr 12-14 F-334 |
|
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
- 21.10.11: The role of representations for intelligent behavior; Knowledge
representation, knowledge processing and problem solving; Knowledge representation
& intelligent agents
- 28.10.11: Towards a theory of intelligent agents: Agents and environments; Types
of agent architectures; Knowledge representation, intelligent agents &
logics
2. Tell & Ask: a logical perspective
Slides
- 04.11.11: Propositional attitudes, epistemic and deontic logic, logic of questions
and answers
3. Non deductive Reasoning
Slides
Slides
- 11.11.11: Introduction: Knowledge gaps and knowledge defects. Deductive vs.
non-deductive reasoning
Inheritance: Inheritance nets, paths as argumentations,
ambiguity, semantics of inheritance reasoning
- 25.11.11: 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
- 02.12.11: Reiter's default logic (cont'd): Syntax and semantics,
extensions, types of defaults
- 09.12.11: Reiter's default logic & beyond (cont'd): Antoniou's
operalization of Reiter's logic; Default theories and prioritization
2. Tell & Ask: a logical perspective (continued)
Slides
- 09.12.11 & 16.12.11: Belief revision: criteria for rational belief change,
AGM-approach, belief-change operators
4. Reasoning about time, space and events
Slides
Slides
- 13.01.12 & 20.01.12: Structured domains: Introduction to time, space and
events, Ontology of Time I (point structures): linear and branching time,
microstructure: discrete, dense, and continuous time
- 27.01.12 & 03.02.12: Ontology of Time II (period structures): qualitative
temporal reasoning; qualitative spatial reasoning; events; reference systems /
reference frames
|
