Logical Agents

Book sections 7.1, 7.3-7.6, 8.1, 8.2

Slides:
https://webeep.polimi.it/pluginfile.php/257113/mod_folder/content/0/FAI2021-10-LogicalAgents.pdf
https://webeep.polimi.it/pluginfile.php/257113/mod_folder/content/0/FAI2021-11-InferenceProceduresForPropositionalLogic.pdf

Introduction

A logical agent is an agent that is capable of using logical sentences to represent knowledge of ...

Propositional Logic

Syntax The syntax of propositional logic defines the allowable sentences. The atomic sentences co...

First order logic

Whereas propositional logic assumes the world contains statements, first-order logic (like natura...

Model checking

Our goal now is to decide whether $KB \models \alpha$ for some sentence $\alpha$. Reasoning with ...

Theorem proving

Other than model checking entailment can be done by theorem proving—applying rules of inference d...

Search problems

Introduction

Breadth-first search

Uniform-cost search

Depth-first search

Depth-limited and iterative deepening search

Bidirectional search

Summary

Introduction

A* search

Introduction

Minimax search

alpha-beta pruning

Monte Carlo Tree Search

Stochastic games

Introduction and Markov decision proceses

Value function and Q-function

Q-learning

Introduction

Constraint Propagation: Inference in CSPs

Backtracking Search for CSPs

Introduction to uncertainty

Bayesian Networks

Uncertainty over time

Example problems on uncertainty

Introduction

Propositional Logic

First order logic

Model checking

Theorem proving

Classical Planning and PDDL

Algorithms for Classical Planning

SATPlan

Logical Agents

Introduction

Propositional Logic

First order logic

Model checking

Theorem proving

Search Results