Logris Verifier

Το Logris Verifier διερευνά πώς μπορούν να ελέγχονται οι ισχυρισμοί των πρακτόρων τεχνητής νοημοσύνης σε σχέση με την πραγματική κατάσταση ενός συστήματος, τις δοκιμές και την παρατηρούμενη συμπεριφορά. Στόχος του είναι να αναδεικνύει αποκλίσεις και να κρατά το αποτέλεσμα της δουλειάς χωριστά από την άδεια να ενεργήσει κανείς με βάση αυτό. Το έργο βρίσκεται σε στάδιο έρευνας και πρώιμης ανάπτυξης.

Εστίαση

1. Έλεγχος ισχυρισμών με βάση αναπαραγώγιμα τεκμήρια
2. Εντοπισμός αποκλίσεων ανάμεσα στην αναφορά και την πραγματικότητα
3. Διαχωρισμός του αποτελέσματος από την άδεια για δράση

Τι δεν υπόσχεται αυτό το έργο

• Μηδενικές ψευδαισθήσεις
• Απόδειξη ότι οποιοδήποτε σύστημα τεχνητής νοημοσύνης είναι ασφαλές
• Καθολική πιστοποίηση