research
∙
07/06/2022
Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions
Shared intentionality is a critical component in developing conscious AI...
research
∙
05/27/2022
A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument
I use mechanized verification to examine several first- and higher-order...
research
∙
05/17/2022
Mechanized Analysis of Anselm's Modal Ontological Argument
We use a mechanized verification system, PVS, to examine the argument fr...
research
∙
05/12/2022
PVS Embeddings of Propositional and Quantified Modal Logic
Modal logics allow reasoning about various modes of truth: for example, ...
research
∙
05/03/2022
Assessing Confidence with Assurance 2.0
An assurance case is intended to provide justifiable confidence in the t...
research
∙
04/22/2020
Assurance 2.0: A Manifesto
System assurance is confronted by significant challenges. Some of these ...
research
∙
04/22/2020