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

Από Βικιεπιστήμιο
Πήδηση στην πλοήγηση Πήδηση στην αναζήτηση

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

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