Deterministic AI Framework for Public Services

Η περίπτωση χρήσης για κρίσιμες υποδομές και τον δημόσιο τομέα.

Πώς συνδέονται τα επίπεδα, από τη βάση έως την επιφάνεια.

Η μηχανή απόδειξης και οι μορφές αναπαραγωγής πίσω από τα πιστοποιητικά.

Το πλαίσιο τρέχει σε Core, Loom και Kera με πιστοποιητικό απόδειξης τύπου AION σε κάθε απόφαση. Διάβασε το υπόστρωμα, τη μηχανή απόδειξης και τις μορφές αναπαραγωγής, ή μίλησέ μας για μια συγκεκριμένη υπηρεσία.

Διάβασε το επίπεδο απόδειξης από την αρχή ως το τέλος.

Αν ένας δημόσιος φορέας χρησιμοποιεί υπολογιστή για να βοηθήσει στην απόφαση για την υπόθεσή σου, μπορείς να ζητήσεις τον λόγο με απλά λόγια, και ένα άτομο πρέπει να τον υποστηρίξει. Αυτό δεν είναι χάρη, έτσι πρέπει να λειτουργεί.

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

Κάνε την τεχνητή νοημοσύνη του δημόσιου τομέα υπερασπίσιμη.

Πρώτα CPU έναντι στοίβας GPU γενετικής τεχνητής νοημοσύνης.

Αναζήτηση υπερδιανυσμάτων σε θερμή διαδρομή αντί για ένα ταξίδι ανάκτησης.

2.900+ λειτουργίες, 76 κατηγορίες, 25 αριθμητικές μορφές, 12 υποσυστήματα.

4 έως 8 ενεργά ανά ερώτημα, μετά την απόδειξη.

Το πλαίσιο τρέχει στην ίδια πλατφόρμα με το υπόλοιπο Dweve. Το Loom συνεισφέρει 528 ειδικούς τομέα με 4 έως 8 ενεργούς ανά ερώτημα, το Core καλύπτει περίπου 408K υλοποιήσεις σε 12 υποσυστήματα, το Lattice εξυπηρετεί αναζητήσεις θερμής διαδρομής στα 1.36 ns, το BitWeave διατηρεί ανάκληση 1.000 σε περίπου 35K QPS σε 10K έγγραφα, και ολόκληρη η στοίβα τρέχει πρώτα CPU με 96% λιγότερη ενέργεια από μια γενετική στοίβα.

Προληπτική διαφάνεια βάσει του Wet open overheid, και η αναλογικότητα που απαιτεί η απόφαση SyRI του 2020, επιβαλλόμενη μέσω αρχιτεκτονικής.

Υποχρεώσεις εξηγησιμότητας και εποπτείας υψηλού κινδύνου, συν μια ανθρώπινη πύλη του Άρθρου 22 του GDPR πριν από οποιαδήποτε απόφαση με νομικό αποτέλεσμα.

Τα RDF και OWL μοντελοποιούν τον τομέα, το PROV-O καταγράφει την προέλευση ανά πεδίο, το SHACL κωδικοποιεί τους κανόνες. Όλα δημοσιευμένα, τίποτα ιδιόκτητο.

Ένα τμήμα αλυσίδας SHA3-256, υπογεγραμμένο με Ed25519, αναπαραγόμενο πανομοιότυπο bit προς bit.

Το Άρθρο 22 του GDPR επιβάλλεται ως πύλη πριν από οποιαδήποτε απόφαση με νομική ισχύ.

Ένα πιστοποιητικό επαληθεύεται εκτός σύνδεσης σε γραμμικό χρόνο, χωρίς να απαιτείται επιλυτής.

Οι περιορισμοί που ενεργοποιήθηκαν, με τη σειρά, καταγράφονται καθώς χτίζεται η απάντηση.

Ο συλλογισμός εκτελείται μέσω ικανοποίησης περιορισμών και εκπέμπει πιστοποιητικό απόδειξης που κάθε επαληθευτής ελέγχει εκτός σύνδεσης, σε γραμμικό χρόνο, χωρίς να ρωτά τον επιλυτή. Το πιστοποιητικό κατονομάζει το υποκείμενο της οντολογίας, τη γενεαλογία PROV-O, το σχήμα SHACL που ενεργοποιήθηκε, την ανθρώπινη πύλη που απαιτείται πριν από τη νομική ισχύ και τη σφραγίδα αναπαραγωγής. Μια άπταιστη αλλά λανθασμένη απάντηση αποτυγχάνει στον έλεγχο.

ένα πιστοποιητικό που μπορείτε να ελέγξετε.

