Beschreibungslogik Bedeutung

Suchen

Beschreibungslogik

Beschreibungslogik Logo #42000 Beschreibungslogiken (engl. description logics), gelegentlich auch terminologische Logiken genannt, sind eine Familie von Sprachen zur Wissensrepräsentation. Die meisten Beschreibungslogiken sind eine Untermenge der Prädikatenlogik erster Stufe, im Gegensatz zu dieser aber entscheidbar. Dies ermöglicht über eine Beschreibungslogik zu schließe...
Gefunden auf https://de.wikipedia.org/wiki/Beschreibungslogik
Keine exakte Übereinkunft gefunden.