如您所愿：使用大语言模型进行形式化验证的精准农业任务规划

Marcos Abel Zuzuárregui, Stefano Carpin

摘要

本文提出一种结合大语言模型和线性时序逻辑的精准农业任务规划系统，通过多反馈循环架构解决自然语言歧义问题。实验表明，使用两个不同商业大语言模型分别负责规范生成与验证，可有效提升任务规划的可靠性与自主性。

mission planningLLMformal verificationprecision agricultureLTL

HRI

📊 3,196 引用

Masahiro Mori, Karl F. MacDorman, Norri Kageki

2012

HRI

开放获取📊 3,034 引用

Christoph Bartneck, Dana Kulić, Elizabeth A. Croft 等 4 位作者

2008

HRI

📊 1,925 引用

Kazuo Hirai, Masato Hirose, Y. Haikawa 等 4 位作者

2002

HRI

📊 1,914 引用

Peter A. Hancock, Deborah R. Billings, Kristin E. Schaefer 等 6 位作者

2011