Internet 环境下的知识表示与自动推理是广大人工智能及相关领域研究者面临的新课题。为了给自动推理领域提供一个统一的问题(知识)表示格式及为 Web 用户提供自动推理 Web 服务,提出了一个基于多种类逻辑的知识标记语言 MSKML(Many Sor...Internet 环境下的知识表示与自动推理是广大人工智能及相关领域研究者面临的新课题。为了给自动推理领域提供一个统一的问题(知识)表示格式及为 Web 用户提供自动推理 Web 服务,提出了一个基于多种类逻辑的知识标记语言 MSKML(Many Sorted Knowledge Markup Language 的简写),实现了使用 RLD(Rightmost Linear Deduc-tion)演绎策略的多种类谓词演算的 COM 对象 Prover 来提供自动推理 Web 服务 ProverService。ProverService 采用简单对象访问协议 SOAP(Simple Object Access Protocol)作为服务器与 Web 客户间的网络通信协议,用 Web 服务描述语言 WSDL(Web Service Description Language)对其提供的服务进行了描述。最后,运用 RLD 演绎成功求解了著名的人工智能问题—Steamroller 问题,并以它为例,描述了该问题及 RLD 反驳的 MSKML 表示以及自动推理 Web 服务的调用过程。展开更多
为了更好地解决分布式遥感数据检索的问题,提出了基于REST Web Services的分布式检索实现方法。根据分布式数据检索的需求和遥感数据检索系统的特点,研究了分布式数据检索的实现技术、REST的基本概念、目标与设计原则、主要思想以及实...为了更好地解决分布式遥感数据检索的问题,提出了基于REST Web Services的分布式检索实现方法。根据分布式数据检索的需求和遥感数据检索系统的特点,研究了分布式数据检索的实现技术、REST的基本概念、目标与设计原则、主要思想以及实现方式,在此基本上设计了基于REST Web Services分布式遥感数据检索原型系统,并实现了基于REST Web Services分布式遥感数据检索原型系统。展开更多
文摘Internet 环境下的知识表示与自动推理是广大人工智能及相关领域研究者面临的新课题。为了给自动推理领域提供一个统一的问题(知识)表示格式及为 Web 用户提供自动推理 Web 服务,提出了一个基于多种类逻辑的知识标记语言 MSKML(Many Sorted Knowledge Markup Language 的简写),实现了使用 RLD(Rightmost Linear Deduc-tion)演绎策略的多种类谓词演算的 COM 对象 Prover 来提供自动推理 Web 服务 ProverService。ProverService 采用简单对象访问协议 SOAP(Simple Object Access Protocol)作为服务器与 Web 客户间的网络通信协议,用 Web 服务描述语言 WSDL(Web Service Description Language)对其提供的服务进行了描述。最后,运用 RLD 演绎成功求解了著名的人工智能问题—Steamroller 问题,并以它为例,描述了该问题及 RLD 反驳的 MSKML 表示以及自动推理 Web 服务的调用过程。
文摘为了更好地解决分布式遥感数据检索的问题,提出了基于REST Web Services的分布式检索实现方法。根据分布式数据检索的需求和遥感数据检索系统的特点,研究了分布式数据检索的实现技术、REST的基本概念、目标与设计原则、主要思想以及实现方式,在此基本上设计了基于REST Web Services分布式遥感数据检索原型系统,并实现了基于REST Web Services分布式遥感数据检索原型系统。
