Search Results for author:
Found 7 papers, 1 papers with code
Specifying Agent Ethics (Blue Sky Ideas)
We consider the question of what properties a Machine Ethics system should have.
Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement
An increasing amount of research in Natural Language Inference (NLI) focuses on the application and evaluation of Large Language Models (LLMs) and their reasoning capabilities.
Autonomous Systems' Safety Cases for use in UK Nuclear Environments
An overview of the process to develop a safety case for an autonomous robot deployment on a nuclear site in the UK is described and a safety case for a hypothetical robot incorporating AI is presented.
Advising Autonomous Cars about the Rules of the Road
This paper describes (R)ules (o)f (T)he (R)oad (A)dvisor, an agent that provides recommended and possible actions to be generated from a set of human-level rules.
Adaptable and Verifiable BDI Reasoning
Long-term autonomy requires autonomous systems to adapt as their capabilities no longer perform as expected.
Formal Verification of Autonomous Vehicle Platooning
However, as the formal verification technique used to verify the agent code does not scale to the full system and as the global verification technique does not capture the essential verification of autonomous behavior, we use a combination of the two approaches.
Towards Verifiably Ethical Robot Behaviour
Ensuring that autonomous systems work ethically is both complex and difficult.
