Hersengolf authenticatie

Dit proefschrift combineert informatiebeveiliging, cognitieve neurowetenschappen, logica en kunstmatige intelligentie om een nieuw type van credential te creëren dat de levendigheid en rationaliteit van de gebruiker verzekert - een dynamische 'hersenafdruk', waarbij we willen weten of, wanneer en in wat het zou kunnen overgaan, terwijl we ook enigszins de normale veranderlijkheid doorheen de tijd kunnen vastleggen. Het proefschrift begint met het zoeken naar een credential die het vermogen van de gebruiker om rationeel en verantwoordelijk te handelen, kan overbrengen, en ook kan dienstdoen als een vroege waarschuwing en preklinische diagnose/voorspellende classificatie voor mogelijke abnormale mentale toestanden (door ziekte, burn-out, druggebruik, extreme fysieke omstandigheden etc.) Er wordt een hersengolf authenticatieschema gedefinieerd, dat gebaseerd is op emotionele reacties (waarbij emotioneel geladen woorden als stimuli worden gebruikt), waarbij de neurale responsen een symbolische weergave krijgen en een formele taal over het hersenalfabet al kan voorgesteld worden. We hebben dus de corticale respons - symbolische vertaling - natuurlijke taal-tensoren, die een directe link creëren tussen corticale representatie van verschillende soorten concepten en taalsemantiek, waardoor het mogelijk wordt om menselijke redenering formeel te kunnen analyseren - een op Minsky/Turing geïnspireerde systeemspecificatie en verificatie van de menselijke geest. Dit zou het vereenvoudigen om breuken in de logica, hun oorzaken en classificatie te lokaliseren en te definiëren. (Bijv. de redenering van een vermeende schizofreen of de analyse van dementie). Aangezien we BCI gebruiken en de verbanden tussen menselijke gedachten (proberen te) emuleren (en definiëren) met symbolische redenering, kan dit worden vertaald naar intelligente autonome systemen - of hybride systemen - menselijke gedachten die rechtstreeks naar een interface worden overgebracht, en het vermogen om informatie van meerdere dergelijke bronnen te extraheren en een conclusie te bereiken, hoewel ze misschien verschillende soorten input hebben (intelligent battlefield, bijvoorbeeld). Dit werk draait dus om de geest - het formaliseren van de menselijke geest - een wiskunde van de geest.