Reasoning in software systems

elective monographs

Mathematical logic 1000-212aLOG

The lecture covers modeling and reasoning methods applied in the design of intelligent systems. It covers such applications of logical formalisms as planning, databases, knowledge representation, Semantic Web, autonomous systems, etc. Along with knowledge of the key automated reasoning techniques applied in the addressed application areas, it develops the corresponding modeling skills. Selected rule engines used as reasoning tools are also discussed.

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.

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.

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).

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.