• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>PRICAI'98 : Topics in artificial intelligence >Diagrammatic Reasoning About Linked Lists
【24h】

Diagrammatic Reasoning About Linked Lists

机译：关于链表的图解推理

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

A recently developed theory of local reasoning with diagrams is applied to a practical domain, that of inserting a node into a singly linked list, to illustrate its explanatory power. Prior to this demonstration there was only an informal feel as to why diagrams used to explain the generation of imperative code for similar applications should work. This paper is a partial answer to the charge that theory in artificial intelligence is remote from application. On the contrary, it shows that properly constrained theories can assist in underpinning cognitive tools.
机译：最近开发的带有图的局部推理理论被应用于实际领域，即将节点插入单链列表中，以说明其解释力。在进行此演示之前，对于用于解释类似应用程序的命令性代码生成的图表为何起作用，只有非正式的感觉。本文是对人工智能理论远离应用的指控的部分回答。相反，它表明适当约束的理论可以帮助支撑认知工具。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号