丹尼尔·拉吉;亚伦·斯托克迪尔;马蒂亚·贾姆尼克;格雷西亚·加西亚;Holly E.A.萨瑟兰。;Cheng，Peter C.-H。 检查和选择代表。 （英语） Zbl 1428.68293号 Kaliszyk，Cezary（编辑）等人，《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议，CICM 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11617, 227-242 (2019). 摘要：我们提出了一个新的框架，用于检查表示并对其形式属性进行编码。这使我们能够评估和比较推理的不同表征的信息和认知价值。我们框架的目的是自动化表示选择过程，考虑到候选表示与手头问题和用户特定认知特征的匹配。这需要一种说话的语言关于表示和分析其相对优势的方法。这项基础性工作首先设计了一个计算端到端框架，在该框架中可以描述和分析问题、表示和用户配置文件。随着人工智能系统变得无处不在，它们与人类推理更加兼容非常重要，而我们的框架正是实现了这一点。关于整个系列，请参见[Zbl 1428.68028号]. MSC公司： 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 68立方英尺 知识表示 关键词：推理中的表示;异质推理;表示选择;表达系统 软件：Speedith公司;防开启;Doodle博士;VAMPIRE公司;WordNet（文字网）;HOL灯;ACL2型;伊莎贝尔/HOL;赫茨;马什;倍频程 PDF格式BibTeX公司 XML格式引用 \textit{D.Raggi}等人，Lect。注释计算。科学。11617，227--242（2019；Zbl 1428.68293） 全文： 内政部 链接