Xinjia Chen

Statemental algebra and truth calculus for unmanned systems

2023

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 …