推理系统的单子风格控制构造
人工智能
2007-05-23 v1 编程语言
摘要
程序设计语言研究与设计的最新进展已经确立了在范畴论中表示计算系统的标准方法。这些形式化结果使人们对函数式和命令式语言中的控制和副作用问题有了更好的理解。另一个好处是在逻辑框架中更好地建模计算效应。基于这种类比，我们将推理行为视为一种计算形式，着手对推理系统进行研究。我们描绘了推理系统中控制构造的范畴论形式化。这种表示强调了用于解释推理架构的范畴构建块（三元组）的模块化连接与认知过程的模块化组合之间的平行关系。
引用
@article{arxiv.cs/0211035,
title = {Monadic Style Control Constructs for Inference Systems},
author = {Jean-Marie Chauvet},
journal= {arXiv preprint arXiv:cs/0211035},
year = {2007}
}
备注
25 pages