NL2CA：使用无监督CriticNL2LTL框架从自然语言自动形式化认知决策

这篇文章介绍了一个新的框架NL2CA，用于自动形式化自然语言描述的认知决策过程。使用无监督的CriticNL2LTL框架表明了一种无需显式监督即可学习和表示决策逻辑的创新方法。 专注于认知决策并使用自然语言处理技术表明了对人工智能领域的贡献，并可能在可解释人工智能和自动推理等领域提供进步。