跳到正文
热点事件持续更新

研究者提出人机交互形式化模型HAIDL及中间件HAIDL-X

1 篇报道1 个报道来源2 小时前更新

先了解这件事

AI 综述

Taufer等研究者在arXiv:2610.40006论文中提出人机交互描述语言HAIDL,用类Backus-Naur形式的语法把每次人机交互编码为包含计算上下文、用户请求、提示词、AI响应、反馈、来源和模型元数据的结构化对象。他们同时发布了配套的JupyterLab中间件HAIDL-X。 按论文的说法,人机交互应被视为一类需要形式化表示的新数据,使其成为可复用数据而非瞬时的提示-响应交换。

AI 根据报道生成 · 49 分钟前更新

报道时间线

沿着报道,了解事件的不同侧面。

10月31日
  1. arXiv cs.AI
    HAIDL:将人机交互作为一等数据的可解释 AI 协作形式化模型与运行时

    研究者提出人机交互描述语言 HAIDL,用类 Backus-Naur 形式的语法把每次人机交互编码为包含计算上下文、用户请求、提示词、AI 响应、反馈、来源和模型元数据的结构化对象,使交互成为可复用数据而非瞬时的提示-响应交换。

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。