Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

K¨nstliche Intelligenz u
Logische Agenten

Claes Neuefeind
Sprachliche Informationsverarbeitung Universit¨t zu K¨ln a o

02. November 2011

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Logische Agenten Wissensbasierte Agenten Eine Modellwelt Aussagenlogik Aussagen Logik Aussagenlogik Hausaufgabe, Seminarplan

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Wissensbasierte Agenten

Logische Agenten Wissensbasierte Agenten Eine Modellwelt Aussagenlogik Aussagen Logik Aussagenlogik Hausaufgabe, Seminarplan

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Wissensbasierte Agenten

Wissensbasierte Agenten

Zentrale Konzepte: Wissensrepr¨sentation a Schlussfolgerungsprozesse Zentral f¨r gesamte KI! u Z.B. bei partiell beobachtbaren Umgebungen: Kombination von allgemeinem Wissen und aktuellen Wahrnehmungen als Basis f¨r u die Ableitung verborgener Aspekte des aktuellen Zustands

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Wissensbasierte Agenten

Aufbau wissensbasierter Agenten

Wissensbasis: Dom¨nenspezifisches Wissen a Schlussmechanismen: Dom¨nenunabh¨ngige Algorithmen a a Deklarativer Ansatz: Wissensbasis als Menge von S¨tzen in einer a formalen Repr¨sentationssprache a Mitteilen (TELL), was der Agent wissen soll Abfragen (ASK), was zu tun ist → Antworten m¨ssen unmittelbar aus der Wissensbasis folgen u

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Wissensbasierte Agenten

Ein einfacher wissensbasierter Agent
Agentenprogramm:

Aufgaben: Zust¨nde, Aktionen, etc. repr¨sentieren a a Neue Wahrnehmungen in KB integrieren Interne Repr¨sentationen der Welt aktualisieren a Verborgene Eigenschaften der Welt ableiten Angemessene Aktionen ableiten
K¨nstliche Intelligenz - Wintersemester 2011/2012 u Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Eine Modellwelt

Logische Agenten Wissensbasierte Agenten Eine Modellwelt Aussagenlogik Aussagen Logik Aussagenlogik Hausaufgabe, Seminarplan

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Eine Modellwelt

Die Wumpus-Welt

Aufgabe des Agenten: Goldschatz finden, ohne zu sterben. “Intelligente” Verhaltensregeln k¨nnten dazu f¨hren, dass der o u Agent in einer (beliebigen) Wumpus-Welt autonom agieren kann. Verhaltensregeln kombinieren die Wahrnehmung des Agenten mit seinem Ged¨chtnis. a

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Eine Modellwelt

Die Wumpus-Welt: PEAS-Beschreibung

Performance: +1000 (Gold), -1000 (Tod), -10 (Pfeil), -1 (Schritt) Environment: 4x4 R¨ume, 1 a Schatz, 1 Wumpus, 3 Fallt¨ren u Actuators: Laufen (nach vorne), drehen (90◦ ), sterben, schießen (nur einmal), etw. aufheben Sensors: Wumpus riechen, Luftzug sp¨ren, Glitzern sehen, Wand u sp¨ren, Schrei h¨ren u o

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Eine Modellwelt

M¨gliche Strategie o
Beginn: Welt unbekannt, keine Warnsignale wahrzunehmen, d.h. die Felder (2,1) und (1,2) sind ok.

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Eine Modellwelt

M¨gliche Strategie o
Agent betritt Feld (1,2) und nimmt Wumpus-Geruch wahr (B).

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Eine Modellwelt

M¨gliche Strategie o
Folgerung: Wumpus befindet sich in (1,3) oder (2,2).

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Eine Modellwelt

M¨gliche Strategie o
Agent betritt n¨chstes sicheres a Feld, und nimmt einen Luftzug (S) wahr.

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Eine Modellwelt

