RUI: Computing With Diagrams

人类拥有一种高度发达的能力，可以直接用图表信息进行推理。赋予机器类似的能力，可能有利于人工智能代理的发展，这种代理可以与充满图表信息的现实世界环境进行交互，比没有这种能力的机器具有更高程度的自主性。这项研究的目标是开发一个直接使用图解表示进行计算的理论基础（尽管PI认识到图解表示可能需要通过其他表示来增强，以完全表示许多问题域）。更具体地说，本研究建议研究如何利用相关图表组经常表现出的空间和时间相干性来实现计算目的。使用从集合论、图像处理理论、色彩理论和计算理论中收集的概念，像图被组合在一起，以产生新的像图，从而推断出原始图中隐含的信息。这种方法已经成功地为各种背景下的问题提供了图解解决方案，包括启发式开发、空间配置、归纳学习、调度和DNA测序。PI和他的学生将与其他有关图表和计算的研究一起巩固先前的工作，通过严格调查其与图像处理理论的关系来扩展当前的理论，并通过设计和实现一个图表信息系统来测试该理论的适用性，该系统允许用户对特定领域中的图表提出查询，其响应需要从图表中推断出的信息。http://morpheus.hartford.edu/~anderson/personal

Humans possess a highly developed ability to reason directly with diagrammatic information. Endowing a machine with similar capabilities could prove beneficial in the development of an artificially intelligent agent that interacts with a real world environment, rife with diagrammatic information, with a higher degree of autonomy than those without such capabilities. The goal of this research is to develop a theoretical basis for computing directly with diagrammatic representations (although the PI recognizes that diagrammatic representations may need to be augmented by other representations to completely represent many problem domains). More specifically, this research proposes to examine how the spatial and temporal coherence often exhibited by groups of related diagrams could be leveraged for computational purposes. Using concepts gleaned from set theory, image processing theory, color theory, and the theory of computation, like diagrams are combined in ways that produce new like diagrams that infer information implicit in the original diagrams. This approach has been successful in producing diagrammatic solutions to problems in diverse contexts including heuristic development, spatial configuration, inductive learning, scheduling, and DNA sequencing. The PI and his students will consolidate this previous work with other research concerned with diagrams and computations, expand the current theory through rigorous investigation of its relationship with image processing theory, and test the applicability of the theory through the design and implementation of a diagram information system that allows users to pose queries concerning diagrams in a specified domain whose responses require information inferred from diagrams.http://morpheus.hartford.edu/~anderson/personal