Processing

Please wait...

Settings

Settings

Goto Application

1. US10095230 - Verified inference engine for autonomy

Office
United States of America
Application Number 15264587
Application Date 13.09.2016
Publication Number 10095230
Publication Date 09.10.2018
Grant Number 10095230
Grant Date 09.10.2018
Publication Kind B1
IPC
G05D 1/00
GPHYSICS
05CONTROLLING; REGULATING
DSYSTEMS FOR CONTROLLING OR REGULATING NON-ELECTRIC VARIABLES
1Control of position, course, altitude, or attitude of land, water, air, or space vehicles, e.g. automatic pilot
G06N 5/04
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
NCOMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
5Computer systems using knowledge-based models
04Inference methods or devices
CPC
G05D 1/0088
GPHYSICS
05CONTROLLING; REGULATING
DSYSTEMS FOR CONTROLLING OR REGULATING NON-ELECTRIC VARIABLES
1Control of position, course or altitude of land, water, air, or space vehicles, e.g. automatic pilot
0088characterized by the autonomous decision making process, e.g. artificial intelligence, predefined behaviours
G06N 5/046
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
NCOMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
5Computer systems using knowledge-based models
04Inference methods or devices
046Forward inferencing; Production systems
Applicants Rockwell Collins, Inc.
Inventors David S. Hardin
Agents Donna P. Suchy
Daniel M. Barbieri
Title
(EN) Verified inference engine for autonomy
Abstract
(EN)

An autonomous vehicle system includes one or more output devices, one or more input sources, and a controller. In some embodiments, a verified inference engine is used by the controller to generate outputs for the output devices from inputs received from the input sources. The inference engine may be verified to be mathematically correct with an automated theorem proving tool. The automated theorem proving tool may verify that the inference engine meets the design requirements of standards such as DO-178C Level A and/or EAL-7. The controller is configured to validate the inputs received from the input sources, store the validated inputs in a fact base, generate outputs from the validated inputs, validate the one or more outputs, and provide the one or more validated outputs to the output devices.