CAREER: RUI: Temporal/Multi-dimensional Reasoning with Imprecision and Uncertainty

这个项目的目标是开发算法，用于在时间和其他高维空间中进行推理。用时间和三维空间进行推理在我们的日常生活和计算机系统中是无处不在的。例如，侦探经常会检查一些嫌疑人的不在场证明在时间上的一致性。在集装箱中包装箱子的系统将会对空间产生影响。在过去的大约20年里，人工智能领域的一些研究人员一直致力于这一领域的研究。PI参与了对一些现有算法的批判性分析和开发新的高效的时态推理算法。这个项目的一个特别感兴趣的领域是研究不确定条件下的时间推理。如果输入的信息不是完全已知的，并且充满不确定性，那么它对推理过程有什么影响？如何从可用的时间信息中确定事件的可能原因？这些都是在这项工作中正在调查的问题类型。将时间(或高维)信息视为约束，在研究中采用了约束传播的算法方法。这个项目将对与维度相关的推理和更有效的计算机制有更深入的理解。Http://stallion.jsums.edu/~dmitra/str.html

The goal of this project is to develop algorithms for the purpose of reasoning with time and other higher dimensional space. Reasoning with time and three-dimensional space is ubiquitous in our daily life as well as in computer systems. For example, a detective would often check the temporal consistency of an alibi of some suspects. A system for packing boxes in a container would reason with space. For about the last two decades some researchers within the artificial intelligence community have been engaged in studying this area. The PI has been involved in critically analyzing some of the existing algorithms and developing new efficient algorithms for temporal reasoning. A particular area of interest in this project is on studying temporal reasoning under uncertainty. If the input information is not completely known and is ringed with uncertainty, then how does it affect the reasoning process? How is it possible to determine possible causes for events from the available temporal information? These are the types of questions, which are being investigated in this work. Viewing temporal (or higher dimensional) information as constraints, an algorithmic approach for constraint propagation is being employed in the research. A deeper understanding of dimension related reasoning and more efficient mechanisms for doing it computationally will emerge from this project. http://stallion.jsums.edu/~dmitra/str.html