将人类语言描述自动转化为可执行的认知决策规则,无需人工干预。
NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework
- 用微调大模型将自然语言转为线性时序逻辑,再通过无监督批评树优化
- 在驾驶模拟中基于70次真实场景试驾数据,自动构建出符合人类行为的智能体
- 适合需要快速构建可解释认知模型的研究者和开发者
认知计算模型为表征人类思辨与决策提供了形式化且可解释的路径,但其开发仍高度依赖人力。本文提出NL2CA,一种从人类经验的自然语言描述中自动形式化认知决策规则的新方法。不同于多数依赖人工或人机交互的现有工作,本方法完全自动化,无需任何人工介入。首先利用微调的大语言模型将文本转化为线性时序逻辑(LTL),再通过无监督批评树(Critic Tree)进行逻辑精炼,最终将结果转换为兼容符号认知框架的可执行生产规则。基于生成的规则,进一步构建并优化认知智能体,使用真实世界行为数据进行认知强化学习。在两个领域验证:(1) NL到LTL翻译任务中,我们的CriticNL2LTL模块在专家级与大规模基准上均表现稳定,无需人工反馈;(2) 认知驾驶仿真中,由人类访谈自动生成的智能体成功学习了约70次不同关键场景下的多样化决策模式。实验表明,NL2CA实现了从非结构化文本中可扩展、可解释且与人类对齐的认知建模,为自动设计符号认知智能体提供了新范式。
原文摘要 · Abstract (English)
Cognitive computing models offer a formal and interpretable way to characterize human's deliberation and decision-making, yet their development remains labor-intensive. In this paper, we propose NL2CA, a novel method for auto-formalizing cognitive decision-making rules from natural language descriptions of human experience. Different from most related work that exploits either pure manual or human guided interactive modeling, our method is fully automated without any human intervention. The approach first translates text into Linear Temporal Logic (LTL) using a fine-tuned large language model (LLM), then refines the logic via an unsupervised Critic Tree, and finally transforms the output into executable production rules compatible with symbolic cognitive frameworks. Based on the resulted rules, a cognitive agent is further constructed and optimized through cognitive reinforcement learning according to the real-world behavioral data. Our method is validated in two domains: (1) NL-to-LTL translation, where our CriticNL2LTL module achieves consistent performance across both expert and large-scale benchmarks without human-in-the-loop feed-backs, and (2) cognitive driving simulation, where agents automatically constructed from human interviews have successfully learned the diverse decision patterns of about 70 trials in different critical scenarios. Experimental results demonstrate that NL2CA enables scalable, interpretable, and human-aligned cognitive modeling from unstructured textual data, offering a novel paradigm to automatically design symbolic cognitive agents.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。