Software Upgrade and Distribution Support for QSIM
Software Upgrade and Distribution Support for QSIM
批准号:
9017047
负责人:
Benjamin Kuipers
金额:
$5.03万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1991
资助国家:
美国
项目状态:
已结题
起止时间:
1991-09-01 至 1993-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Qualitative simulation is a method for representing incomplete, qualitative knowledge about the structure of a mechanism, in the form of a qualitative differential equation (QDE), and deriving qualitative predictions about the possible behaviors of the mechanism. Reliable inference about continuous mechanisms in spite of incomplete knowledge is critical to the fundamental AI tasks of diagnosis and design, where one's knowledge is necessarily incomplete The QSIM program provides a simple, clear representation for qualitative structure (QDEs) and qualitative behavior, and a clean, efficient algorithm for qualitative simulation. This award supports its documentation and distribution through the Software Capitalization Program. //
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
RI: Small: Robot Developmental Learning of Skilled Actions
-
批准号:1421168
-
项目类别:Standard Grant
-
资助金额:$44.68万
-
财政年份:2014
-
负责人:Benjamin Kuipers
-
依托单位:
EAGER: Memory-based learning of effective actions
-
批准号:1252987
-
项目类别:Standard Grant
-
资助金额:$8.0万
-
财政年份:2012
-
负责人:Benjamin Kuipers
-
依托单位:
HCC: Large: Collaborative Research: Human-Robot Dialog for Collaborative Navigation Tasks
-
批准号:1111494
-
项目类别:Standard Grant
-
资助金额:$69.33万
-
财政年份:2011
-
负责人:Benjamin Kuipers
-
依托单位:
CPS: Medium: Learning to Sense Robustly and Act Effectively
-
批准号:0931474
-
项目类别:Standard Grant
-
资助金额:$145.07万
-
财政年份:2009
-
负责人:Benjamin Kuipers
-
依托单位:
RI: Robot developmental learning of objects, actions, and tools
-
批准号:0713150
-
项目类别:Continuing Grant
-
资助金额:$45.0万
-
财政年份:2007
-
负责人:Benjamin Kuipers
-
依托单位:
SGER: A Simulation Platform for Research on Developmental Robotics
-
批准号:0750011
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Benjamin Kuipers
-
依托单位:
Learning the Sensorimotor Foundation for Spatial Reasoning
-
批准号:0413257
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Benjamin Kuipers
-
依托单位:
Artificial Intelligence: An Academic Genealogy
-
批准号:0538927
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Benjamin Kuipers
-
依托单位:
CISE Research Instrumentation: Robotics Equipment for Research on Assistive Intelligence
-
批准号:9617327
-
项目类别:Standard Grant
-
资助金额:$3.2万
-
财政年份:1997
-
负责人:Benjamin Kuipers
-
依托单位:
An Ontological Hierarchy for Spatial Knowledge
-
批准号:9504138
-
项目类别:Continuing Grant
-
资助金额:$27.65万
-
财政年份:1995
-
负责人:Benjamin Kuipers
-
依托单位:
Qualitative Design and Verification of Heterogeneous Controllers
-
批准号:9216584
-
项目类别:Standard Grant
-
资助金额:$11.6万
-
财政年份:1993
-
负责人:Benjamin Kuipers
-
依托单位:
Qualitative Methods for Robot Exploration
-
批准号:8904454
-
项目类别:Continuing Grant
-
资助金额:$45.27万
-
财政年份:1989
-
负责人:Benjamin Kuipers
-
依托单位:
Qualitative Modeling and Simulation of Physical Systems
-
批准号:8905494
-
项目类别:Standard Grant
-
资助金额:$15.84万
-
财政年份:1989
-
负责人:Benjamin Kuipers
-
依托单位:
Deep and Shallow Models in the Knowledge Base (Computer and Information Science)
-
批准号:8602665
-
项目类别:Continuing Grant
-
资助金额:$27.87万
-
财政年份:1986
-
负责人:Benjamin Kuipers
-
依托单位:
Knowledge Representations for Expert Causal Models (ComputerResearch)
-
批准号:8512779
-
项目类别:Standard Grant
-
资助金额:$8.47万
-
财政年份:1985
-
负责人:Benjamin Kuipers
-
依托单位:
Knowledge Representations for Expert Causal Models (Computer Research)
-
批准号:8417934
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1984
-
负责人:Benjamin Kuipers
-
依托单位:
Knowledge Representations For Expert Casual Models (Computer Research)
-
批准号:8303640
-
项目类别:Continuing Grant
-
资助金额:$7.0万
-
财政年份:1983
-
负责人:Benjamin Kuipers
-
依托单位:
海外基金