研究者提出HAIDL人机交互形式化模型
热点事件持续更新
研究者提出HAIDL人机交互形式化模型
1 篇报道1 个报道来源17 小时前更新
先了解这件事
AI 综述
研究者在 arXiv 提交论文（arXiv:2610.40006），提出 HAIDL（Human-AI Interaction Description Language），一种采用 Backus-Naur Form 风格语法的正式人机交互模型，将每次交互编码为包含计算上下文、用户请求、AI 响应、反馈、溯源和模型元数据的结构化对象。论文称这些交互构成一类需要形式化表示的新数据。 配套的 HAIDL-X 是 JupyterLab 中间件，负责捕获状态、构建上下文化提示词、对接 AI 提供方并存储交互数据；其上的学习层将交互对象与 notebook 执行轨迹映射为参与度、表现、求助行为等可复现指标。
AI 根据报道生成 · 1 小时前更新
最新进展10月29日 21:23
HAIDL：将人机交互作为一等数据的形式化交互模型与运行时报道时间线
沿着报道，了解事件的不同侧面。
10月29日
- arXiv · cs.AIHAIDL：将人机交互作为一等数据的形式化交互模型与运行时
研究者提出 HAIDL（Human-AI Interaction Description Language），一种采用 Backus-Naur Form 风格语法的正式人机交互模型，将每次交互编码为包含计算上下文、用户请求、AI 响应、反馈、溯源和模型元数据的结构化对象。配套的 HAIDL-X 是 JupyterLab 中间件，负责捕获状态、构建上下文化提示词、对接 AI 提供方并存储交互数据；其上的学习层将交互对象与 notebook 执行轨迹映射为参与度、表现、求助行为等可复现指标。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。