Knowledge Modelling and Representation given by Anders Kofod-Petersen and Björn Gambäck.
A selected set of papers and textbook chapters related to knowledge representation will be discussed. The main course book is Han Reichgelt 1991: Knowledge Representation: An AI Perspective, with further articles as described below.
The course will be run as colloquiums and lectures. The first lecture will be Friday August 26th, at 10.15 in room F4. Lectures and colloquiums will be every week (see preliminary schedule below). The first meeting will be a general introduction to the subject.
Students are expected to show up well prepared, present papers and contribute to discussions!
Precentation and opposing list
| Date | Type | Lecturer | Topic | Material |
|---|---|---|---|---|
| 26/8 | L | AKP BG |
Overview and Introduction | R. Davis et al. 1993: What is a Knowledge Representation? Reichgelt, Chapter 1: What is Knowledge Representation? J. Little & R. Parker 2010: How to read a scientific paper Slides |
| 2/9 | L | AKP | Knowledge levels Problems |
P. Cohen & A. Howe 1988: How evaluation guides AI research A. Newell 1981: The knowledge level Reichgelt, Chapter 2: Some General Problems in Knowledge Representation |
| 9/9 | L | BG | Frame representation Frame problem |
D. Dennett 1984: Cognitive Wheels: The Frame Problem of AI Reichgelt, Chapter 6: Frame-based Representation Languages Slides |
| 16/9 | L | AKP | Knowledge acquisision | M. Musen 1992: An Overview of Knowledge Acquisition N. Noy & D. McGuinness 2001: Ontology Development 101: A Guide to Creating Your First Ontology |
| 23/9 | C | AKP | Logics | N. Nilsson 1990: Logic and artificial intelligence L. Birnbaum 1991: Rigor mortis: a response to Nilsson's "Logic and artificial intelligence" |
| 30/9 | L | BG | Production rules Linguistics |
M. Sahlgren 2005: An Introduction to Random Indexing Slides |
| 7/10 | C | AKP | No representation | R. Brooks 1991: Intelligence without representation A. Markman & E. Dietrich 2000: In defence of representation |
| 14/10 | C | AKP | Description logics OWL |
F. Baader et al. 2005: Description Logics as Ontology Languages for the Semantic Web T. Burners-Lee et al. 2001: The semantic web |
| 21/10 | C | AKP | Semantic nets | Reichgelt, Chapter 5: Semantic Nets S. Peters & H. Shrobe: Using Semantic Networks for Knowledge Representation in an Intelligent Environment |
| 28/10 | L | BG | Quasi representation | H. Bunt 2007: Semantic Underspecification: Which Technique for What Purpose? Slides Further reading: E. König and U. Reyle: A General Reasoning Scheme for Underspecified Representations |
| 4/11 | E | SZ | ||
| 11/11 | C | BG | Artificial neural networks | Reichgelt, Chapter 8: Parallel Distributed Processing P. Gärdenfors 2005: How Logic Emerges from the Dynamics of Information K. Downing 2010: Introduction to Artificial Neural Networks Further reading: J. Fodor & Z. Pylyshyn 1988: Connectionism and Cognitive Architecture: A Critical Analysis P. Smolensky 1988: Connectionism, Constituency, and the Language of Thought J. Fodor & B. McLaughlin 1990: Connectionism and the Problem of Systematicity: Why Smolensky's Solution Doesn't Work |
| 18/11 | C | AKP | Fuzzy | Trabia et al.,: A two-stage fuzzy logic controller for traffic signals L. A. Zadeh: Is there a need for fuzzy logic? H. Seraji & A. Howard: Behavior-Based Robot Navigation on Challenging Terrain: A Fuzzy Logic Approach |
| 25/11 | M | AKP BG |
Summary and Q&A | |
| 19/12 | E |
| Cristina Companys-Antunez | ||
| Present | Is there a need for fuzzy logic? | |
| Oppose | Description Logics as Ontology Languages for the Semantic Web | |
| Cake | ||
| Kai Olav Ellefsen | ||
| Present | Rigor mortis: a response to Nilsson's "Logic and artificial intelligence" | |
| Oppose | Behavior-Based Robot Navigation on Challenging Terrain: A Fuzzy Logic Approach | |
| Cake | 14/10 | |
| Sigurd Fosseng | ||
| Present | A two-stage fuzzy logic controller for traffic signals | |
| Oppose | Behavior-Based Robot Navigation on Challenging Terrain: A Fuzzy Logic Approach Is there a need for fuzzy logic? |
|
| Cake | ||
| Paul Ingebrigt Huse | ||
| Present | Semantic nets 1 | |
| Oppose | Rigor mortis: a response to Nilsson's "Logic and artificial intelligence" | |
| Cake | ||
| Ulf Nore | ||
| Present | Logic and artificial intelligence | |
| Oppose | Is there a need for fyzzy logic? | |
| Cake | ||
| Noelia María Pérez-Palma | ||
| Present | Behavior-Based Robot Navigation on Challenging Terrain: A Fuzzy Logic Approach | |
| Oppose | The semantic web | |
| Cake | ||
| Håkon Drolsum Røkenes | ||
| Present | The semantic web | |
| Oppose | Semantic nets 1 | |
| Cake | ||
| Ole Mikkel Sjølie | ||
| Present | ||
| Oppose | ||
| Cake | ||
| Christian Berg Skjetne | ||
| Present | Description Logics as Ontology Languages for the Semantic Web | |
| Oppose | Semantic nets 2 | |
| Cake | ||
| Nafiseh Shabib | ||
| Present | Semantic nets 2 | |
| Oppose | Logic and artificial intelligence | |
| Cake |
For nærmere informasjon om emnet, kontakt faglærer Anders Kofod-Petersen.