Thomas F. Lidbetter

dblp:186/8273 · also Thomas Finn Lidbetter · DBLP profile ↗
← Back
4ranked-venue papers
0as first author
1since 2021 · last 2022
0000-0003-0116-1175ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 3 · 1 since 2021Artificial intelligence and machine learning · 1Human-computer interaction and ubiquitous computing · 1
YearPublicationVenuePosition
2022 Computational aspects of sturdy and flimsy numbers
Trevor Clokie, Thomas F. Lidbetter, Antonio Molina Lovett, Jeffrey Shallit, Leon Witzman
Theor. Comput. Sci.2
2018 Towards Provably Moral AI Agents in Bottom-up Learning Frameworks
abstract
We examine moral machine decision making as inspired by a central question posed by Rossi with respect to moral preferences: can AI systems based on statistical machine learning (which do not provide a natural way to explain or justify their decisions) be used for embedding morality into a machine in a way that allows us to prove that nothing morally wrong will happen? We argue for an evaluation which is held to the same standards as a human agent, removing the demand that ethical behaviour is always achieved. We introduce four key meta-qualities desired for our moral standards, and then proceed to clarify how we can prove that an agent will correctly learn to perform moral actions given a set of samples within certain error bounds. Our group-dynamic approach enables us to demonstrate that the learned models converge to a common function to achieve stability. We further explain a valuable intrinsic consistency check made possible through the derivation of logical statements from the machine learning model. In all, this work proposes an approach for building ethical AI systems, coming from the perspective of artificial intelligence research, and sheds important light on understanding how much learning is required in order for an intelligent agent to behave morally with negligible error.
Nolan P. Shaw, Andreas Stöckel, Ryan W. Orr, Thomas F. Lidbetter, Robin Cohen
AIES4
2018 Additive Number Theory via Approximation by Regular Languages
Jason P. Bell, Thomas F. Lidbetter, Jeffrey Shallit
DLT2
2018 Counting Subwords and Regular Languages
Charles J. Colbourn, Ryan E. Dougherty, Thomas F. Lidbetter, Jeffrey Shallit
DLT3