A Systematic Approach to Reasoning about Actions and Change

IRI-9501577埃尔帕索的德克萨斯大学奇塔·巴拉尔$44,233-12个月职业生涯：关于行动和变化的系统推理方法这是第一年资助三年的职业生涯补助金。这项拟议的研究是朝着系统构建能够在不断变化的世界中推理和行动的智能代理迈出的一步。这些“认知机器人”除其他外，应该能够(1)观察其他物体改变其属性和执行动作，以及(2)利用他们的观察和他们的知识来推理未来和过去，制定或修改计划以实现目标并执行产生的计划。本文的方法是：(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.