知识标记与自动推理Web服务的研究

摘要

Internet环境下的知识表示与自动推理是广大人工智能及相关领域研究者面临的新课题.为了给自动推理领域提供一个统一的问题(知识)表示格式及为Web用户提供自动推理Web服务,提出了一个基于多种类逻辑的知识标记语言MSKML(Many Sorted Knowledge Markup Language的简写),实现了使用RLD(Rightmost Linear Deduction)演绎策略的多种类谓词演算的COM对象Prover来提供自动推理Web服务ProverService.ProverService采用简单对象访问协议SOAP(Simple Object Access Protocol)作为服务器与Web客户间的网络通信协议,用Web服务描述语言WSDL(Web Service Description Language)对其提供的服务进行了描述.最后,运用RLD演绎成功求解了著名的人工智能问题-Steamroller问题,并以它为例,描述了该问题及RLD反驳的MSKML表示以及自动推理Web服务的调用过程.