Earthling reasoning for intelligent systems

Xinjia Chen

doi:10.1117/12.3013234

7 June 2024 Earthling reasoning for intelligent systems

Xinjia Chen

Proceedings Volume 13055, Unmanned Systems Technology XXVI; 130550N (2024) https://doi.org/10.1117/12.3013234
Event: SPIE Defense + Commercial Sensing, 2024, National Harbor, Maryland, United States

Conference Poster

Abstract

Modern unmanned systems require the capability to make intelligent decisions in the face of uncertain information. Existing logical frameworks often fall short in addressing the inherent vagueness and randomness present in the available data. In this paper, we introduce an innovative reasoning system called Earthling Logic (EL), developed by emulating the mechanism of human reasoning. EL extends classical propositional and predicate logic to accommodate statements that exhibit varying degrees of vagueness and randomness. Within the framework of EL, we establish statemental algebras and truth measures. We introduce the notions of syntactical consequences and semantical consequences. Building on these ideas, we develop a general deduction principle that rigorously manages uncertainty when deriving statements from premises. We are able to establish the soundness and completeness of this deduction method. Additionally, we provide a general framework for decision-making based on EL, which can enhance the reasoning abilities of intelligent systems.

(2024) Published by SPIE. Downloading of the abstract is permitted for personal use only.

Citation Download Citation

Xinjia Chen "Earthling reasoning for intelligent systems", Proc. SPIE 13055, Unmanned Systems Technology XXVI, 130550N (7 June 2024); https://doi.org/10.1117/12.3013234

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