Knowledge-Based Systems

Lecturer:

Petr Křemen, Kamil Matoušek (gar.)

Tutor:

Petr Křemen, Kamil Matoušek (gar.), Lenka Vysloužilová

Supervisor:

Department of Cybernetics

Synopsis:

The subject contains an overview of current knowledge-based systems and the basics of knowledge engineering from knowledge acquisition, through uncertainty processing to building a knowledge base as a part of real application. In the labs, the stress is put on practical getting familiar with concrete systems and applications including stand-alone work on appropriate assignments.

Requirements:

The students need to have previous knowledge of mathematical theory of probability.

Syllabus of lectures:

1. Historical overview of knowledge-based systems

2. Bayesian decision-making and Bayesian networks

3. Bayesian networks applications

4. Semantic nets and frames

5. Ontologies and topic maps

6. Description logic, inference

7. Semantic web - XML, RDF

8. Semantic web - OWL, SWRL and other

9. Conceptual graphs

10. Semantic annotation of electronic references

11. Uncertainty representation - probabilistic, fuzzy logic

12. Possibilistic theory, Dempster-Shafer theory

13. Relational database extensions, knowledge management

14. Knowledge acquisition, knowledge engineering

Syllabus of tutorials:

1. Introductory lab

2. Bayesian networks I - design

3. Bayesian networks II - implementation (Hugin, Netica)

4. Bayesian networks III - assignment submission

5. Ontologies I - design

6. Ontologies II - implementation (Protege, SWOOP, Topic Maps)

7. Ontologies III - assignment submission

8. Description logic

9. Conceptual graphs, written test

10. Semantic annotations in groups

11. Possibilistic uncertainty processing I - design

12. Possibilistic uncertainty processing II - implementation (Java, relational DB)

13. Possibilistic uncertainty processing III - assignment submission

14. Knowledge-based system applications, credits

Study Objective:

Study materials:

1. John F. Sowa: „Knowledge Representation: Logical, Philosophical, and Computational Foundations“, Brooks Cole Publishing Co., Pacific Grove, CA, 2000.

2. Steffen Staab, Rudi Struder: „Handbook on Ontologies“, Springer, 2004

3. Grigoris Antoniou, Frank van Harmelen: „A Semantic Web Primer“, MIT Press, London, 2004

4. XML Tutorial, http://www.w3schools.com/xml/

5. Sean Bechhofer, Ian Horrocks and Peter F. Patel-Schneider: „Tutorial on OWL“, http://www.cs.man.ac.uk/~horrocks/ISWC2003/Tutorial/

Note:

Further information:

No time-table has been prepared for this course

The course is a part of the following study plans:

• Inteligentní systémy (compulsory course)