Λογικός Προγραμματισμός

Ο λογικός προγραμματισμός αποτελεί σημαντικό κλάδο της Τεχνητής Νοημοσύνης, και στηρίζεται κατά βάση πάνω στην Μαθηματική Λογική. Βασίζεται στα γεγονότα, στους κανόνες και στις ερωτήσεις.

Τα γεγονότα ορίζουν την σχέση μεταξύ ατόμων-αντικειμένων μεταξύ τους.
Οι κανόνες δημιουργούν νέους ορισμούς οι οποίοι βασίζονται στο αποτέλεσμα της αλληλεπίδρασης δύο αντικειμένων μεταξύ τους.
Οι ερωτήσεις μας δίνουν τις πληροφορίες που χρειαζόμαστε για τις σχέσεις συγκεκριμένων αντικειμένων.