Navigation

13D081AR - Automated Reasoning

Course specification
Course title Automated Reasoning
Acronym 13D081AR
Study programme Electrical Engineering and Computing
Module Applied Mathematics
Type of study doctoral studies
Lecturer (for classes)
Lecturer/Associate (for practice)
    Lecturer/Associate (for OTC)
      ESPB 9.0 Status elective
      Condition
      The goal Familiarize students with basic methods and techniques of automated reasoning and applications in mathematics, computer science and electrical engineering.
      The outcome Student is capable to recognize and solve some electrical engineering problems and computer science problems using appropriate ideas, techniques and methods of automated reasoning.
      Contents
      Contents of lectures Knowledge representation. Classical and non-classical logic. Deduction systems. Techniques and strategies of automated reasoning. Reasoning based on models; reasoning under certain conditions; time dependent reasoning, heuristic reasoning. Logic programming. Language processing. Software agents. Verification and control of software.
      Contents of exercises Solving diverse problems related to the theoretical component of the course.
      Literature
      1. S. Kleene: "Introduction to Metamathematics", North-Holland, 1952.
      2. L. Wallen: " Automated Proof -Search in Non-classical Logic", MIT Press, 1990.
      3. L. Wos at all: " Automated Reasoning: Intoroduction and Applications" McGraw-Hill, 1992.
      4. L. Wos: " Journal of Automated Reasoning, Special Issue: Advances in Logic Through Automated Reasoning" , L. Wos, ed., Vol. 27, No. 2, 2001.
      5. G. Luger, W. A. Stubblefield: " Artificial Intelligence: Structures and Strategies for Complex Problem Solving", The Benjamin/Cummings PublishingCompany, Inc. 1993.
      Number of hours per week during the semester/trimester/year
      Lectures Exercises OTC Study and Research Other classes
      6
      Methods of teaching Lectures and tutorials, discussions.
      Knowledge score (maximum points 100)
      Pre obligations Points Final exam Points
      Activites during lectures 0 Test paper 30
      Practical lessons 0 Oral examination 0
      Projects
      Colloquia
      Seminars 70