Το αποδεδειγμένο συμπέρασμα, με το ίχνος του, παραδίδεται στο Loom για να το διατυπώσει σε απλά λόγια.

Τα αντιστοιχισμένα σχήματα τροφοδοτούν την ικανοποίηση περιορισμών στο Core, το οποίο εκπέμπει επαληθεύσιμο πιστοποιητικό.

Οι οντότητες του γράφου αντιστοιχίζονται με το σχήμα SHACL που ίσχυε κατά την ημερομηνία.

Τα πεδία με τύπο και γενεαλογία PROV-O γίνονται οντότητες και σχέσεις στον γράφο γνώσης.

Ακολουθήστε ένα μεμονωμένο ερώτημα δημόσιας υπηρεσίας καθώς κατεβαίνει μέσα από τα πέντε επίπεδα. Εισέρχεται ως πεδία με τύπο και συνημμένη προέλευση, δεσμεύεται στην οντολογία RDF και OWL, ενεργοποιεί το σχήμα SHACL που ισχύει κατά την ημερομηνία, παράγει ένα αποτέλεσμα μέσω ικανοποίησης περιορισμών με πιστοποιητικό απόδειξης και μόνο τότε διατυπώνεται από το Loom, μετά την απόδειξη. Κάθε βήμα καταγράφεται, οπότε ολόκληρη η διαδρομή αναπαράγεται πανομοιότυπα bit προς bit.

Το Core παράγει μέσω ικανοποίησης περιορισμών σε 12 υποσυστήματα και εκπέμπει μηχανικά επαληθεύσιμο πιστοποιητικό, αναπαραγόμενο πανομοιότυπο bit προς bit.

Τα σχήματα SHACL κωδικοποιούν πολιτική και νομικούς κανόνες και επικυρώνουν συνεχώς. Μια τιμή γίνεται εκτελέσιμος περιορισμός, όχι σχόλιο.

Τα RDF και OWL μοντελοποιούν τον τομέα ως ερωτήσιμο, αναστρέψιμο γράφο γνώσης. Το Lattice εξυπηρετεί αναζητήσεις ταχείας πρόσβασης στα 1,36 ns.

Ένα ερώτημα υποβαθμίζεται μέσα από πέντε επίπεδα, καθένα αντικαταστάσιμο, καθένα καταγεγραμμένο. Ο τομέας είναι μια ρητή οντολογία RDF και OWL αντί για μάθηση βαρών, η προέλευση είναι PROV-O προσαρτημένη ανά πεδίο, οι κανόνες είναι σχήματα SHACL που επικυρώνονται συνεχώς, η παραγωγή εκτελείται μέσω ικανοποίησης περιορισμών στο Core και το Loom διατυπώνει το αποδεδειγμένο συμπέρασμα μετά την απόδειξη.

Ρωτήστε δύο φορές και θα επιστρέψει ο ίδιος ακριβώς λόγος.

Τα στοιχεία σας παραμένουν στην υπηρεσία, εντός Ευρώπης.

Ένας ξεκάθαρος τρόπος να το ξαναδεί ένας άνθρωπος.

Ένας λόγος που μπορείς να διαβάσεις, που αναφέρει τον κανόνα και την περίπτωσή σου.

Όταν ένας δημόσιος φορέας χρησιμοποιεί υπολογιστή για να αποφασίσει για την υπόθεσή σου, η ευρωπαϊκή νομοθεσία είναι με το μέρος σου. Δικαιούσαι έναν λόγο που μπορείς να διαβάσεις, έναν άνθρωπο που στηρίζει την απόφαση, έναν τρόπο να ρωτήσεις ξανά αν φαίνεται λάθος, και την ασφάλεια ότι τα στοιχεία σου μένουν κοντά στο σπίτι σου. Τίποτα από αυτά δεν κοστίζει επιπλέον. Έτσι απλώς πρέπει να λειτουργεί.

Αν φαίνεται λάθος, ζήτα από έναν άνθρωπο να το ξαναδεί. Ο λόγος κρατήθηκε για σένα.

Ο λόγος φέρει το όνομα του υπαλλήλου που τον ενέκρινε. Όχι μόνο μια μηχανή.

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

Τηλεφώνησε, γράψε ή πήγαινε αυτοπροσώπως. Πες καθαρά: παρακαλώ πείτε μου τον λόγο για αυτή την απόφαση.

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

Μένουν στο γραφείο, εδώ στην Ευρώπη. Δεν στέλνονται για να εκπαιδεύσουν το σύστημα κάποιου άλλου.

