Knowledge representation
General data
Course ID: | 1000-2M11RW |
Erasmus code / ISCED: |
11.3
|
Course title: | Knowledge representation |
Name in Polish: | Reprezentacja wiedzy |
Organizational unit: | Faculty of Mathematics, Informatics, and Mechanics |
Course groups: |
(in Polish) Przedmioty obieralne na studiach drugiego stopnia na kierunku bioinformatyka Elective courses for Computer Science and Machine Learning Specific programme courses of 2nd stage Bioinformatics |
ECTS credit allocation (and other scores): |
(not available)
|
Language: | English |
Type of course: | elective monographs |
Short description: |
The course is aimed at introducing students to the conceptual knowledge representation. During classes students will be informed how to use knowledge base methodology in natural language processing, integration of different data models describing the same domains and in construction of semantic search engines. The issues of knowledge visualization and inference based on knowledge bases will be discussed. |
Full description: |
Knowledge representation in logic. The philosophical foundations of knowledge representation: ontological categories, concrete vs. abstract objects. Concepts and their properties (vagueness, object reference, meaning), propositions, inferences. Principles of knowledge representation and methods of representation: frames, rules, concepts. The differences between the concept based representation of knowledge and representation of knowledge based on logic or rules. Knowledge representation and natural language semantics Conceptual graphs Formal concept analysis: formal contexts, concept lattices and systems of implications Knowledge representation languages, Ontologies and semantic nets Methods of ontology representation Knowledge Bases: CYC, Dbpedia and others Integration of data models Semantic Search |
Bibliography: |
- John F. Sowa (2000) Knowledge representation. Logical, Philosophical and Computational Foundations, Brooks/Cole. - Dragan Gasević, Dragan Djurić, Vladan Devedzić (2009) Model Driven Engineering and Ontology Development, 2nd edition, Springer. - K.K. Breitman, M.A. Casanova, W. Truszkowski (2007) Semantic Web: Concepts, Technologies and Applications, Springer |
Learning outcomes: |
Knowledge: 1. has in-depth knowledge of fields of mathematics necessary to represent knowledge (the language of first order logic, lattice theory) (K_W01). 2. understands well the role and importance of construction of formal inferences in knowledge engineering (K_W02). 3. has knowledge about the tools and environments of knowledge representation (K_W10). 4. knows the methods of ontologies construction (K_W02). 5. has a basic knowledge of fundamental ontological categories independent of the field (K_W02). Skills: 1. has the ability to construct a domain model based on informal specification (K_U01). 2. analyzes the formalized concepts in selected logic systems of IT importance, creates in them formalizations of given concepts (K_U10). 3. has in-depth communication skills with experts who do not have IT knowledge (K_U11). 4. can describe selected IT problems and their solutions in a way understandable to non-computer scientist (K_U12). Competence: 1. knows the limits of own knowledge and understands the need for further education, including the acquisition of knowledge from outside the field of computer science (K_K01). 2. is able to precisely formulate questions aimed at deepening his/her own understanding of a given topic, especially in contacts with non-IT specialists (K_K02). 3. can present IT issues to non-IT specialists (K_K06). |
Assessment methods and assessment criteria: |
- class attendance (at seminars and labs) - doing programming and theoretical homework tasks - written exam - oral exam on the knowledge of theory presented at lectures |
Copyright by University of Warsaw.