logique-proposition

Agents Logiques
Chap. 7

Plan
•Agents basés sur des connaissances
•Le monde de Wumpus
•Logique en général –modèle et entraînement
(entailment)
•Logique propositionnelle (booléenne)
•Equivalence, validité, satisfiabilité
• Règles d’inférence et preuve de théorème
–Chaînage avant
–Chaînage arrière
–Règle de Résolution

Base de connaissances
•Base de connaissances = ensemble de phrases dans un langage
formel
•Approche déclarative pour construire un agent (ou un système) :
–Tell: lui dire ce qu’il doit savoir
(Approche procédurale: dire comment faire –étape par étape)
•Ensuite, il peut se demander (Ask)ce qu’il a à faire – les réponses
doivent suivre la KB (conséquence logique)
•On peut voir un agent selon son niveau de connaissances
i.e., ce qu’ils savent, indépendamment de comment c’est implanté
•Ou au niveau d’implantation
–i.e., structures de données dans la KB et algorithmes pour les manipuler

An agent simple basé sur
connaissances
• L’agent doit être capable de:
–Représenter les états, les actions, etc. (un formalisme de représentation)
–Intégrer de nouvelles perceptions
–Mettre à jour la représentation du monde (modifier KB)
–Déduire des propriétés cachées du monde (conséquences)
–Déduire des actions appropriées (prendre des décisions –conséquences)

Description de PEAS dans le
monde de Wumpus
•Mesure de performance
–Or+1000, mort -1000
–-1 par étape, -10 pour utiliser la flèche
•Environnement
–Objets: wumpus, agent, fosses, or
–Carrés adjacents au wumpus sentent fort (smelly)
–Carrés adjacents à une fosse sentent du brises (breezy)
–On voit briller (Glitter) ssi l’or est dans le carré
–Tirer (Shooting) tue le wumpus si on est face à
–Tirer utilise la seule flèche disponible
–Saisir (Grabbing) prend l’or si dans le même carré
– Relâcher (Releasing) laisse l’or dans le carré
•Senseurs: Puanteur (Stench), Brise (Breeze), Éclat
(Glitter), Coup (Bump), Cri (Scream)
•Actuateurs: Left turn, Right turn, Forward, Grab, Release,
Shoot