2 papers
cs.AI2026
Reasoning and Planning with Dynamically Changing Norms
Taylor Olson, Roberto Salas-Damian, Kenneth D. Forbus
To safely interact with humans, AI agents must both know our norms and consider them during planning. However, such norm-guided planning has been less explored, only within communi…
cs.AI2026
Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
Taylor Olson
The field of machine ethics aims to build Artificial Moral Agents (AMAs) to better understand morality and make AI agents safer. To do so, many approaches encode human moral intuit…