BB1 Software Capitalization
BB1 Software Capitalization
批准号:
9020819
负责人:
Nils Nilsson
金额:
$7.05万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1991
资助国家:
美国
项目状态:
已结题
起止时间:
1991-08-01 至 1994-01-31
中文摘要
BB 1是一个软件系统(知识表示,解释器, 和系统构建工具)来构建人工智能 (AI)系统.它体现了一种称为“动态控制”的模式 架构”,其中AI系统逐步构建 明确的解决问题的办法,整合不同来源的 知识,并动态地构造和修改显式 控制计划来指导其推理。以前版本的BB 1 已被授权给100多个学术,政府和 工业组织。BB 1版本2.5引入了新的 允许AI系统实现以下功能的特性: 感知、推理和行动过程;动态控制 感知;对时间现象的理性;保证 响应时间。这些创新尤其适用于 涉及动态任务环境的研究和应用, 实时约束,例如,智能代理、医疗 监控,智能辅导,制造控制 流程和自动驾驶汽车的控制。 这个项目 支持将BB 1版本2.5分发给 研究社区。活动包括:软件升级, 测试和调试;开发演示系统; 编写安装说明和用户手册; 软件的分发;以及用户和 应用.
英文摘要
BB1 is a software system (knowledge representation, interpreter, and system-building tools) for building artificial intelligence (AI) systems. It embodies a model called the "dynamic control architecture," in which an AI system incrementally constructs explicit solutions to problems, integrates diverse sources of knowledge, and dynamically constructs and modifies explicit control plans to guide its reasoning. Previous versions of BB1 have been licensed to over 100 academic, government, and industrial organizations. BB1 version 2.5 introduces new featuresthat allow an AI system to: integrate asynchronous perception, reasoning, and action processes; dynamically control perception; reason about temporal phenomena; and guarantee response times. These innovations are especially useful for research and applications involving dynamic task environments and real-time constraints, for example, intelligent agents, medical monitoring, intelligent tutoring, control of manufacturing processes, and control of autonomous vehicles. This project supports distribution of BB1 version 2.5 to others in the research community. Activities include: software upgrading, testing, and debugging; development of demonstration systems; preparation of installation instructions and a user manual; distribution of software; and documentation of users and applications.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Research on Autonomous Agents
-
批准号:9421839
-
项目类别:Continuing Grant
-
资助金额:$32.92万
-
财政年份:1995
-
负责人:Nils Nilsson
-
依托单位:
Workshop on Approaches to Artificial Intelligence, Santa Fe,New Mexico, November 1992
-
批准号:9218448
-
项目类别:Standard Grant
-
资助金额:$3.4万
-
财政年份:1992
-
负责人:Nils Nilsson
-
依托单位:
Research on Autonomous Agents
-
批准号:9116399
-
项目类别:Continuing Grant
-
资助金额:$32.14万
-
财政年份:1992
-
负责人:Nils Nilsson
-
依托单位:
Special Graduate Student Education and Research Award
-
批准号:9017011
-
项目类别:Standard Grant
-
资助金额:$0.6万
-
财政年份:1990
-
负责人:Nils Nilsson
-
依托单位:
Modal Operators and Multivalued Logics
-
批准号:8912188
-
项目类别:Continuing Grant
-
资助金额:$26.82万
-
财政年份:1989
-
负责人:Nils Nilsson
-
依托单位:
Multi-valued Logics (Computer and Information Science)
-
批准号:8620059
-
项目类别:Continuing Grant
-
资助金额:$23.34万
-
财政年份:1987
-
负责人:Nils Nilsson
-
依托单位:
海外基金