4 citations · 18 across the 9 of their papers we have counts for
9 papers
On Computational Mechanisms for Shared Intentionality, and Speculation on Rationality and Consciousness
John Rushby
A singular attribute of humankind is our ability to undertake novel, cooperative behavior, or teamwork. This requires that we can communicate goals, plans, and ideas between the br…
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…
Assurance 2.0: A Manifesto
Robin Bloomfield, John Rushby
System assurance is confronted by significant challenges. Some of these are new, for example, autonomous systems with major functions driven by machine learning and AI, and ultra-r…
Evaluating the Assessment of Software Fault-Freeness
John Rushby, Bev Littlewood, Lorenzo Strigini
We propose to validate experimentally a theory of software certification that proceeds from assessment of confidence in fault-freeness (due to standards) to conservative prediction…