Samenvatting Reasoning Techniques
Samenvatting van het vak Reasoning Techniques, gegeven aan de Universiteit Maastricht. 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
Geschreven voor
Documentinformatie
- Geüpload op
- 23 oktober 2021
- Aantal pagina's
- 24
- Geschreven in
- 2018/2019
- Type
- SAMENVATTING
Onderwerpen
- reasoning techniques
- problem solving
- tree search algorithm
- search
- game playing
- graphs
- state
-
logical agents
-
proof
-
first order logic
-
logic
-
inference
-
planning
-
constraint satisfaction problems