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.
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 system includes both statemental algebra and truth calculus, which are designed to manipulate statements and assess their credibility. We believe that our proposed logical system has the potential to enhance the intelligence of unmanned systems.
Xinjia Chen
"Statemental algebra and truth calculus for unmanned systems", Proc. SPIE 12549, Unmanned Systems Technology XXV, 125490L (14 June 2023); https://doi.org/10.1117/12.2663294
ACCESS THE FULL ARTICLE
INSTITUTIONAL Select your institution to access the SPIE Digital Library.
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.
The alert did not successfully save. Please try again later.
Xinjia Chen, "Statemental algebra and truth calculus for unmanned systems," Proc. SPIE 12549, Unmanned Systems Technology XXV, 125490L (14 June 2023); https://doi.org/10.1117/12.2663294