Reasoning in software systems 1000-2N09WSS
1. Introduction to modeling and practical reasoning in logics.
2. Planning in intelligent systems.
3. Deductive databases and knowledge representation.
4. Reasoning in artificial intelligence.
5. Foundations of Semantic Web.
6. Modeling partial knowledge, inconsistency and uncertainty.
7. Fuzzy modeling.
8. Modal and temporal reasoning.
Type of course
Prerequisites
Course coordinators
Learning outcomes
Knowledge
1. Has firm theoretical knowledge concerning complexity, deductive databases, software engineering used in intelligent systems (K_W02).
2. Has knowledge about information management, including deductive databases, logical data modeling and information retrieval (K_W08).
3.Knows logical methods of defining semantics of programs together with their mathematical foundations and practical techniques as well as correctness of programs and techniques and formalisms of proving correctness (K_W13).
Skills
1. Ability to apply mathematical knowledge in formulating, analyzing and solving tasks of medium difficulty level as well as to use new techniques in own research work (K_U01).
2. Ability to fid information from the literature, knowledge bases, Internet, and other reliable sources as well as integrate, interpret them, derive conclusions and formulate opinions (K_U02).
3. Ability to understand a specification of language semantics and to apply formal semantics in reasoning about correctness of programs.
4. Ability to formulate database queries in selected query languages (K_U19).
Competences
1. Understanding of limitations of own knowledge and the need for further studies, including knowledge from other areas (K_K01)
2. Ability to search for relevant information in literature, also in foreign languages (K_K04).
Assessment criteria
Lessons: grading based on hand-in exercises related to reasoning techniques adequate for a given application.
Exam: oral.
The course can be taken in a PhD programme as a "methodological" one. In that case, there is an additional requirement of solving an expanded part of the hand-n exercises.
Bibliography
1. S. Abiteboul, R. Hull, V. Vianu: Foundations of Databases, Addison-Wesley Pub. Co., 1996.
2. M. Ben-Ari: Mathematical Logic for Computer Science, Springer, 2012.
3. M. Huth, M. Ryan: Logic in Computer Science. Modeling and Reasoning about Systems, Cambridge University Press, 2004.
Additional information
Information on level of this course, year of study and semester when the course unit is delivered, types and amount of class hours - can be found in course structure diagrams of apropriate study programmes. This course is related to the following study programmes:
- Bachelor's degree, first cycle programme, Computer Science
- Master's degree, second cycle programme, Computer Science
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: