RUI: Computing With Diagrams

人类拥有高度发达的能力，可以直接用图表信息进行推理。赋予一台机器类似的能力，可以证明有利于开发一种人工智能代理，这种代理与真实的世界环境交互，充满了图形信息，比没有这种能力的机器具有更高的自主性。本研究的目标是为直接使用图形表示进行计算开发理论基础（尽管PI认识到图形表示可能需要通过其他表示来增强，以完全表示许多问题域）。 更具体地说，本研究提出了研究如何利用相关图组经常表现出的空间和时间的一致性来进行计算。 使用从集合论、图像处理理论、颜色理论和计算理论中收集的概念，相似图以产生新的相似图的方式组合，从而推断出原始图中隐含的信息。 这种方法已经成功地在不同的情况下，包括启发式开发，空间配置，归纳学习，调度和DNA测序问题的图解解决方案。PI和他的学生将巩固这一先前的工作与其他研究有关的图表和计算，扩大目前的理论，通过严格调查其与图像处理理论的关系，并测试理论的适用性，通过设计和实施的图表信息系统，允许用户提出查询有关图表在一个指定的域，其响应需要从diagrams.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