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.

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.

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.

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.

Kursus annab ülevaate olulisematest teadmiste formaliseerimise meetoditest ning eri valdkondade jaoks sobivatest loogikasüsteemidest koos praktilise oskusega neid meetodeid ja tarkvaravahendeid rakendada.

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.

-

-

-

-

Kursuse veebilehel https://courses.cs.ttu.ee/pages/Teadmiste_formaliseerimine

-