一种基于拓扑转换的物体定性运动逻辑

Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96) Pub Date : 1996-05-19 DOI:10.1109/TIME.1996.555697

A. Trudel, D. Gagné

{"title":"一种基于拓扑转换的物体定性运动逻辑","authors":"A. Trudel, D. Gagné","doi":"10.1109/TIME.1996.555697","DOIUrl":null,"url":null,"abstract":"The authors present a spatio-temporal ontology suitable for representing and reasoning about the qualitative motion of rigid bodies. This simple ontology provides a uniform treatment of motion in one, two, and three dimensional space. A succinct axiomatization is provided capturing the ontology. This first order logic is based on the transition of topological relations between objects.","PeriodicalId":259291,"journal":{"name":"Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"A topological transition based logic for the qualitative motion of objects\",\"authors\":\"A. Trudel, D. Gagné\",\"doi\":\"10.1109/TIME.1996.555697\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The authors present a spatio-temporal ontology suitable for representing and reasoning about the qualitative motion of rigid bodies. This simple ontology provides a uniform treatment of motion in one, two, and three dimensional space. A succinct axiomatization is provided capturing the ontology. This first order logic is based on the transition of topological relations between objects.\",\"PeriodicalId\":259291,\"journal\":{\"name\":\"Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96)\",\"volume\":\"23 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-05-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TIME.1996.555697\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TIME.1996.555697","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

提出了一种适合于描述和推理刚体定性运动的时空本体。这个简单的本体论提供了一维、二维和三维空间中运动的统一处理。一个简洁的公理化提供捕捉本体。这种一阶逻辑基于对象间拓扑关系的转换。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A topological transition based logic for the qualitative motion of objects

The authors present a spatio-temporal ontology suitable for representing and reasoning about the qualitative motion of rigid bodies. This simple ontology provides a uniform treatment of motion in one, two, and three dimensional space. A succinct axiomatization is provided capturing the ontology. This first order logic is based on the transition of topological relations between objects.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96)

自引率

0.00%

发文量