M¨gliche Strategie o
Folgerungen: Wumpus (P) muss auf Feld (1,3) stehen, Fallt¨r (W) u muss auf (3,1) sein, Feld (2,2) muss sicher sein.

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Eine Modellwelt

M¨gliche Strategie o
Agent geht zum n¨chsten sicheren a Feld.

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Eine Modellwelt

M¨gliche Strategie o
Zwei neue sichere Felder entdeckt, usw. . .

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagen

Logische Agenten Wissensbasierte Agenten Eine Modellwelt Aussagenlogik Aussagen Logik Aussagenlogik Hausaufgabe, Seminarplan

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagen

Definition & Beispiele
Eine Aussage ist ein (nicht notwendigerweise sprachlicher) Ausdruck, der wahr oder falsch sein kann.

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagen

Definition & Beispiele
Eine Aussage ist ein (nicht notwendigerweise sprachlicher) Ausdruck, der wahr oder falsch sein kann. Beispiele: Studiengeb¨hren sind gut. u Studiengeb¨hren sind gut und schlecht. u H¨ren Sie auf, Ihre Mails zu lesen. o Wenn die Straße nass ist, regnet es. Morgen soll es schneien. Welcher dieser S¨tze ist eine Aussage? a
K¨nstliche Intelligenz - Wintersemester 2011/2012 u Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagen

Definition & Beispiele
Eine Aussage ist ein (nicht notwendigerweise sprachlicher) Ausdruck, der wahr oder falsch sein kann. Beispiele: Studiengeb¨hren sind gut. u Studiengeb¨hren sind gut und schlecht. u H¨ren Sie auf, Ihre Mails zu lesen. o Wenn die Straße nass ist, regnet es. Morgen soll es schneien. Welcher dieser S¨tze ist eine Aussage? a
K¨nstliche Intelligenz - Wintersemester 2011/2012 u Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagen

Definition & Beispiele
Eine Aussage ist ein (nicht notwendigerweise sprachlicher) Ausdruck, der wahr oder falsch sein kann. Beispiele: Studiengeb¨hren sind gut. u Studiengeb¨hren sind gut und schlecht. u H¨ren Sie auf, Ihre Mails zu lesen. o Wenn die Straße nass ist, regnet es. Morgen soll es schneien. Welcher dieser S¨tze ist eine Aussage? a
K¨nstliche Intelligenz - Wintersemester 2011/2012 u Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagen

Definition & Beispiele
Eine Aussage ist ein (nicht notwendigerweise sprachlicher) Ausdruck, der wahr oder falsch sein kann. Beispiele: Studiengeb¨hren sind gut. u Studiengeb¨hren sind gut und schlecht. u H¨ren Sie auf, Ihre Mails zu lesen. o Wenn die Straße nass ist, regnet es. Morgen soll es schneien. Welcher dieser S¨tze ist eine Aussage? a
K¨nstliche Intelligenz - Wintersemester 2011/2012 u Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagen

Definition & Beispiele
Eine Aussage ist ein (nicht notwendigerweise sprachlicher) Ausdruck, der wahr oder falsch sein kann. Beispiele: Studiengeb¨hren sind gut. u Studiengeb¨hren sind gut und schlecht. u H¨ren Sie auf, Ihre Mails zu lesen. o Wenn die Straße nass ist, regnet es. Morgen soll es schneien. Welcher dieser S¨tze ist eine Aussage? a
K¨nstliche Intelligenz - Wintersemester 2011/2012 u Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagen

Definition & Beispiele
Eine Aussage ist ein (nicht notwendigerweise sprachlicher) Ausdruck, der wahr oder falsch sein kann. Beispiele: Studiengeb¨hren sind gut. u Studiengeb¨hren sind gut und schlecht. u H¨ren Sie auf, Ihre Mails zu lesen. o Wenn die Straße nass ist, regnet es. Morgen soll es schneien. Welcher dieser S¨tze ist eine Aussage? a
K¨nstliche Intelligenz - Wintersemester 2011/2012 u Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagen

