Prädikatenkalkül Formale Methode der Wissensrepräsentation. Formale Sprache mit eigener Syntax und Grammatik, die logische Aussagen auswerten und Schlußfolgerungen zur Erzeugung weiterer Aussagen ziehen kann.
Gefunden auf https://www.enzyklo.de/Lokal/40006
Prädikatenkalkül Formale Methode der Wissensrepräsentation. Formale Sprache mit eigener Syntax und Grammatik, die logische Aussagen auswerten und Schlußfolgerungen zur Erzeugung weiterer Aussagen ziehen kann.