Zobrazeno 1 - 10
of 88
pro vyhledávání: '"Rushby, John"'
Autor:
Bloomfield, Robin, Rushby, John
Publikováno v:
Expanded version of a paper from "The Practice of Formal Methods: Essays in Honour of Cliff Jones", Part I. Springer LNCS 14780, pp. 1--23, Sep. 2024
An assurance case should provide justifiable confidence in the truth of a claim about some critical property of a system or procedure, such as safety or security. We consider how confidence can be assessed in the rigorous approach we call Assurance 2
Externí odkaz:
http://arxiv.org/abs/2409.10665
Autor:
Murugesan, Anitha, Wong, Isaac, Arias, Joaquín, Stroud, Robert, Varadarajan, Srivatsan, Salazar, Elmer, Gupta, Gopal, Bloomfield, Robin, Rushby, John
Assurance cases offer a structured way to present arguments and evidence for certification of systems where safety and security are critical. However, creating and evaluating these assurance cases can be complex and challenging, even for systems of m
Externí odkaz:
http://arxiv.org/abs/2408.11699
Autor:
Bloomfield, Robin, Rushby, John
We outline the principles of classical assurance for computer-based systems that pose significant risks. We then consider application of these principles to systems that employ Artificial Intelligence (AI) and Machine Learning (ML). A key element in
Externí odkaz:
http://arxiv.org/abs/2407.13948
A traditional assurance case employs a positive argument in which reasoning steps, grounded on evidence and assumptions, sustain a top claim that has external significance. Human judgement is required to check the evidence, the assumptions, and the n
Externí odkaz:
http://arxiv.org/abs/2405.15800
Autor:
Rushby, John
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 brains of individuals to create shared intentionality. Using the informa
Externí odkaz:
http://arxiv.org/abs/2306.13657
Autor:
Rushby, John, Sanchez, Daniel
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 assess the possibility of machine consciousness, and its potential implic
Externí odkaz:
http://arxiv.org/abs/2209.03956
Autor:
Jha, Susmit, Rushby, John
Shared intentionality is a critical component in developing conscious AI agents capable of collaboration, self-reflection, deliberation, and reasoning. We formulate inference of shared intentionality as an inverse reinforcement learning problem with
Externí odkaz:
http://arxiv.org/abs/2207.05058
A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument
Autor:
Rushby, John
Publikováno v:
Chapter 13 in "Beyond Faith and Rationality: Essays on Logic, Religion and Philosophy", Springer, Sept. 2020
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 different but related criteria for a premise to beg the question in f
Externí odkaz:
http://arxiv.org/abs/2205.14071
Autor:
Rushby, John
Publikováno v:
International Journal for Philosophy of Religion, vol. 89, pp. 135-152, April 2021
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 published formalizations for the argument and show they are all essentially si
Externí odkaz:
http://arxiv.org/abs/2205.08628
Autor:
Rushby, John
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. This report describes embeddings of propositional and quanti
Externí odkaz:
http://arxiv.org/abs/2205.06391