Summary Reasoning Techniques
Summary of the Reasoning Techniques course, taught at Maastricht University. Contains at least the following topics: reasoning techniques tree search algorithms search game playing constraint satisfaction problems graphs states logical agents proofs first order logic inference planning
Written for
- Institution
- Maastricht University (UM)
- Study
- Data Science And Artificial Intelligence
- Module
- Reasoning Techniques
Document information
- Uploaded on
- October 23, 2021
- Number of pages
- 24
- Written in
- 2018/2019
- Type
- SUMMARY
Subjects
-
reasoning techniques
-
problem solving
-
tree search algorithm
-
search
-
game playing
-
graphs
-
state
-
logical agents
-
proof
-
first order logic
-
logic
-
inference
-
planning
-
constraint satisfaction problems