COMMON-SENSE SUPPORT FOR AUTONOMOUS AND ROBUST DECISION MAKI NG

Future space science mission will involve unmanned spacecrafts performing in hazardous environment at far distance from Earth. We therefore theoretically address the problem of making autonomous and robust decisions wrt inconsistent and uncertain information. To achieve such decisions, we propose to equip a spacecraft with the paraconsistent probabilistic reasoning, which is a new technique to infer information from inconsistent and probabilistic knowledge bases. This technique satisfies several principles indented to define the common sense. We also proposeto designthe programmedspacecraftbehaviours in a synchronous language; such language are utilised to develop, verify, and certify safety-critical embedded system. By injecting some common sense into decision systems, we hope to make them more trustworthy.