Zum Inhalt springen

wumpus

Logik Beispiele (Logik Einführung Kapitel 9)

Im Laufe der Zeit wurden sehr viele Logiken für die unterschiedlichsten Anwendungsgebiete definiert.In diesem Kapitel wollen wir einige der bekanntesten beispielhaft anführen.  Zu den Klassischen Logiken zählen z.B. die Aussagenlogik und die Prädikatenlogik. Beispiele Nichtklassischer Logiken sind z.B. Mehrwertige Logiken Modallogiken und Nichtmonotone Logiken. Aussagenlogik (Logik Einführung Kapitel 9.1) Die Aussagenlogik ist eine sehr einfache klassische Logik. Sie ist sehr intuitiv, weil sie sich an… Weiterlesen »Logik Beispiele (Logik Einführung Kapitel 9)

Beweis & Schluss Logik Einführung Kapitel 7

Beweis & Schluss  Logik Einführung Kapitel 7 Ist die Syntax und Semantik einer Sprache definiert, haben wir die Möglichkeit innerhalb unseres Systems Wissen darzustellen oder Annahmen zu tätigen und zu interpretieren.   Aber kommen wir zu unserem eigentlichen Ziel: dem automatisierten Generieren neuer Sätze und damit neuen Wissens. Wir werden zunächst das semantische Konzept des logischen Schlusses (auch… Weiterlesen »Beweis & Schluss Logik Einführung Kapitel 7

Die Wumpus-Welt Logik Einführung Kapitel 2

Du befindest dich hier: Logik Einführung  Logik Einführung Kapitel 2

Die Wumpus-Welt

Bevor wir die Grundkonzepte der Logik besprechen, wollen wir hier eine vereinfachte Version der „Wumpus-Welt“ beschreiben – ein frühes, sehr einfaches Computerspiel, das uns in weiterer Folge als Beispiel für ein Planungsproblem zur Illustration dienen soll.

Kurz zusammengefasst besteht die Wumpus-Welt aus Räumen, die miteinander verbunden sind.
In einem Raum versteckt sich das Monster – der Wumpus – auf den man besser nicht treffen sollte. In anderen Räumen befinden sich eventuell tiefe Fallgruben, aus denen sich der Spieler nicht mehr retten kann.
Ziel des Spieles ist, das in einem Raum versteckte Gold zu finden, wieder zur Startposition zurückzukehren und unversehrt aus dem Höhlensystem herauszuklettern.
Der Wumpus kann mit einem Pfeil getötet werden.

  • Wir wollen zunächst das Spiel genauer spezifizieren
  • und dann ein Beispiel durchspielen.

Weiterlesen »Die Wumpus-Welt Logik Einführung Kapitel 2