【摘要】 自治服务是网络信息服务的新的需求,它使人机交互变得更加智能·为此提出了基于情景演算的自治型网络信息服务的建模方法·在标准的情景演算基础上,增加了对有效性约束常识的描述,建立了情景演算的分层知识库表示,将抽象的数学描述转化为较直观的描述模型;还设计了一种基于XML的情景演算建模语言Sc ML,以结构化文本脚本的形式描述了实际的应用需求并利用XML Schema实现了Sc ML的语法约束,利用XML XSL实现了从Sc ML脚本到Java代码的生成;最后给出日程管理服务的例子·更多还原

【Abstract】 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.更多还原