A Systematic Approach to Reasoning about Actions and Change

奇塔巴拉尔德克萨斯大学埃尔帕索分校44,233美元- 12个月的职业：对行动和变化进行推理的系统方法这是一项为期三年的职业补助金的第一年资助。提出的研究是朝着系统构建能够在不断变化的世界中进行推理和行动的智能代理迈出的一步。除其他外，这些“认知机器人”应该能够(1)观察其他物体改变其属性并执行动作，(2)使用他们的观察和知识来推理未来和过去，制定或修改计划以实现目标并执行生成的计划。这里的方法是开发一种动作规范语言，它可以表达实际和假设的情况、并发动作、复杂效果的动作、约束、触发、实际情况线和实际时间线之间的映射；（二）体现规范的可执行逻辑程序；(3)逻辑程序扩展解释器；(4)认知机器人本身。在资助期间，将制定一项教育计划，通过(1)向本科生讲授人工智能的基本方法和概念以及人工智能的哲学、社会和认知后果，并(2)向其他领域的研究生讲授适用于其领域的人工智能技术和工具，使学生接触到人工智能的见解、观点和工具。智能机器人对学生有很大的吸引力，使他们能够专注于人工智能的一些重要主题，将在一些待开发的课程中使用。

IRI-9501577 Chitta Baral University of Texas at El Paso $44,233 - 12 months CAREER: A Systematic Approach to Reasoning about Actions and Change This is the first year funding of a three-year CAREER grant. The proposed research is a step toward the systematic construction of intelligent agents that can reason and act in a changing world. These "cognitive robots" should be able, among other things, to (1) observe other objects changing their attributes and performing actions, and (2) use their observations and their knowledge to reason about the future and the past, to make or revise plans to achieve goals and execute the generated plans. The approach here is to develop (1) an action specification language that can express actual and hypothetical situations, concurrent actions, actions with complex effects, constraints, triggers, mapping between actual situation line and actual time line; (2) executable logic programs that embody the specifications; (3) interpreters for extension of the logic programs; and (4) the cognitive robots themselves. During the period of the grant, an educational plan will be developed that exposes students to the insights, perspectives, and tools of AI by (1) educating undergraduates about AI's basic methods and concepts and about AI's philosophical, social, and cognitive consequences, and (2) educating graduate students in other fields about the AI techniques and tools applicable to their fields. Intelligent robots, which have a great attraction to students and enable them to focus on some of the important topics of AI, will be used in some of the courses to be developed.