论文部分内容阅读
介绍了断言推理和时态逻辑断言的基本概念,并以工资智能决策支持系统(SIDSS)为例,讨论时态逻辑断言规则的设计、形式化描述与Java代码实现.
时态逻辑断言推理及其在SIDSS中的应用
【摘 要】
：
介绍了断言推理和时态逻辑断言的基本概念,并以工资智能决策支持系统(SIDSS)为例,讨论时态逻辑断言规则的设计、形式化描述与Java代码实现.
【机 构】
：
广东工业大学计算机学院,中山大学计算机科学系
【出 处】
：
计算机工程
【发表日期】
：
2003年17期
【基金项目】
：
广东省科技攻关项目，广东省自然科学基金
其他文献
民国时期，广东地方政府试图通过兴办小学的方式来建立适应民主国家制度的初等教育体制，然而，短缺的教育经费和贫乏的师资力量，使小学教育无法迅速普及。因此，政府开始试图改良私塾
1840年鸦片战争爆发，其后中英签订了《南京条约》，香港岛被迫割让给英国，此后英国又几次借故拓展领土吞并了新界和九龙，在香港地区开始殖民统治。经过近二十年的时间，香港迅速发展
列女，是中国传统社会对一种特定女性群体的称谓，列女又分为节妇、烈妇、烈女、贞女等更小的女性群体。历代贞节观念的演变和当时的社会背景都对晚清武昌府列女产生了不可忽视的
1949年底，全国大部分地区解放，中国共产党控制区空前扩大，如何对如此广袤的区域进行控制与管理，成为共产党与新政府面临的最大难题。本文通过对甘肃省民勤县这一个案的深入研究，考
十九世纪末二十世纪初，日本进入帝国主义阶段，加紧对朝鲜和中国侵略，制造了一系列边疆危机。日俄战争后，日本将侵略目标转向长白山地区，其侵略势力进入中国东北地区南部，并迅猛地扩
精索鞘膜恶性间皮瘤１例郭铁庆，黄连饴患者，６４岁，农民，以左侧腹股沟外环处无疼性肿块五年，于９５年２月１０日入院。发病初期，咳嗽及增加腹压时肿块突出明显，平卧或用手按压肿物即消失。近五月来肿
期刊