Credibility logic for artificial intelligence

Xinjia Chen

doi:10.1117/12.2663297

14 June 2023 Credibility logic for artificial intelligence

Xinjia Chen

Proceedings Volume 12549, Unmanned Systems Technology XXV; 125490N (2023) https://doi.org/10.1117/12.2663297
Event: SPIE Defense + Commercial Sensing, 2023, Orlando, Florida, United States

Conference Poster

Abstract

The limitations of current logical systems in addressing vagueness and randomness restrict their application in the field of artificial intelligence (AI). To address this issue, we introduce an axiomatic mathematical system called statemental credibility logic (SCL). First, we jointly define logical operations and equivalence. Then, we introduce the concept of a truth measure. By extending the law of excluded middle and the law of non-contradiction, and using them in conjunction with other self-evident rules in the axiomization of SCL, we can incorporate classical propositional calculus and probability theory. Furthermore, SCL can handle statements that exhibit varying degrees of vagueness and randomness. We also extend SCL to deal with predicates that involve uncertainty. We believe that SCL and its extension have the potential to improve the reasoning capabilities of intelligent systems.

Citation Download Citation

Xinjia Chen "Credibility logic for artificial intelligence", Proc. SPIE 12549, Unmanned Systems Technology XXV, 125490N (14 June 2023); https://doi.org/10.1117/12.2663297

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