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
Pages
Introduction
A logical agent is an agent that is capable of using logical sentences to represent knowledge of states and actions, and to exploit such representation to decide what to do By logical sentence we…
Propositional Logic
Syntax The syntax of propositional logic defines the allowable sentences . The atomic sentences consist of a single proposition symbol. Each such symbol stands for a proposition that can be true or…
First order logic
Whereas propositional logic assumes the world contains statements, first-order logic (like natural language) assumes the world contains: objects statements in form of relations (predicates) between…
Model checking
Our goal now is to decide whether $KB \models \alpha$ for some sentence $\alpha$. Reasoning with truth tables Reasoning with truth tables is a form of semantic reasoning, in the sense that it…
Theorem proving
Other than model checking entailment can be done by theorem proving—applying rules of inference directly to the sentences in our knowledge base to construct a proof of the desired sentence without…