snippets of logic - logique propositionnelle

¬ x (x ∧ y) (x ↔ y) {A,¬B} {{A,¬B},{A,B}}

feuille de route sur

config

Hier eine kleine Übersicht der Funktionen, die mir noch vorschweben, in willkürlicher Reihenfolge...

Anregungen sind willkommen^* (émail à):

andre dot frochaux at informatik dot hu-berlin dot de

In allen Teilen

Support Engl./Franz.
'Online'-Hilfe
Exakte Angabe aller verwendeten Definitionen.

Aussagenlogik

Erzeugen konj/disj Klauseln aus Normalformen
NNF geschwätzig
KNF aus NNF
DNF aus NNF
Resolvente, Davis-Putnam-Algorithmus,Tseitin
Tseitin mit Polarität
Dpll mit eigener Wahl des nächsten Literals
Merken von Formel(n) und Test auf Folgerung , Äquivalenz
Relaxtere Syntax (Klammersetzung) bei Eingabe

FO

Strukuren wie in Datalog (mit deren ToDo-Liste)
Auswerten von Termen/Formeln in der Struktur (als Anfrage)

Datalog

Mehr Hinweise beim Laden von Settings
Speichern/Laden eigener Settings

Logikprogramme

Demonstration der Algorithmen
- Antwort, UAntwort, PAntwort (Interpreter für Logikprogramme)
Suchbäume