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

计算机科学 ›› 2006, Vol. 33 ›› Issue (5): 205-210.

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

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
本工作得到广东省自然科学基金（编号020199）、华南理工大学自然科学青年基金资助项目的资助.

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： Internet环境下的知识表示与自动推理是广大人工智能及相关领域研究者面临的新课题。为了给自动推理领域提供一个统一的问题（知识）表示格式及为Web用户提供自动推理Web服务，提出了一个基于多种类逻辑的知识标记语言MSKML（Many Sorted Knowledge Markup Language的简写），实现了使用RLD（Rightmost Linear Deduction）演绎策略的多种类谓词演算的COM对象Prover来提供自动推理Web服务ProverService。ProverService采

关键词: 知识表示分布式自动推理 Web服务可扩展标记语言简单对象访问协议

Abstract: The knowledge representation and automated reasoning on the Web are an important issue for artificial intelligence community. In order to provide automated reasoning community with a uniform format of knowledge representation, a many-sorted knowledge mark

Key words: Knowledge representation,Distributed automated reasoning, Web service, XML, SOAP

. 知识标记与自动推理Web服务的研究[J]. 计算机科学, 2006, 33(5): 205-210. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed