IRC Tutorials

IRC Tutorials

Syntax Logik Einführung Kapitel 5

(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

Formale Sprachen Logik Einführung Kapitel 4

Formale Sprachen

(Logik Einführung Kapitel 4)

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 und wurden als solches nicht zur Repräsentation eindeutiger Aussagen geschaffen.
Die Interpretation einer natürlichsprachigen Aussage ist oft mehrdeutig oder von implizitem Wissen abhängig.

Beispiel – Mehrdeutigkeit natürlicher Sprache

  • Angenommen jemand sagt „Nasse Strassen und Dächer …“ – meint er, dass sowohl Straßen, als auch Dächer nass sind?
  • Der Ausspruch „Schau!“ wird nur aus dem Kontext verstanden.

Da wir uns für die eindeutige Repräsentation von Fakten in mechanischen Systemen und daraus resultierende mechanische Schlussfolgerungen interessieren, benötigen wir die Exaktheit einer formalen Sprache.

Bevor wir näher auf die Definition einer formalen Sprache eingehen,

  • müssen wir uns zunächst mit dem, für den Nicht-Theoretiker im ersten Augenblick oft befremdlichen Konzept der Trennung von Form (Syntax) und Bedeutung (Semantik) beschäftigen,
  • und definieren, was Atome und Junktoren sind.

Weiterlesen »Formale Sprachen Logik Einführung Kapitel 4

Intelligente Systeme Logik Einführung Kapitel 3

Intelligente Systeme

(Logik Einführung Kapitel 3)

Was müssen wir also tun und welche formalen Konzepte gehören dazu, sollten wir eine Problemstellung definiert haben, und zu dem Schluss gekommen sein, dass eine theoretische Herangehensweise für ein intelligentes System von Nöten ist?

Wir brauchen ein System, das imstande ist, benötigtes Wissen über die Welt zu repräsentieren und aus diesem Wissen mittels Regeln korrekte Schlüsse zu ziehen, also neues Wissen zu generieren.

Das bedeutet für unser Endprodukt, dass es, grob gesprochen, auf 3 Ebenen basiert:

  • der Wissens-Ebene
  • der Logik-Ebene
  • der Implementations-Ebene

Weiterlesen »Intelligente Systeme Logik Einführung Kapitel 3

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

Einführung Logic-Rulez

Leider ist die Webseite Logic-Rulez.net seit einigen Jahren nicht mehr verfügbar. 
Mit Erlaubnis der Autorin werden wir ein Teil dieser wertvollen Inhalte hier zeigen. 

Willkommen!

Die mathematische Logik (im Folgenden „Logik“ genannt) bildet die Grundlage für viele Bereiche der Mathematik und Informatik, und kommt auch in der analytischen Philosophie und in der Linguistik zum Einsatz.
Hier findet ihr ein interaktives Logik-Lehrbuch (E-Book) für Schüler, Studenten und Interessierte, die keine bis wenige Vorkenntnisse mitbringen, und nicht unbedingt ein ausgeprägtes formal- theoretisches Verständnis besitzen. 

Dieses E-Book ist im Rahmen meiner Diplomarbeit am Institut für Informationssysteme, Abteilung für wissensbasierte Systeme, an der TU-Wien entstanden, und soll als erste Informationsstelle für Interessenten dienen. 

Ich hoffe, dass ich mit dieser Arbeit euer Interesse an Logik wecken oder vertiefen, und die zugrunde liegende Einfachheit der Konzepte vermitteln kann, und würde mich sehr über Feedback freuen! 

Mandana Eibegger 

Weiterlesen »Einführung Logic-Rulez

Online-Speicher für Deine IRC-Daten

IRC-Onlinespeicher bzw. Cloud-Speicher oder Blockchain-Technologie Online-Speicher sind zukunftsweisend. Doch in Tagen von verstärkten und verwirrenden Datenschutzbestimmungen entscheidet  die richtige Wahl über die eigene Zukunft.  In welchem Land liegt mein Online-Speicher? Was bedeutet ein ausländischer Online-Speicher für meinen Datenschutz hier in Deutschland bzw. Europa ?Wie muß ich meine Kunden darüber informieren ? Drohen Abmahnungen ?  Der größte Anbieter derzeit… Weiterlesen »Online-Speicher für Deine IRC-Daten

CrypTool

CrypTool Wie ihr bereits erkannt habt, ist die Kryptologie ein sehr großer und interessanter Themenbereich,welcher leider auch sehr schwer zu vermitteln ist.Auch wenn man die Unterschiede zwischen DES,Triple DES und AESkennt, so gestaltet sich die Erfahrung mit all dem Wissen recht schwer. Zum Glück jedoch gibt es ein Programm namens CrypTool.   Zitat: Ziel von… Weiterlesen »CrypTool

WorkShop-IRC-Wurm

Anmerkung:Dieser IRC Wurm WorkShop wurde von einem GastAutor erstellt, weiteres unten. Er wurde unzensiert und unbehandelt auf IRC-Mania.de aufgenommen ! Sollte ein hier präsentierter WorkShop extrem viele Fehler aufweisen, bitte ich um eine Benachrichtigung WorkShopKritik@IRC-Mania.de Wir übernehmen keine Verantwortung für Schäden, die durch diesen Workshop entstanden sind !  Autor: by Thomas „tom“ S.URL: http://www.eggdrop.chEmail: <tom at eggdrop.ch> Warnung Ich übernehme… Weiterlesen »WorkShop-IRC-Wurm

WorkShop-mIRC-User-Verwaltung

 Workshop mIRC User Verwaltung mIRC Tutorial : Thema: User Verwaltung: Anmerkung:Dieses mIRC Bot Tutorium wurde von einem GastAutor erstellt, weiteres unten. Er wurde unzensiert und unbehandelt auf IRC-Mania.de aufgenommen ! Sollte ein hier präsentierter WorkShop extrem viele Fehler aufweisen, bitte ich um eine Benachrichtigung WorkShopKritik@IRC-Mania.de Wir übernehmen keine Verantwortung für Schäden, die durch diesen Workshop entstanden sind !  Bemerkung von IRC-Mania.de:… Weiterlesen »WorkShop-mIRC-User-Verwaltung

WorkShop-mirc_603

Workshop Mirc 6.03 Tutorial mIRC Einstellungen Konfiguration      Anmerkung:Dieser WorkShopwurde von einem GastAutor erstellt, weiteres unten. Es wurde unzensiert und unbehandelt auf IRC-Mania.de aufgenommen ! In dem WorkShop wird die Installation und Konfiguration des Win32Klienten mIRC recht detailliert erklärt. Der Autor geht auf teilweise wichtige Optionen näher ein und behilft sich bei seinen Erklrärungen auf… Weiterlesen »WorkShop-mirc_603