Πάντα υπάρχει. Μπορείς να ζητήσεις από έναν άνθρωπο να ξαναδεί, και ο πλήρης λόγος κρατείται στον φάκελο.

Παίρνεις λόγια αντί για αυτό. Ο κανόνας που χρησιμοποιήθηκε, και πώς η υπόθεσή σου ελέγχθηκε με βάση αυτόν.

Μια βαθμολογία που δεν μπορείς να διαβάσεις

Ποτέ. Ένα επώνυμό άτομο έχει τον τελευταίο λόγο για οτιδήποτε επηρεάζει τη ζωή σου.

Είναι φυσικό να νιώθεις άβολα όταν ένας υπολογιστής εμπλέκεται σε μια απόφαση για το επίδομά σου, την άδειά σου ή την υπόθεσή σου. Ορίστε λοιπόν κάθε συνηθισμένη ανησυχία δίπλα στο τι πραγματικά συμβαίνει. Ένας άνθρωπος αποφασίζει πάντα. Παίρνεις πάντα έναν λόγο με απλά λόγια. Και αν φαίνεται λάθος, μπορείς πάντα να ρωτήσεις ξανά.

Κρατημένο με απλά λόγια. Ρώτα ξανά αργότερα και η ίδια απάντηση επιστρέφει.

Ένας επώνυμός υπάλληλος συμφωνεί με το αποτέλεσμα. Ο υπολογιστής βοηθά, ο άνθρωπος αποφασίζει.

Η πραγματική σας κατάσταση συγκρίνεται με αυτόν τον κανόνα, σημείο προς σημείο, και δεν βαθμολογείται με αριθμό.

Σαν τον τιμοκατάλογο στον τοίχο. Ο ίδιος για όλους, γραμμένος πριν μπείτε.

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

Πλήρης διαφάνεια και αναλογικότητα που επιβάλλονται από την αρχιτεκτονική.

Μηχανικά αναγνώσιμα αρχεία καταγραφής και εξαγωγή εθνικού μητρώου αλγορίθμων.

Πύλη ανθρώπου-σε-κύκλο πριν από οποιαδήποτε απόφαση με νομική ισχύ.

Πιστοποιητικό απόδειξης συλλογισμού, ίχνος γλώσσας, σχήμα μεταδεδομένων SHACL.

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

Το Core εκτελεί το σύστημα σε μια δυαδική μηχανή πολλαπλών υποστρωμάτων με αναπαραγωγή πανομοιότυπων bit. Το Kera χαμηλώνει ένα γράφημα σε κάθε στόχο.

Το Loom, με 528 ειδικούς τομέα και 4 έως 8 ενεργούς ανά ερώτημα, βρίσκεται στη συνέχεια. Μετατρέπει ένα αποδεδειγμένο συμπέρασμα σε λέξεις, με το ίχνος επισυναπτόμενο.

Προκύπτει μέσω ικανοποίησης περιορισμών και εκδίδει ένα μηχανικά επαληθεύσιμο πιστοποιητικό απόδειξης. Μια άπταιστη αλλά λανθασμένη απάντηση αποτυγχάνει στην απόδειξη.

Μια ερώτηση γίνεται απάντηση περνώντας από πέντε επίπεδα. Κάθε επίπεδο μπορεί να αντικατασταθεί ανεξάρτητα, κάθε μετάβαση κατάστασης καταγράφεται και είναι ερωτήσιμη, και οποιαδήποτε απόφαση μπορεί να αναιρεθεί και να εξαχθεί εκ νέου από πρώτες αρχές.

Ένα ενοποιημένο σύστημα που είναι αξιόπιστο, νόμιμο και τεκμηριωμένο.

Χωρίς μεταδεδομένα δεν έχει αντικείμενο. Τι αξιολογεί καν;

Χωρίς συμμόρφωση είναι νομικά ανενεργό. Ικανοποιεί τους κανόνες;

Χωρίς προέλευση δεν μπορεί να είναι αξιόπιστο. Από πού προήλθε;

Το πλαίσιο δεν αντιμετωπίζει αυτά τα τρία ως ξεχωριστά συστήματα, αλλά ως τρεις όψεις του ίδιου πράγματος. Τα μεταδεδομένα χωρίς προέλευση δεν μπορούν να θεωρηθούν αξιόπιστα. Η προέλευση χωρίς συμμόρφωση είναι νομικά άνευ ισχύος. Η συμμόρφωση χωρίς μεταδεδομένα δεν έχει αντικείμενο. Ένα ενιαίο ολοκληρωμένο σύστημα πρέπει να τα φέρει και τα τρία ταυτόχρονα.