Logic-Based Geometric Spatial Reasoning

基于逻辑的几何空间推理

• 批准号: 9019470
• 负责人: Luis Occena
• 金额: $ 1.2万
• 依托单位: University of Missouri-Columbia
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1990
• 资助国家: 美国
• 起止时间: 1990-10-01 至 1992-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9019470&HistoricalAwards=false
• 关键词: Logic; Based; Geometric; Spatial; Reasoning

The objective of the proposed research is to define a theoretical framework for logic-based geometric spatial reasoning and to develop models to support the framework. A theoretical framework will formalize the relation and will find use in several applications such as the integration of computer-aided design and manufacturing, automatic interpretation of non-invasive solid scanning technologies, and three-dimensional pattern recognition. The approach for the proposed research will involve the consideration of extant solid modelling paradigms and their geometric entities, the description and modelling of these entities in logical form, the development of the theoretical framework and supporting proofs and example models. The logic-based geometric spatial reasoning in hardwood log processing will be used as a primary illustration, though other applications will also be considered.

本研究的目的是定义基于逻辑的几何空间推理的理论框架，并开发支持该框架的模型。 理论框架将形式化这种关系，并将在计算机辅助设计和制造的集成、非侵入性固体扫描技术的自动解释以及三维模式识别等多种应用中得到应用。 所提出的研究方法将涉及考虑现有的实体建模范式及其几何实体、以逻辑形式描述和建模这些实体、理论框架的发展以及支持证明和示例模型。 硬木原木加工中基于逻辑的几何空间推理将用作主要说明，但也将考虑其他应用。