论文部分内容阅读
基于描述逻辑ALCQ，通过引入分级近似算子而得到粗描述逻辑RALCQ。随后通过转换的方法得到粗描述逻辑RALCQ的Tableau算法推理规则及推理复杂性。
粗描述逻辑RALCQ的Tab leau推理
【摘 要】
：
基于描述逻辑ALCQ，通过引入分级近似算子而得到粗描述逻辑RALCQ。随后通过转换的方法得到粗描述逻辑RALCQ的Tableau算法推理规则及推理复杂性。
【机 构】
：
广西师范大学计算机科学与信息工程学院
【出 处】
：
电脑与电信
【发表日期】
：
2009年12期
其他文献
在经济迅速发展、技术进步和媒介竞争空前激烈的大背景下，中国电视业进入了整体大调整时期；张海潮先生通过权威而详尽的数据分析，得出结论：这种全方位的洗牌和盘整需要若干年的时
1目的目前,药物安全性评价过程中,越来越多的采用计算机技术完成对试验过程的管理,包括试验数据采集、统计分析、报告制作以及试验设备接入、控制等。
在当前广电行业各式重组的背景下，单个频道之间的竞争已经包含在广电集团相互竞争和资源配置的大概念之下。电视节目作为传媒产业的一大重要基本资源，如何得到合理优化的配置，既
美国业界代表要求国会全力制止美国环保局（EPA）制定的农药管理措施。正是由于措施的不利造成了目前的“混乱”。美国植物保护协会（CLA）的主席兼总裁杰伊弗鲁姆在九月出席参议院农
5月21日，提供包装一体化服务的供应商美盈森发布公告称，公司拟出资5亿元设立全资子公司小美集科技有限公司，拟出资5000万元设立美莲检测有限公司。公告称，设立小美集科技有限公司
背景透视 本节课的教学对象为小学三年级学生，教学内容为画图软件中图块的操作，包括学会如何定义图块、移动图块、改变图块大小和对图块进行复制与粘贴等操作四大部分。在教学中，我从学生年龄特点、兴趣爱好出发，巧妙地把本节课知识点融入到“海底世界”这一情境和任务中，教学设计环环相扣、层层深入，紧紧地吸引着学生的眼球，使他们主动参与到学习中来。在课堂上，学生们能有意识地动手探究，在边玩边学中去思考、去探索、
语言是知识和经验的载体，幼儿学好了语言才有可能在体、智、美等方面获得全面发展，语言还能培养幼儿良好的观察讲述能力。因此，幼儿园语言教学尤为重要，在日常教学中，应充分运用计算机的功能，促进集体活动的开展，提高教学质量。增强幼儿素质教育的实施效果。运用多媒体教学手段，使幼儿学得愉快，让幼儿对所学习的知识感兴趣，乐意动手操作，利用他们想展示自己操作能力的欲望，幼儿对学习认识活动产生浓厚兴趣；有了兴趣，幼
本文详细研究了计算机网络实验及其在教学的思考，具有深刻的理论意义和广泛的实际应用。