为了应对移动即时通讯针对网络管理和多媒体信息共享等方面出现的需求,基于可扩展的消息和出席信息协议(extensible messaging and presence protocol,XMPP)和网络管理功能模型提出了移动多媒体即时通讯服务架构和实现机制.在标准XMPP...为了应对移动即时通讯针对网络管理和多媒体信息共享等方面出现的需求,基于可扩展的消息和出席信息协议(extensible messaging and presence protocol,XMPP)和网络管理功能模型提出了移动多媒体即时通讯服务架构和实现机制.在标准XMPP基础上扩展通信协议,支持多媒体信息共享.适时地在设计框架内加入网络管理功能,便于管理各项即时通讯服务.实验结果表明,按照该方案开发的实验系统运行稳定,能按要求提供多媒体信息共享和网络管理功能,快速处理用户即时消息,平均错误率稳定在0.05%左右.展开更多
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 服务的调用过程。展开更多
文摘为了应对移动即时通讯针对网络管理和多媒体信息共享等方面出现的需求,基于可扩展的消息和出席信息协议(extensible messaging and presence protocol,XMPP)和网络管理功能模型提出了移动多媒体即时通讯服务架构和实现机制.在标准XMPP基础上扩展通信协议,支持多媒体信息共享.适时地在设计框架内加入网络管理功能,便于管理各项即时通讯服务.实验结果表明,按照该方案开发的实验系统运行稳定,能按要求提供多媒体信息共享和网络管理功能,快速处理用户即时消息,平均错误率稳定在0.05%左右.
文摘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 服务的调用过程。
