„Begriffslogik“ – Versionsunterschied
Inhalt gelöscht Inhalt hinzugefügt
KKeine Bearbeitungszusammenfassung |
(kein Unterschied)
|
Version vom 22. Oktober 2003, 17:30 Uhr
Die Terminologische-, Beschreibungs- oder Begriffslogik (englisch: terminological oder description logic), auch klassische Logik genannt, ist eine Logik, die auf Aristoteles zurückgeht. Sie basiert auf Begriffen, deren Inhalten und Umfängen und deren Beziehungen untereinander.
Beispiel
Programmierer=UND(Mensch
Siehe auch
Frame-Logik, FOL,Aussagenlogik, Prädikatenlogik