Explaining Themselves and Making Friends: Towards Formalising the Sociability of Autonomous Agents

While autonomous systems are integrated into more and more close-to-human application domains, we investigate sociability as a necessary extra-functional system property to ensure their integrability into diverse societies. To enable formalisation and formal validation of sociability of autonomous systems, we derive requirements for social rules from interdisciplinary sources. We further discuss explainability as a tool
for understanding social actions of autonomous systems.