Definition & Beispiele
Eine Aussage ist ein (nicht notwendigerweise sprachlicher) Ausdruck, der wahr oder falsch sein kann. Beispiele: Studiengeb¨hren sind gut. u Studiengeb¨hren sind gut und schlecht. u H¨ren Sie auf, Ihre Mails zu lesen. o Wenn die Straße nass ist, regnet es. Morgen soll es schneien. Welcher dieser S¨tze ist eine Aussage? a
K¨nstliche Intelligenz - Wintersemester 2011/2012 u Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagen

Beispiele

Eine Aussage ist ein (nicht notwendigerweise sprachlicher) Ausdruck, der wahr oder falsch sein kann. Dabei ist es nicht relevant, ob die Wahrheit tats¨chlich feststellbar ist a (“Morgen soll es schneien.”) ob die Aussage vage ist (“Hans ist groß.”)

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Logik

Logische Agenten Wissensbasierte Agenten Eine Modellwelt Aussagenlogik Aussagen Logik Aussagenlogik Hausaufgabe, Seminarplan

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Logik

Logik: Definition

Logik ist die Lehre des korrekten Schließens. Logik kann (bis zu einem gewissen Grad) zur Wissensrepr¨sentation dienen; sie kann elementare S¨tze und a a grundlegende Relationen zwischen diesen S¨tzen darstellen, a die miteinander kombiniert einen relativ großen Bereich des menschlichen Wissens beschreiben k¨nnen. o

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Logik

“logisch”

“Hartz kostet Geld, das ist doch logisch.”
¨ (Uberschrift einer Pressemeldung des DStGB) “Ist doch logisch, dass [Roger] Moore in seinen ersten Filmen jugendlich unbeschwingt daherkommt.” (Kommentar in einem James Bond Forum)

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Logik

“unlogisch”

“Es ist v¨llig unlogisch, die Regeln zu ¨ndern, weil ein Jahr o a schlecht gelaufen ist.”
(Jeremy Burgess zur Diskussion uber Einheitsreifen im Motorsport) ¨ “Das Argument, dass Musik nicht den gleichen Schutz wie Filme [. . . ] verdient, nur weil es ein physikalisches, ungesch¨tztes Pendant u gibt, ist vollkommen unlogisch.” (Edgar Bronfman, CEO Warner Music)

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Logik

Formale Logik: Definition

Die [formale] Logik untersucht die G¨ltigkeit von Argumenten u hinsichtlich ihrer Struktur unabh¨ngig vom konkreten Inhalt a der eigentlichen Aussagen.
(Wikipedia.de)

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagenlogik

Logische Agenten Wissensbasierte Agenten Eine Modellwelt Aussagenlogik Aussagen Logik Aussagenlogik Hausaufgabe, Seminarplan

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagenlogik

Aussagenlogik: Definition

Aussagenlogik (auch: Boolsche Logik) ist ein formales System mit wohldefinierter Syntax und Semantik, in dem Aussagen mit Hilfe verschiedener Junktoren zu komplexeren Aussagen verkn¨pft werden k¨nnen, wobei sich der Wahrheitsgehalt der u o komplexen Aussagen eindeutig durch die Teilaussagen und die verwendeten Junktoren ergibt.

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagenlogik

Atomare und komplexe Aussagen

Aussagen, die nicht aus weiteren Aussagen zusammengesetzt sind, werden als atomare Aussagen bezeichnet.
Hans liebt Petra. Es regnet.

Aussagen, die aus weiteren Aussagen zusammengesetzt sind, werden als komplexe Aussagen bezeichnet.
Hans liebt Petra und es regnet.

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagenlogik

