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)

Der Beitrag Logik Beispiele (Logik Einführung Kapitel 9) erschien zuerst auf IRC-Mania.de.

Abschließende Betrachtung von Logiken (Logik Einführung Kapitel 8) Grundsätzlich besteht eine Logik aus einer Syntax (meist im Rahmen eines Kalküls definiert), durch die die formale Sprache definiert wird und einer dazugehörigen Semantik, die den abstrakten Zeichenfolgen wiederum Bedeutung zuweist. Für verschiedene Problemstellung lassen sich verschiedene Logiken aufbauen.  In diesem Kapitel wollen wir einige wichtige Konzepte und Fragestellungen zur Klassifizierung anführen,bemerken, dass ein und dieselbe Logik… Weiterlesen »Abschließende Betrachtung von Logiken Logik Einführung Kapitel 8

Der Beitrag Abschließende Betrachtung von Logiken Logik Einführung Kapitel 8 erschien zuerst auf IRC-Mania.de.

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

Der Beitrag Beweis & Schluss Logik Einführung Kapitel 7 erschien zuerst auf IRC-Mania.de.

Semantik (Logik Einführung Kapitel 6)         Logik Einführung: Die Wumpus-Welt Logik Einführung: Syntax vs. Semantik Logik Einführung: Syntax     Interpretation Bewertungsfunktion Extensionalität / Intensionalität Formeln & Interpretationen Lassen sich unser Wissen und unsere Schlüsse formal repräsentieren, wollen wir diesen sinnentleerten Symbolfolgen wiederum Bedeutungen und somit Bewertungen zuweisen.   Die Semantik (Bedeutungslehre) beschäftigt sich mit der Bedeutung… Weiterlesen »Semantik Logik Einführung Kapitel 6

Der Beitrag Semantik Logik Einführung Kapitel 6 erschien zuerst auf IRC-Mania.de.

(griechisch συνταξις [syntaksis] – die Zusammenstellung) Durch die Syntax werden Regeln beschrieben, nach denen Atome generiert und zu komplexeren Einheiten (Sätzen) zusammengesetzt werden können. Syntaktisch korrekte Sätze bezeichnen wir als Formeln. Atome werden auch als atomare Formeln bezeichnet. Beispiel – Syntax: Wumpus-Welt Angenommen, wir wollen folgende Aussagen, welche die Wumpus-Welt beschreiben, als atomar betrachten: Der Wumpus befindet sich auf Feld [A,3] Auf… Weiterlesen »Syntax Logik Einführung Kapitel 5

Der Beitrag Syntax Logik Einführung Kapitel 5 erschien zuerst auf IRC-Mania.de.

Formale Sprachen (Logik Einführung Kapitel 4) Syntax vs. Semantik Atome & Junktoren Zum Seitenanfang Wollen wir etwas ausdrücken, benötigen wir eine Sprache. Diese muss selbstverständlich ausdrucksstark genug sein, um unser (teilweise unvollständiges) Wissen über die Welt ausdrücken zu können. Natürliche Sprachen, so wie Deutsch oder Englisch, sind sicherlich ausdrucksstark, entwickelten sich jedoch aus einem Bedürfnis der Kommunikation… Weiterlesen »Formale Sprachen Logik Einführung Kapitel 4

Der Beitrag Formale Sprachen Logik Einführung Kapitel 4 erschien zuerst auf IRC-Mania.de.