【摘 要】
：
情景演算对于动作理论的描述具有很强的表达能力，但是其推理算法具有不可判定性。在描述逻辑AL-CO^@的基础上，构建基于描述逻辑的动作理论系统DL-A。在该系统中，利用描述逻辑语
论文部分内容阅读
情景演算对于动作理论的描述具有很强的表达能力，但是其推理算法具有不可判定性。在描述逻辑AL-CO^@的基础上，构建基于描述逻辑的动作理论系统DL-A。在该系统中，利用描述逻辑语言描述原子动作的表达式以及语义解释，并在此基础上利用各种构造符构造出顺序、选择、并发、迭代等复杂动作，同时赋予这些复杂动作的语法和语义。动作的实现会引起周围世界状态的改变，描述动作执行所引起的状态更新算法。基于描述逻辑ALCO^@的动作理论不仅具有很强的表达能力，而且其算法具有可判定性，能够提供多种推理服务，可以应用于Web语义下的
其他文献
<正>目的:利用功能磁共振成像(f MRI)评价神经胶质瘤患者的脑血管反应能力(CVR),帮助神经外科医师术前规划。方法:对2名神经胶质瘤患者进行静息态和任务态的f MRI检查。采用S
投资有风险。本文通过论述衡量投资风险的指标、个人对待投资风险的态度衡量、投资组合理论对投资对偶优化的影响等,对投资组合的对偶优化问题进行了分析。
梦幻八宝国际田园旅游休闲度假区项目,由雷诺集团投资开发,总投资达到80亿元。在云南省文山州广南县的招商引资合作项目签约仪式上,雷诺集团法人雷章明与约堡集团金融部主任
<正>按《临床输血技术规范》要求,鉴于人类ABO血型的遗传学特性,在保证ABO血型正确无误的条件下方可进行交叉配血。目前已知,红细胞不规则抗体的存在会影响血型鉴定与配血成
为了快速高效地监测和分析风光动能互补系统中的电能质量,建立了电能质量监测、评价方案。该系统由数据监测子系统、通信子系统、数据评估子系统组成,运用FFT提取系统中的电
黑龙江省地处高纬度地区,原产于热带、亚热带地区的辣椒生长受限,急需研发适于本地的优势品种。通过对43份辣椒种质的28个形态学性状的聚类分析和SRAP分子标记分析,探索辣椒
分析轨道交通的地位、作用和发展前景,说明轨道交通在我国发展的必然趋势;论述现阶段轻轨交通的优点和在我国的发展,建议成都的轨道交通发展应该优先采用轻轨系统.
近年来,随着人们生活水平的不断提高,装饰行业发展迅猛,同时也带来了不少隐患,室内环境污染伤害事件频频发生.该文对室内环境污染问题展开讨论,分析装修污染的原因,找出防治
目前,农村电子商务已逐渐成为助推经济发展的重要手段。通过调研湖南省常德石门地区柑橘产业概况,探索农村网上赶集平台在石门柑橘销售中的应用,提出了加强基础设施建设,改善
<正> 蜗牛是法国的一种名菜。法国每年大约消费蜗牛3-4万吨。近几年,每年要花费0.7-1.3亿法朗净进口5-7千吨新鲜的或冷冻的蜗牛,与此同时,每年净出口蜗牛罐头1300-1800吨,可