4 citations · 18 across the 9 of their papers we have counts for
6 papers · 1 filter
Technology and Consciousness
John Rushby, Daniel Sanchez
We report on a series of eight workshops held in the summer of 2017 on the topic "technology and consciousness." The workshops covered many subjects but the overall goal was to ass…
Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions
Susmit Jha, John Rushby
Shared intentionality is a critical component in developing conscious AI agents capable of collaboration, self-reflection, deliberation, and reasoning. We formulate inference of sh…
A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument
John Rushby
I use mechanized verification to examine several first- and higher-order formalizations of Anselm's Ontological Argument against the charge of begging the question. I propose three…
PVS Embeddings of Propositional and Quantified Modal Logic
John Rushby
Modal logics allow reasoning about various modes of truth: for example, what it means for something to be possibly true, or to know that something is true as opposed to merely beli…
Mechanized Analysis of Anselm's Modal Ontological Argument
John Rushby
We use a mechanized verification system, PVS, to examine the argument from Anselm's Proslogion Chapter III, the so-called "Modal Ontological Argument." We consider several publishe…
Assessing Confidence with Assurance 2.0
Robin Bloomfield, John Rushby
An assurance case is intended to provide justifiable confidence in the truth of its top claim, which typically concerns safety or security. A natural question is then "how much" co…