Hi,
wo wird die Aussagen- bzw. Prädikatenlogik in der Praxis eingesetzt ?
Grüße,
Tristan.
Hi,
wo wird die Aussagen- bzw. Prädikatenlogik in der Praxis
eingesetzt ?
Da das ganze eng verwandt mit der boolschen Algebra ist, wirds u.a. für Schaltnetze/werke gebraucht. Prädikatenlogik (die ja eigentlich die Aussagenlogik erweitert) wird auch bei Fuzzy-Systemen, Neuronalen Netzen, Künstlicher Intelligenz eingesetzt. SQL baut stark auf Prädikatenlogik auf und in der Programmiersprache Prolog ist sie sogar Teil der Syntax.
mfg
deconstruct
Hallo,
wo wird die Aussagen- bzw. Prädikatenlogik in der Praxis eingesetzt ?
ich habe eine Weile nachgedacht und bin zum Resultat gekommen, daß sie nirgendwo vollständig unmittelbaren Einsatz im größeren findet. Relativ viel davon findet man noch unmittelbar in
o Logikbasierten Expertensystemen, (A)TMS
o Logischen Programmiersprachen (Prolog, Gödel etc.)
o Adaptiven Systemen, die über logikbasiertes maschinelles Lernen arbeiten
o Deduktive Planungssysteme
Ansonsten ist es eine math. Grundlagendisziplin, wie z.B. die Mengenlehre, die die theoretische Basis für praktisch alle Ingenieursdisziplinen darstellt.
Gruss
Enno