Courses Bachelor Display 2022-2023
Course Description | To PDF | |||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Course title | Reasoning Techniques | |||||||||||||||||||||||||||||||||||||||
Course code | KEN2230 | |||||||||||||||||||||||||||||||||||||||
ECTS credits | 5,0 | |||||||||||||||||||||||||||||||||||||||
Assessment | Whole/Half Grades | |||||||||||||||||||||||||||||||||||||||
Period |
|
|||||||||||||||||||||||||||||||||||||||
Level | no level | |||||||||||||||||||||||||||||||||||||||
Coordinator |
Mark Winands For more information: m.winands@maastrichtuniversity.nl |
|||||||||||||||||||||||||||||||||||||||
Language of instruction | English | |||||||||||||||||||||||||||||||||||||||
Goals |
* Knowledge and understanding: Students learn to understand how problems can be represented as logical problems, as search problems, as planning problems or as problems involving uncertainty and get accustomed to reasoning methods to solve problems of all four types mentioned above.
* Applying knowledge and understanding: Students learn to apply the reasoning methods learned to toy problems and some more complex situations. * Making judgements: Students learn to judge which type of knowledge representation is suitable for the problem at hand, and which reasoning technique is suitable to solve the problem at hand. * Communication: students can explain the knowledge representation used and reasoning technique chosen to peers and other experts. * Learning skills: Students are able to critically reflect on their own and other’s chosen representations and used reasoning methods. |
|||||||||||||||||||||||||||||||||||||||
Description |
PLEASE NOTE THAT THE INFORMATION ABOUT THE TEACHING AND ASSESSMENT METHOD(S) USED IN THIS COURSE IS WITH RESERVATION. A RE-EMERGENCE OF THE CORONAVIRUS AND NEW COUNTERMEASURES BY THE DUTCH GOVERNMENT MIGHT FORCE COORDINATORS TO CHANGE THE TEACHING AND ASSESSMENT METHODS USED. THE MOST UP-TO-DATE INFORMATION ABOUT THE TEACHING/ASSESSMENT METHOD(S) WILL BE AVAILABLE IN THE COURSE SYLLABUS.
Central in this course is how, based on available data, new knowledge and information can be obtained using reasoning processes. The course will be supported by tutorials, in which the acquired techniques can be put into practice by using Prolog. The following four techniques are discussed: 1. Reasoning using logic: syntax, semantics, and inference in first-order logic, situation calculus, forward and backward reasoning, completeness, logic programming with Prolog. 2. Problem solving using search: problem types, blind-search methods, informed-search methods, comparison of search methods, games as search problems, minimax, alpha-beta pruning, Monte Carlo Tree Search, chance games, constraint satisfaction problems. 3. Planning: planning in situation calculus, representation of states, goals and operators, state space and plan space, algorithms for classic planning. 4. Reasoning with uncertainty: uncertainty and probability theory, conditional probability, the Rule of Bayes, semantics of belief networks, exact and approximate inference in belief networks. |
|||||||||||||||||||||||||||||||||||||||
Literature |
Study material:
* Russell, S. and Norvig, P., Artificial Intelligence: A Modern Approach, 4th edition. Pearson, 2020. * Bratko, I. (2012). Prolog: Programming for Artificial Intelligence, 4th edition. Addison-Wesley Recommended literature: * Luger, G.F., Artificial Intelligence: Structures and Strategies for Complex Problem Solving, 6th edition. Pearson International Edition, 2009. |
|||||||||||||||||||||||||||||||||||||||
Prerequisites |
Bachelor Data Science and Artificial Intelligence students need to have earned 45 ECTS credits or more for their first year courses. This rule will prevent Business Engineering students from registering for this course. These students should use Surfyourself to indicate they want to register for this course.
|
|||||||||||||||||||||||||||||||||||||||
Keywords |
|
|||||||||||||||||||||||||||||||||||||||
Teaching methods (indicative; course manual is definitive) | Lecture | |||||||||||||||||||||||||||||||||||||||
Assessment methods (indicative; course manual is definitive) | Written Exam / Assignment | |||||||||||||||||||||||||||||||||||||||
Evaluation in previous academic year | For the complete evaluation of this course please click "here" | |||||||||||||||||||||||||||||||||||||||
This course belongs to the following programmes / specialisations |
|