摘要
自治服务是网络信息服务的新的需求,它使人机交互变得更加智能·为此提出了基于情景演算的自治型网络信息服务的建模方法·在标准的情景演算基础上,增加了对有效性约束常识的描述,建立了情景演算的分层知识库表示,将抽象的数学描述转化为较直观的描述模型;还设计了一种基于XML的情景演算建模语言Sc ML,以结构化文本脚本的形式描述了实际的应用需求并利用XML Schema实现了Sc ML的语法约束,利用XML XSL实现了从Sc ML脚本到Java代码的生成;最后给出日程管理服务的例子·
As autonomous-ness is inevitable in network information services to achieve more intelligent human-machine interaction, a situation calculus-based modeling methodology is proposed for this purpose. Based on Reiter＇s situation calculus, a validity theory is introduced to enrich common-knowledge-based validity computing, a hierarchical knowledgebase is introduced to make situation calculus easier for technicians and developers to understand, and an XML-based ad-hoc script language, ScML, is developed to make situation calculus processable by computers as constructed texts. ScML＇ s syntactical verification can be easily achieved with XML schema, and program generation with XML XSL. This methodology is demonstrated by an autonomous calendaring service.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2006年第2期224-230,共7页
Journal of Computer Research and Development
基金
国家"九七三"重点基础研究发展规划基金项目(G1999032701)
全国优秀博士学位论文作者专项基金项目(200241)
国家自然科学基金项目(60403003)~~
