Formalizing knowledge
BASIC DATA
course listing
A - main register
course code
ITI8700
course title in Estonian
Teadmiste formaliseerimine
course title in English
Formalizing knowledge
course volume CP
-
ECTS credits
6.00
to be declared
yes
assessment form
Examination
teaching semester
spring
language of instruction
Estonian
English
Study programmes that contain the course
Structural units teaching the course
IT - Department of Software Science
Timetable link
Version:
VERSION SPECIFIC DATA
course aims in Estonian
Mõista teadmiste formaliseerimise ja masintöötlemise võimalusi, põhimõtteid, rakendusvaldkondi ja töövahendeid. Saada aru mitmete tuntumate loogikasüsteemide teoreetilistest alustest ja praktilise rakendamise viisidest. Osata kasutada järeldusmootoreid ja tunda nende võimalusi ning piiranguid. Mõista probleeme, mis tekivad loomulikul keelel baseeruvate küsimus-vastussüsteemide realiseerimisel.
course aims in English
Understanding the choices, principles, application areas and tools for formalizing knowledge. Understanding both the theoretical grounds and practical application of several widely used systems of logic. Being able to use the tools of automated reasoning, knowing their capabilities and limits. Knowing the challenges facing the implementation of question answering systems for natural language.
learning outcomes in the course in Est.
Lõpetaja
* Mõistab teadmiste formaliseerimise peamisi põhimõtteid, võimalusi ja probleeme.
* Oskab kasutada ning koostada tõestusi mitmes loogikasüsteemis, mh predikaatarvutuses, kirjeldusloogikas ning ajaloogikas.
* Saab aru erinevate loogikasüsteemide semantikast.
* On kursis teadmiste hajutatud esitamise ning sidumise tehnoloogiatega.
* Oskab kasutada erinevaid järeldusmootoreid ja mõistab nende võimalusi ja piiranguid.
* On kursis loomulikus keeles esitatud teadmiste formaliseerimise võimalustega.
* Mõistab teadmiste formaliseerimise peamisi põhimõtteid, võimalusi ja probleeme.
* Oskab kasutada ning koostada tõestusi mitmes loogikasüsteemis, mh predikaatarvutuses, kirjeldusloogikas ning ajaloogikas.
* Saab aru erinevate loogikasüsteemide semantikast.
* On kursis teadmiste hajutatud esitamise ning sidumise tehnoloogiatega.
* Oskab kasutada erinevaid järeldusmootoreid ja mõistab nende võimalusi ja piiranguid.
* On kursis loomulikus keeles esitatud teadmiste formaliseerimise võimalustega.
learning outcomes in the course in Eng.
On completion of the module the student will be able to:
* Understand the main principles, choices and problems of knowledge representation.
* Construct and reason about proofs in several logics including predicate logic, description logic and temporal logic.
* Understand the semantics of several logics.
* Use the methods for distributed representation and integration of knowledge.
* Use different reasoning tools and understand their capabilities and limits.
* Understand the methods for formalizing knowledge presented in natural language.
* Understand the main principles, choices and problems of knowledge representation.
* Construct and reason about proofs in several logics including predicate logic, description logic and temporal logic.
* Understand the semantics of several logics.
* Use the methods for distributed representation and integration of knowledge.
* Use different reasoning tools and understand their capabilities and limits.
* Understand the methods for formalizing knowledge presented in natural language.
brief description of the course in Estonian
Kursus annab ülevaate olulisematest teadmiste formaliseerimise meetoditest ning eri valdkondade jaoks sobivatest loogikasüsteemidest koos praktilise oskusega neid meetodeid ja tarkvaravahendeid rakendada.
brief description of the course in English
The course gives an overview of the main methods for formalizing knowledge along with the systems of logics suitable for different application areas and the practical competence to use these methods and software tools.
type of assessment in Estonian
-
type of assessment in English
-
independent study in Estonian
-
independent study in English
-
study literature
Kursuse veebilehel https://courses.cs.ttu.ee/pages/Teadmiste_formaliseerimine
study forms and load
daytime study: weekly hours
4.0
session-based study work load (in a semester):
lectures
2.0
lectures
-
practices
1.0
practices
-
exercises
1.0
exercises
-
lecturer in charge
-
LECTURER SYLLABUS INFO
semester of studies
teaching lecturer / unit
language of instruction
Extended syllabus
2024/2025 spring
Tanel Tammet, IT - Department of Software Science
Estonian