An Ontological Hierarchy for Spatial Knowledge
An Ontological Hierarchy for Spatial Knowledge
批准号:
9504138
负责人:
Benjamin Kuipers
金额:
$27.65万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1995
资助国家:
美国
项目状态:
已结题
起止时间:
1995-12-01 至 1999-11-30
中文摘要
空间知识的本体论层次空间知识是一种重要且普遍存在的常识性知识。它也提出了心智计算模型面临的一个关键问题:连续世界中的行为与离散符号表征的推理之间的关系。在这个项目中,空间知识表示的层次结构被称为空间语义层次(SSH),该层次结构是在之前的NSF资助中开发的,因此它可以更广泛地使用。形式化将精确地阐明不同的描述性本体和推理方法何时以及如何有效地相互作用。它还将确定应用空间模型所需的传感器、效应器和环境的最小前提条件,并确定从经验中学习分层空间模型实例所需的机器学习和发现的最小目标集。它将在模拟和物理机器人上进行数学和实验评估。研究结果对人工智能的基础具有重要的理论意义,对智能机器人的应用具有重要的实践意义。
英文摘要
IRI-9504138 Kuipers, Benjamin University of Texas-Austin $93,501-12 mos An Ontological Hierarchy for Spatial Knowledge Spatial knowledge is an important and ubiquitous kind of commonsense knowledge. it also raises a critical issue facing computational models of mind: the relationship between behavior in the continuous world and inference with discrete symbolic representations. in this project, a hierarchy of representations for spatial knowledge called the Spatial Semantic Hierarchy (SSH) developed in a previous NSF grant is being formalized so that it can be more widely useful. The formalization will clarify precisely when and how different descriptive ontologies and inference methods can interact effectively. It will also identify the minimal preconditions on sensors, effectors, and environment required for the spatial model to apply and identify the minimal set of targets for machine learning and discovery required to learn an instance of the hierarchical spatial model from experience. It will be evaluated both mathematically and experimentally on simulated and physical robots. The results should be theoretically important to the foundations of artificial intelligence and practically important to intelligent robotics applications.
期刊论文(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
-
依托单位:
Qualitative Design and Verification of Heterogeneous Controllers
-
批准号:9216584
-
项目类别:Standard Grant
-
资助金额:$11.6万
-
财政年份:1993
-
负责人:Benjamin Kuipers
-
依托单位:
Software Upgrade and Distribution Support for QSIM
-
批准号:9017047
-
项目类别:Standard Grant
-
资助金额:$5.03万
-
财政年份:1991
-
负责人: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
-
依托单位:
海外基金