Rolf Ploetzner
Abstract
The Formal Representation of Scientific Knowledge with
Prolog
1. Theoretical foundations of knowledge-based
systems
2. Design of knowledge-based systems:
- Architecture
- Models of competence and models
of performance
3. Knowledge representation:
- Analogic knowledge
- Propositional knowledge
- Rule-based knowledge
4. Knowledge representation with Prolog:
- Logic
- Prolog
5. An example: A compentence model of knowledge
about qualitative and quantitative aspects of
classical mechanics
- Modeling goal
- Architecture
- Representation of knowledge
- Performance
6. Problems of logic-based knowledge representation