Subject description - AE4M33RZN

Summary of Study | Summary of Branches | All Subject Groups | All Subjects | List of Roles | Explanatory Notes               Instructions
AE4M33RZN Advanced Methods for Knowledge Representation Extent of teaching:2P+2C
Guarantors:  Roles:PO,V Language of
teaching:
EN
Teachers:  Completion:Z,ZK
Responsible Department:13136 Credits:6 Semester:Z

Anotation:

This course aims to deepen understanding of knowledge representation principles beyond the predicate logic formalism. Firstly, the course presents ontologies and description logic, the principle elements of semantic web. Then, attention will be paid to statements whose validity varies in time. Uncertainty makes the next issue to be discussed. Modal logic extends the classical logic with additional modalities, namely, possibility, probability, and necessity. Probabilistic graphical models associate the classical probabilistic theory with the graph theory. Fuzzy sets allow to represent vagueness.

Study targets:

To learn advanced formalisms for representation of structured and uncertain knowledge.

Course outlines:

1. Introduction frames and ontologies.
2. Description logic language and its expressivity, interactions with rule-based systems.
3. Description logic inference, tableuax method.
4. Description queries forming and evaluation. Inconsistency in ontologies.
5. Tractable fragments of description logic. Present and future of semantic web.
6. Uncertainty and conditional independence introduction to probabilistic networks.
7. Bayesian networks -- inference.
8. Learning Bayesian networks from data.
9. Dynamic models applications of probabilistic networks.
10. Uncertainty and its representation in knowledge-based systems.
11. Fuzzy sets and their representations.
12. Fuzzy numbers and operations with them.
13. Operations with fuzzy sets.
14. Algebra of fuzzy logical operations.

Exercises outline:

1. Introduction, ontological editor Protege. OWL language modeling, examples. The first assignment.
2. Inference engine Pellet. The first assignment -- autonomous working.
3. Query language SPARQL. The first assignment -- autonomous working.
4. Overview of modeling faults. Test.
5. Modalities and time in logic systems -- reminder.
6. SW probabilistic modeling tools (Bayes Net Toolbox for Matlab). The second assignment.
7. Inference in probabilistic models. The second assignment -- autonomous working.
8. Learning probabilistic models from data. The second assignment -- autonomous working.
9. Overview of probabilistic models. Test.
10. Conversion between representations of fuzzy sets.
11. Fuzzy numbers and operations with them; the third assignment: computing with fuzzy numbers.
12. Operations with fuzzy sets.
13. Properties of fuzzy logical operations, test.
14. Backup, credits.

Literature:

[1] Franz Baader , Diego Calvanese , Deborah L. McGuinness , Daniele Nardi , Peter F. Patel-Schneider, The Description Logic Handbook, Cambridge University Press, New York, NY, 2007.
[2] Baader, F., Sattler U.: An overview of tableau algorithms for description logics ; Studia Logica, 69:5-40, 2001.
[3] Charniak, E.: Bayesian Networks without Tears. AI Magazine 12(4): 50-63, 1991.
[4] Pearl , J.: Causality: Models, Reasoning and Inference. Cambridge University Press, 2001.
[5] Nguyen, H.T., Walker, E.A.: A First Course in Fuzzy Logic. 3rd ed., Cha- pman & Hall/CRC, Boca Raton/London/New York/Washington, 2005.

Requirements:

Topics contained in courses A4B33ZUI and A0B01PSI.

Webpage:

http://cw.felk.cvut.cz/doku.php/courses/ae4m33rzn/start

Keywords:

ontology, description logic, conditional independence, bayesian network, fuzzy set and operation.

Subject is included into these academic programs:

Program Branch Role Recommended semester
MEKME1 Wireless Communication V 1
MEKME5 Systems of Communication V 1
MEKME4 Networks of Electronic Communication V 1
MEKME3 Electronics V 1
MEKME2 Multimedia Technology V 1
MEOI1 Artificial Intelligence PO 1
MEOI1 Artificial Intelligence V
MEOI5NEW Software Engineering V
MEOI5 Software Engineering V
MEOI4 Computer Graphics and Interaction V
MEOI3 Computer Vision and Image Processing V
MEOI2 Computer Engineering V
MEEEM1 Technological Systems V 1
MEEEM5 Economy and Management of Electrical Engineering V 1
MEEEM4 Economy and Management of Power Engineering V 1
MEEEM3 Electrical Power Engineering V 1
MEEEM2 Electrical Machines, Apparatus and Drives V 1
MEKYR4 Aerospace Systems V 1
MEKYR1 Robotics V 1
MEKYR3 Systems and Control V 1
MEKYR2 Sensors and Instrumentation V 1


Page updated 6.12.2019 17:52:32, semester: Z,L/2020-1, L/2018-9, Z,L/2019-20, Send comments about the content to the Administrators of the Academic Programs Proposal and Realization: I. Halaška (K336), J. Novák (K336)