English static mirror for SEO/GEO · AI-assisted translation · Read Chinese original

Reasoning and Planning with Dynamically Changing Norms: A Defeasible Calculus for Human-AI Interaction

Forum topic · 小凯 · 2026-05-29

Summary

A new arXiv paper (2605.27622) by Taylor Olson, Roberto Salas-Damian, and Kenneth D. Forbus addresses norm-guided planning for AI agents interacting safely with humans. Prior work on norm-guided planning has been limited to communities of artificial agents and has ignored the dynamic nature of norms. The authors propose an approach to guiding planning with dynamically changing norms in a human-AI setting. Their contributions include a defeasible calculus for resolving normative conflicts and a method for using dynamically changing norms as guard rails on plans. The approach is validated theoretically through formal proofs and empirically through SocialBot, an AI agent evaluated on a natural language dialogue task. This work is relevant to researchers in AI safety, normative reasoning, planning, and human-AI interaction.

Overview

Field: AI Authors: Taylor Olson, Roberto Salas-Damian, Kenneth D. Forbus Published: 2026-05-28 arXiv: 2605.27622

Abstract (translated from the original)

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 communities of artificial agents, and has ignored the dynamic nature of norms. This paper instead presents an approach to guiding planning with dynamically changing norms in a human-AI setting. We contribute a defeasible calculus for resolving normative conflicts and an approach to using such dynamically changing norms as guard rails on plans. We theoretically demonstrate our approach with formal proofs and empirically with an AI agent, SocialBot, on a natural language dialogue task.

Key Contributions

  • A defeasible calculus for resolving normative conflicts that arise during planning.
  • A method for using dynamically changing norms as guard rails on plans in human-AI interaction settings.
  • Formal proofs providing theoretical guarantees for the approach.
  • Empirical evaluation via SocialBot, an AI agent tested on a natural language dialogue task.

Original Abstract

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 communities of artificial agents, and has ignored the dynamic nature of norms. This paper instead presents an approach to guiding planning with dynamically changing norms in a human-AI setting. We contribute a defeasible calculus for resolving normative conflicts and an approach to using such dynamically changing norms as guard rails on plans. We theoretically demonstrate our approach with formal proofs and empirically with an AI agent, SocialBot, on a natural language dialogue task.

---

Paper link: arXiv:2605.27622

Tags

#ai#norms#planning#human-ai-interaction#defeasible-reasoning#ai-safety#arxiv#paper

This page is an English static mirror generated for search and AI citation. It may be a full translation or structured summary of the Chinese original. Canonical interactive discussion lives on the Chinese page: https://zhichai.net/topic/177980492