Search Results for author:
Found 6 papers, 0 papers with code
On Computational Mechanisms for Shared Intentionality, and Speculation on Rationality and Consciousness
A singular attribute of humankind is our ability to undertake novel, cooperative behavior, or teamwork.
Technology and Consciousness
We report on a series of eight workshops held in the summer of 2017 on the topic "technology and consciousness."
Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions
Shared intentionality is a critical component in developing conscious AI agents capable of collaboration, self-reflection, deliberation, and reasoning.
PVS Embeddings of Propositional and Quantified Modal Logic
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 believing it.
Assessing Confidence with Assurance 2.0
Positive Perspectives consider the extent to which the evidence and overall argument of the case combine to make a positive statement justifying belief in its claims.
Assurance 2.0: A Manifesto
System assurance is confronted by significant challenges.
Software Engineering Systems and Control Systems and Control