Syntax der Aussagenlogik
Junktor ¬ ∧ ∨ ⇒ ⇔ Bezeichnung Negation Konjunktion Disjunktion Implikation Bikonditional Beispiel ¬A A∧B A∨B A⇒B A⇔B Bedeutung nicht A A und B A oder B A impliziert B; aus A folgt B A ist ¨quivalent zu B; A genau a dann, wenn B

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagenlogik

Syntax der Aussagenlogik
Junktor ¬ ∧ ∨ ⇒ ⇔ Bezeichnung Negation Konjunktion Disjunktion Implikation Bikonditional Beispiel ¬A A∧B A∨B A⇒B A⇔B Bedeutung nicht A A und B A oder B A impliziert B; aus A folgt B A ist ¨quivalent zu B; A genau a dann, wenn B

Beispiel einer komplexen Aussage, bestehend aus den atomaren Aussagen A, B und C: ((A ∧ ¬B) ∨ C ) ⇒ ((B ⇔ A) ∨ ¬(B ∧ ¬C ∧ ¬A))
K¨nstliche Intelligenz - Wintersemester 2011/2012 u Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagenlogik

Syntax der Aussagenlogik

Junktoren binden unterschiedlich stark (analog zu Operatoren in der Mathematik): ¬ > ∧ > ∨ >⇒>⇔ Daher werden Klammern oftmals weggelassen: ((A ∧ ¬B) ∨ C ) = (A ∧ ¬B ∨ C ) = A ∧ ¬B ∨ C

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagenlogik

Semantik der Aussagenlogik

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagenlogik

Semantik der Aussagenlogik: Beispiele

Peter schl¨ft nicht, und Otto oder Hans sitzen im Garten. a

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagenlogik

Semantik der Aussagenlogik: Beispiele

Peter schl¨ft nicht, und Otto oder Hans sitzen im Garten. a A: Peter schl¨ft. a B: Otto sitzt im Garten. C: Hans sitzt im Garten.

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagenlogik

Gesetze (Auswahl)
Kommutativit¨t: a (p ∨ q) = (q ∨ p) (p ∧ q) = (q ∧ p) Assoziativit¨t: a ((p ∨ q) ∨ r ) = (p ∨ (q ∨ r )) ((p ∧ q) ∧ r ) = (p ∧ (q ∧ r )) de Morgan: ¬(p ∧ q) = (¬p ∨ ¬q) ¬(p ∨ q) = (¬p ∧ ¬q)

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Aussagenlogik

Konzepte
¨ Logische Aquivalenz: Die Aussagen p und q sind genau dann ¨quivalent, wenn sie a unter gleichen Belegungen wahr sind (siehe vorherige Folie). G¨ltigkeit/Tautologien: u Eine Aussage ist g¨ltig, wenn sie unter allen Belegungen wahr u ist (bspw. “sein oder nicht sein”). Erf¨llbarkeit: u Eine Aussage ist erf¨llbar, wenn mindestens eine Belegung u existiert, die sie wahr macht.

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Logische Agenten Wissensbasierte Agenten Eine Modellwelt Aussagenlogik Aussagen Logik Aussagenlogik Hausaufgabe, Seminarplan

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Hausaufgabe
Zum Einstieg (Wiederholung aus dem Seminar): Peter schl¨ft nicht, und Otto oder Hans sitzen im Garten. a Pr¨fen Sie folgende Behauptungen mit Hilfe einer u Wahrheitstabelle: (¬p ∧ p) ⇔ falsch (¬p ∨ p) ⇒ q (p ⇒ q) ⇔ (¬p ∨ q) ¬(¬p ∨ ¬q) ⇔ (p ∧ q)

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Logische Agenten

Aussagenlogik

Hausaufgabe, Seminarplan

Semesterplan

http://www.spinfo.phil-fak.uni-koeln.de/spinfo-ki.html

K¨nstliche Intelligenz - Wintersemester 2011/2012 u

Sprachliche Informationsverarbeitung - Universit¨t zu K¨ln a o

Sign up to vote on this title
UsefulNot useful