A Systematic Approach to Reasoning about Actions and Change

推理行动和变革的系统方法

• 批准号: 9501577
• 负责人: Chitta Baral
• 金额: $ 17.58万
• 依托单位: University of Texas at El Paso
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-09-01 至 2000-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9501577&HistoricalAwards=false
• 关键词: Systematic; Approach; Reasoning; about; Actions

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.

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