Prädikatenlogik

Anwendung

Neben der Anwendung als Hilfsmittel vor allem für Informatik, Mathematik und Linguistik spielt die Prädikatenlogik insbesondere in der Konzeption und Programmierung von Expertensystemen und in der künstlichen Intelligenz eine Rolle. In den beiden letztgenannten Gebieten wird oft sogar eine Form angewandter Prädikatenlogik, Prolog („programming in logic“), als Programmiersprache verwendet.

Eine Form der Wissensrepräsentation kann mit einer Sammlung von Ausdrücken in Prädikatenlogik erfolgen.

Der Relationenkalkül, eine der theoretischen Grundlagen von Datenbankabfragesprachen wie etwa SQL, bedient sich ebenfalls der Prädikatenlogik als Ausdrucksmittel.

Copyright- und Lizenzinformationen: Diese Seite basiert auf dem Artikel Prädikatenlogik aus der freien Enzyklοpädιe Wιkιpedιa und steht unter der Lizenz Creative Commons CC-BY-SA 3.0 Unported (Kurzfassung). Liste der Autoren

Anbieterkennzeichnung