A Hybrid Spatial Logic for Geodetic Reasoning

A Hybrid Spatial Logic for Geodetic Reasoning

时间：2011年11月16日 地点：九龙湖校区计算机楼4楼会议室

报告简介：

In this talk we develop a framework of geodetic reasoning. We propose a hybrid spatial logic for the formalism of road sign management and reasoning. The proposed framework is general, which can be used not only for the Korean road sign management system, in which a road sign usually consists of a direction and a POI (Point of interest)，but also covers the general road sign management systems in which a road sign consist of a direction and a highway number. We discuss how the hybrid spatial logic can be used for the validation checking with Korean road sign management within the LarKC Platform, a platform for scalable semantic data processing and reasoning.

报告人简介：

1994年在荷兰阿姆斯特丹大学组织管理计算机科学中心获得计算机科学博士学位，现为阿姆斯特丹Vrije University计算机系高级研究员、东南大学计算机科学与工程学院等国内多所大学客座教授。主持完成欧盟第六研究框架中的语义Web SEKT课题的核心技术"语义Web中非一致性本体的推理"的研究。正在主持欧盟第七研究框架中的语义Web 重大课题LarKC项目中的"海量语义数据推理技术"的研究。长期从事人工智能逻辑与推理，智能多媒体技术和语义Web与本体技术的研究，已发表一百多篇的学术论文和论著。他所提出的基于有限理性的行动逻辑发表于人工智能领域的最高级别的期刊Artificial Intelligence上，他所提出的语义Web中非一致本体的推理技术在国际人工智能大会IJCAI上报告。他是60多个国际学术会议的程序或组织委员会成员或联合主席。近年来他主要从事不一致推理、本体诊断与修补、本体的版本管理等方面的工作，论文发表在AAAI 2006、IJCAI 2005、ISWC 2005、ISWC 2006、ISWC 2008上。参与开发了面向语义Web的逻辑编程体系结构XDIG，支持DIG服务器和客户端。他在本体推理、不一致推理、本体诊断与修补、本体管理等领域进行了非常出色的工作。

计算机网络和信息集成教育部重点实验室（东南大学）