AI & Law: Legal Insights On The Formal Verification Of AI Systems
--
by Dr. Lance B. Eliot
For a free podcast of this article, visit this link https://ai-law.libsyn.com/website or find our AI & Law podcast series on Spotify, iTunes, iHeartRadio, plus on other audio services. For the latest trends about AI & Law, visit our website www.ai-law.legal
Abstract: There is an abundance of AI systems being built and fielded, often doing so in a pell-mell rush to get into the marketplace soonest possible. Many of these AI systems are skirting around the verification and validation (V&V) that ought to be taking place. Lawyers are going to be sought to help clients that have gotten into hot water over unsavory AI. AI-savvy lawyers should be generally familiar with the underpinnings of formal verification of computing systems.
Key briefing points about this article:
- AI is increasingly being used throughout societal applications
- Much of the AI is being pell-mell rushed into being fielded
- A lack of dutiful verification and validation (V&V) is widespread
- Lawyers are going to be brought in and asked to deal with unsavory AI
- We provide herein a brief overview of formal verification in the computing realm
Section 1: Introduction
In your lawyering capacity, imagine that you have taken on a new client that has gotten into some hot water due to their AI system.
The client is a firm that has crafted an AI system that provides a tremendous capability and the company has quickly gained market share in their industry via leveraging this outsized state-of-the-art innovation which is based on Machine Learning (ML) and Deep Learning (DL). The ML/DL entails computational pattern matching, a facility that has been the underpinning for many of today’s best-known AI apps, including the widely heralded Alexa and Siri conversationally interactive systems.
Competitors are being left behind in the dust. The firm has gotten blazing headlines for its clever use of AI, especially since its system embodies algorithmic decision making (ADM). The software is used to render real-time decisions, having replaced the traditional use of human labor…
