Relational proof systems for spatial reasoning

Joanna Golinska-Pilarek; Ewa Orlowska

首页> 外文期刊>Journal of applied non-classical logics >Relational proof systems for spatial reasoning

【24h】

Relational proof systems for spatial reasoning

机译：用于空间推理的关系证明系统

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present relational proof systems for the four groups of theories of spatial reasoning: contact relation algebras, Boolean algebras with a contact relation, lattice-based spatial theories, spatial theories based on a proximity relation.

机译：我们为四组空间推理理论提供了关系证明系统：接触关系代数，具有接触关系的布尔代数，基于格的空间理论，基于邻近关系的空间理论。

著录项

来源
《Journal of applied non-classical logics》 |2006年第4期|p.409-431|共23页
作者
Joanna Golinska-Pilarek; Ewa Orlowska;
展开▼
作者单位

National Institute of Telecommunications Warsaw (Poland);

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类哲学、宗教;
关键词
contact relation algebras; spatial reasoning; relational logics; dual tableau systems;

机译：接触关系代数;空间推理;关系逻辑;双表系统;

相似文献

外文文献
中文文献
专利

1. Relational semantics and a relational proof system for full lambek calculus [J] . Wendy MacCaull Journal of Symbolic Logic . 1998,第2期

机译：完全lambek演算的关系语义和关系证明系统
2. Relational semantics and a relational proof system for full lambek calculus [J] . Wendy MacCaull Journal of Symbolic Logic . 1998,第2期

机译：完全lambek演算的关系语义和关系证明系统
3. Global relational reasoning with spatial temporal graph interaction networks for skeleton-based action recognition [J] . Signal Processing. Image Communication: A Publication of the the European Association for Signal Processing . 2020,第期

机译：基于骨架动作识别的空间时间图交互网络的全局关系推理
4. An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance [C] . Joanna Golinska-Pilarek, Angel Mora, Emilio Munoz-Velasco PRICAI 2008: Trends in Artificial Intelligence . 2008

机译：具有可忽略，不紧密和距离的数量级推理的关系证明系统的ATP
5. Decision performance using spatial decision support systems: A geospatial reasoning ability perspective. [D] . Erskine, Michael A. 2013

机译：使用空间决策支持系统的决策绩效：地理空间推理能力的观点。
6. Spatial analogies pervade complex relational reasoning: Evidence from spontaneous gestures [O] . Kensy Cooperrider, Dedre Gentner, Susan Goldin-Meadow 2016

机译：空间类比遍布复杂的关系推理：自发手势的证据
7. Children's reasoning about spatial relational similarity: The effect of alignment and relational complexity [O] . Hribar, Alenka, Haun, Daniel B. M., Call, Josep 2012

机译：儿童关于空间关系相似性的推理：对齐和关系复杂性的影响
8. Qualitative Spatial Reasoning: Extracting and Reasoning with Spatial Aggregates [R] . Bailey-Kellogg, C., Zhao, F. 2003

机译：定性空间推理：空间聚合的提取与推理

Relational proof systems for spatial reasoning

摘要

著录项

相似文献

相关主题

期刊订阅