Statemental algebra and truth calculus for unmanned systems

Chen, Xinjia

doi:10.1117/12.2663294

Unmanned Systems Technology XXV 2023

DOI: 10.1117/12.2663294

|View full text |Cite

Statemental algebra and truth calculus for unmanned systems

Xinjia Chen

Abstract: One crucial capability of unmanned systems is their ability to make decisions and inferences like humans. In this paper, we develop a novel logical system that imitates the way humans engage in reasoning with statements possessing varying degrees of ambiguity and unpredictability. Our proposed logical system is constructed using an axiomatic approach with self-evident rules, which allows us to define statemental operations and logical equivalence without the need for a concept of truth valuation. Our logical s… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2023

2024

Publication Types

Select...

Other4

Relationship

Self Cite2

Independent2

Authors

Journals

Cited by 4 publications

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Statemental analysis for intelligent systems

Chen

2023

Unmanned Systems Technology XXV

Self Cite

View full text Add to dashboard Cite

In today's world, intelligent systems are expected to handle diverse types of events that can be represented as dichotomy, probabilistic, fuzzy, or mixed statements. This paper proposes an analytic framework called "statemental analysis," which deals with the operations and truth values of finite and infinite sequences of statements of various categories. The framework treats vagueness and randomness in a unified manner using the concepts of statemental algebra and truth analysis. It allows for generalization of many results in probability theory to statements with significant implications. We demonstrate the utility of the proposed framework with an example of reliability analysis of uncertain systems.

show abstract

Statemental analysis for intelligent systems

Chen

2023

Unmanned Systems Technology XXV

Self Cite

View full text Add to dashboard Cite

show abstract

Credibility logic for artificial intelligence

Chen

2023

Unmanned Systems Technology XXV

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Earthling logic for intelligent control

Chen

2024

Unmanned Systems Technology XXVI

View full text Add to dashboard Cite

Intelligent control techniques are playing increasingly vital roles in modern unmanned systems. While Boolean logic, probability theory, and fuzzy logic are prominent reasoning methods for intelligent control, they each have their own limitations. To address these constraints, we introduce a novel inference system called Earthling Logic (EL) into the field of intelligent control. Specifically, we propose the Earthling Logic Control framework for unmanned systems.In the EL framework, all events are treated as statements with varying degrees of truth, known as credibility or truth value, which can accommodate both vagueness and randomness as specific attributes. We can establish the existence of this credibility under broad and general conditions. Furthermore, we have developed analytically simple and computationally efficient techniques for deducing the credibility of statements based on the credibility of their premises. The proposed EL has the potential to enhance artificial intelligence's reasoning capabilities and aid humans in understanding themselves from the perspectives of thought, language, and cognition.

show abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

Statemental algebra and truth calculus for unmanned systems

Cited by 4 publications

References 18 publications

Statemental analysis for intelligent systems

Statemental analysis for intelligent systems

Credibility logic for artificial intelligence

Earthling logic for intelligent control

Contact Info

Product

Resources

About