记忆作为问题求解中的单子控制构造
人工智能
2009-09-29 v1
摘要
程序语言研究与设计的最新进展确立了将计算系统表示奠基于范畴论的标准方法。这些形式化结果促进了对函数式与命令式语言中控制与副作用问题的更好理解。该框架可成功应用于对人工智能（AI）推理与认知系统性能的考察。在本文中，我们勾勒了记忆作为一种驱动推理系统性能的控制结构的范畴论形式化。通过从认知系统中三种广泛使用的记忆表示（脚本、产生式规则与簇）中抽象出控制机制，我们解释了范畴三元组如何捕捉学习与问题求解之间的交互。
引用
@article{arxiv.cs/0402035,
title = {Memory As A Monadic Control Construct In Problem-Solving},
author = {Jean-Marie Chauvet},
journal= {arXiv preprint arXiv:cs/0402035},
year = {2009}
}