Formalization of mathematical proof practice through an argumentation-based model
Proof requires a dialogue between agents to clarify obscure inference steps, fill gaps, or
reveal implicit assumptions in a purported proof. Hence, argumentation is an integral …
reveal implicit assumptions in a purported proof. Hence, argumentation is an integral …
Formalization of ethical decision making: implementation in the data privacy of wearable robots
As automation in robotics and artificial intelligence is increasing, we will need to automate a
growing amount of ethical decision making. However, ethical decision-making raises novel …
growing amount of ethical decision making. However, ethical decision-making raises novel …
Human-Robot Dialogue that Elicits The Alignment of Moral Principles For Driverless Vehicles
G Angelopoulos, V Estivill-Castro - Companion of the 2024 ACM/IEEE …, 2024 - dl.acm.org
The emergence of autonomous vehicles has raised ethical considerations regarding their
controlling software. The focus is on defining ethical settings that determine the response to …
controlling software. The focus is on defining ethical settings that determine the response to …
The Ethics of Artificial Intelligence: Sociopolitical and Legal Dimensions
J Wang, W Mao, W Wenjie - … Studies in Society, Law, and Politics, 2023 - journalisslp.com
This study aims to explore the ethical dimensions of artificial intelligence (AI), focusing on its
sociopolitical and legal implications. It seeks to identify and analyze the primary ethical …
sociopolitical and legal implications. It seeks to identify and analyze the primary ethical …
The Evolution of Consumer Rights in the Digital Marketplace
A Samad, M Zakir, S Ghori - … Studies in Society, Law, and Politics, 2023 - journalisslp.com
This study aims to explore the evolution of consumer rights in the digital marketplace,
focusing on how technological advancements and changing consumer behaviors have …
focusing on how technological advancements and changing consumer behaviors have …