On combining automated theorem proving and digital engineering for general intelligence

Tyler Cody; Peter A. Beling

doi:10.1117/12.2664145

15 June 2023 On combining automated theorem proving and digital engineering for general intelligence

Tyler Cody, Peter A. Beling

Proceedings Volume 12542, Disruptive Technologies in Information Sciences VII; 125420J (2023) https://doi.org/10.1117/12.2664145
Event: SPIE Defense + Commercial Sensing, 2023, Orlando, Florida, United States

Abstract

In recent years, engineering intelligent systems has become closely related to integrating artificial intelligence (AI) or machine learning (ML) components into systems. There is a general sense that as the availability of computational resources scales, the intelligence of AI and ML components will scale, thus scaling the intelligence of the system as a whole. While this bottom-up approach has merit, it takes the task of engineering intelligence out of the hands of systems engineers and gives it to AI and ML engineers. In this paper, an alternative approach to engineering intelligence is outlined based on combining the concepts of automated theorem proving (ATP) and digital engineering. Instead of using AI and ML at the component-level, ATP can be applied at the systems-level to digital models and environments. By systematically solving proofs related to properties, functional requirements, and performance, ATP can contribute to the design, operation, and regulation of intelligent systems. This paper substantiates the use of ATP in digital engineering by using model-based systems engineering as an interface between the two. This paper illustrates this interface with a descriptive example in unmanned aerial systems. Ultimately, the use of ATP with digital engineering provides a top-down, systems-centric alternative to using AI and ML components as the primary means of engineering intelligence.

Conference Presentation

Citation Download Citation

Tyler Cody and Peter A. Beling "On combining automated theorem proving and digital engineering for general intelligence", Proc. SPIE 12542, Disruptive Technologies in Information Sciences VII, 125420J (15 June 2023); https://doi.org/10.1117/12.2664145

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available