Zum Inhalt springen

IRC-Coding

Semantik Logik Einführung Kapitel 6

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

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)

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 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

Einleitung (Logik Einführung Kapitel 1)

(Logik Einführung Kapitel 1)

Der Begriff Logik (griechisch λογικη [logike] – die denkende (Kunst, Vorgehensweise)) leitet sich vom griechischen Wort Logos (die Sprache, das Wort) ab. Als zentraler Begriff der griechischen Philosophie bezieht sich seine Bedeutung auf sprachliche Äußerungen der Vernunft und die Überzeugung durch Folgerichtigkeit und Beweisführung. 

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

IRCServices-Modulprogrammierung

Modul-Programmierung – (Coding) In diesem Bereich findet ihr einige Hilfen und Tutorials, um Euren eigenen IRC-Services – Module schreiben zu können. Wer zuvor schon C oder eine ähnliche Sprache wie Java, C#, C++, Python oder gar perl gelernt hat, wird mit diesen Hilfen sicher zurechtkommen. Andere die ernsthaft Module Schreiben möchten, sollten sich mit einigen… Weiterlesen »IRCServices-Modulprogrammierung

Arbeiten mit Textdateien

  1. Grundlagen zum mIRC Scripting
  2. mIRC Befehle
  3. Variablen im mIRC Scripting
  4. Identifiers im mIRC
  5. Der Editor des mIRC
  6. mIRC Aliases Tutorial
  7. Die mIRC Popupmenüs
  8. mIRC Remote
  9. Fehlersuche
  10. Abfragen im mIRC
  11. Schleifen im mIRC
  12. Timer im mIRC
  13. Special Remote Raw & CTCP
  14. >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> mIRC Arbeiten mit Textdateien <<< aktuelle Seite >>>>
  15. mIRC – Scripte / Addons / Module

mIRC Scripting : Arbeiten mit Textdateien
Der Umgang mit Textdateien im mIRC halte ich für sehr wichtig. Da ich selber meist umfangreiche Scripte verfasse, müssen auch immer viele Daten gespeichert werden. Häufig benutze ich dazu Textdateien. Das hängt von der Art der Daten ab die zu speichern sind. Will ich zum Beispiel mehrere Topics zu einem Raum speichern, die man über einen Dialog bearbeitet und setzen kann, nutze ich dafür eine Textdatei. Würde ich aber immer nur das aktuelle Topic speichern wollen wäre dafür eine Inidatei besser geeignet. Für uns heißt es also, wo viele verschiedene Daten zu speichern sind können wir Textdateien gut einsetzen. Doch schauen wir uns jetzt die Befehle und Identifer an, mit denen wir Textdateien bearbeiten.

Weiterlesen »Arbeiten mit Textdateien

Special Remote Raw & CTCP

  1. Grundlagen zum mIRC Scripting
  2. mIRC Befehle
  3. Variablen im mIRC Scripting
  4. Identifiers im mIRC
  5. Der Editor des mIRC
  6. mIRC Aliases Tutorial
  7. Die mIRC Popupmenüs
  8. mIRC Remote
  9. Fehlersuche
  10. Abfragen im mIRC
  11. Schleifen im mIRC
  12. Timer im mIRC
  13. >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Special Remote Raw & CTCP <<< aktuelle Seite >>>>
  14. mIRC Arbeiten mit Textdateien
  15. mIRC – Scripte / Addons / Module

mIRC Scripting – Special Remote Raw & CTCP

Diese beiden Remote sind nicht ganz so Leicht zu handhaben wie die „normalen“ Remote. Gerade die für die Raw braucht man einige Erfahrungen. Dafür lässt sich damit das komplette mIRC umgestalten. Mit den CTCP ließen sich spezielle Funktionen in ein eigenes Script einbauen, ähnlich wie mit dem Befehl /signal. Nur das die CTCP zwischen zwei Usern ablaufen während /signal Server weit triggert. Schauen wir uns jetzt mal diese beiden Remote genauer an.

 

Special Remote CTCP

Die CTCP-Remote arbeiten ähnlich wie die alle anderen Remote auch, nur das sie mit „ctcp“ statt mit „on“ beginnen. Außerdem werden diese Remote grundsätzlich von einem anderen User ausgelöst und nicht vom Server. Die bekanntesten CTCP sind wohl PING, VERSION und FINGER. Wir werden hier zu Übungszwecken ein Script zu dem CTCP FINGER schreiben. Wenn also ein User folgendes eingibt: /ctcp DEIN_NICK finger erhält er als Antwort dein Namen, deine Emailadresse und deine Idlezeit. Mit dem folgenden Script werden wir diese Ausgabe für alle User mit Level 1 ändern.

Weiterlesen »Special Remote Raw & CTCP