Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)

التفاصيل البيبلوغرافية
العنوان:	Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)
المؤلفون:	Troquard, Nicolas, De Sanctis, Martina, Inverardi, Paola, Pelliccione, Patrizio, Scoccia, Gian Luca
سنة النشر:	2023
المجموعة:	Computer Science
مصطلحات موضوعية:	Computer Science - Artificial Intelligence
الوصف:	The rise of AI-based and autonomous systems is raising concerns and apprehension due to potential negative repercussions stemming from their behavior or decisions. These systems must be designed to comply with the human contexts in which they will operate. To this extent, Townsend et al. (2022) introduce the concept of SLEEC (social, legal, ethical, empathetic, or cultural) rules that aim to facilitate the formulation, verification, and enforcement of the rules AI-based and autonomous systems should obey. They lay out a methodology to elicit them and to let philosophers, lawyers, domain experts, and others to formulate them in natural language. To enable their effective use in AI systems, it is necessary to translate these rules systematically into a formal language that supports automated reasoning. In this study, we first conduct a linguistic analysis of the SLEEC rules pattern, which justifies the translation of SLEEC rules into classical logic. Then we investigate the computational complexity of reasoning about SLEEC rules and show how logical programming frameworks can be employed to implement SLEEC rules in practical scenarios. The result is a readily applicable strategy for implementing AI systems that conform to norms expressed as SLEEC rules. Comment: In proceedings of the 38th Annual AAAI Conference on Artificial Intelligence
نوع الوثيقة:	Working Paper
DOI:	10.1609/aaai.v38i20.30245
URL الوصول:	http://arxiv.org/abs/2312.09699
رقم الأكسشن:	edsarx.2312.09699
قاعدة البيانات:	arXiv

الوصف
DOI:	10.1609/aaai.v38i20.30245