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个月 职业生涯：关于行动和变化的系统推理方法 这是为期三年的CAREER赠款的第一年资助。 拟议的研究是朝着智能代理的系统构建迈出的一步，智能代理可以在不断变化的世界中推理和行动。 这些“认知机器人”应该能够（1）观察其他物体改变它们的属性和执行动作，（2）使用它们的观察和知识来推理未来和过去，制定或修改计划以实现目标并执行生成的计划。 这里的方法是开发（1）一个动作规范语言，可以表达实际和假设的情况下，并发的行动，复杂的效果，约束，触发器，实际情况线和实际时间线之间的映射;（2）可执行的逻辑程序，体现规范;（3）解释器的逻辑程序的扩展;和（4）认知机器人本身。 在资助期间，将制定一项教育计划，通过（1）教育本科生关于AI的基本方法和概念以及AI的哲学，社会和认知后果，以及（2）教育其他领域的研究生关于适用于其领域的AI技术和工具，使学生接触AI的见解，观点和工具。智能机器人对学生有很大的吸引力，使他们能够专注于人工智能的一些重要主题，将用于一些将要开发的课程。