切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
模态K4,D4系统的归结推理
模态K4,D4系统的归结推理
来源 :软件学报 | 被引量 : 0次 | 上传用户:cypbvg
【摘 要】
:
本文将P.Enjalbert和L.Farinas del Cerro提出的模态旭结推理方法推广到命题模态逻辑D4和D4系统,建立了D4逻辑的归结推理RK4;K4逻辑的归结推理K4,分别证明了K4和RD4关于K4和D4的可靠性和完备性。
【作 者】
:
孙吉贵
李乔
【机 构】
:
吉林大学计算机科学系
【出 处】
:
软件学报
【发表日期】
:
1995年12期
【关键词】
:
模态逻辑
自动推理
归结推理
K4系统
D4系统
Modal systems K_4 and D_4
Modal resolution
Automated
【基金项目】
:
国家自然科学基金,863计划,国家攀登计划资助
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文将P.Enjalbert和L.Farinas del Cerro提出的模态旭结推理方法推广到命题模态逻辑D4和D4系统,建立了D4逻辑的归结推理RK4;K4逻辑的归结推理K4,分别证明了K4和RD4关于K4和D4的可靠性和完备性。
其他文献
严重耐多药结核病诊断现状及临床分析
目的通过测试结核菌对药物敏感性了解本地是否存在严重耐多药结核病。方法对2008年2月~2009年6月收治的所有结核病患者培养阳性的痰,支气管镜灌洗液等标本作抗结核药物敏感性
期刊
结核
耐药性
抗多种药物
多药
tuberculosis
drug resistance
MDR-TB
multiple
75例成人支原体肺炎的治疗分析
一、75例成人肺炎支原体肺炎患者,其中男42例,女33例。年龄12—75岁,均经临床和实验室检查等各项指标确诊为肺炎支原体肺炎。发病季节分布:冬季38例,秋季22例,春季9例,夏季6例,其中秋
期刊
肺炎支原体肺炎
成人
治疗
发病分布
实验室检查
季节分布
秋冬季
患者
分布式图形处理的研究与发展
分布式图形就是在分布式系统上研究计算机图形的生成,是分布式系统与计算机图形学结合的产物,本文结合作者的研究工作结合作者的研究工作对分布式图形中的研究内容(并行处理模型
期刊
图形处理
分布式图形
多媒体
西藏高校青年教师心理健康状况调查分析
目的:探讨西藏高校青年教师的心理健康状况。方法:采用心理健康测验量表对95名高校青年教师的心理健康状况进行评定分析。结果:西藏高校中有44.2%的青年教师有轻度心理问题,其中有4
期刊
高校
青年教师
心理健康
心理干预
生物技术在重症急性呼吸综合征防治中的应用前景
同重症急性呼吸综合征(SARS)的斗争是全世界所面临的紧迫任务,而人类最终战胜SARS则必须依靠科学技术现代生物技术在SARS病原体的发现过程中已经起到了举足轻重的作用,本文就
期刊
生物技术
重症急性呼吸综合征
防治
诊断检测技术
疫苗技术
抗体技术
biotechnology
severe acute respiratory syndro
细菌表面呈现技术研究进展
自从首次描述外源蛋白在大肠杆菌表面呈现成功以来,细菌表面呈现技术得到了迅猛的发展,无论是革兰氏阴性菌还是革兰氏阳性菌都可用于异源蛋白的表面呈现,该技术被应用于微生物学
期刊
表面呈现
革兰氏阴性菌
革兰氏阳性菌
细菌
surface display
Gram?negative bacteria
Gram?positive bacte
基于广义归结的定理机器证明系统
本文使用C—PROLOG语言在SUN工作站上设计实现了基于广义归结和基于归结的两个定理机器证明系统GRM,RM,证明了《数学原理》中Part1:mathematicallogic中SectionA与SectionB中全部定理(350个).讨论GRM和RM的时、空复杂性,并在实现设计中提出新的全局
期刊
广义归结
NC归结
定理机器证明
机器推理
Generalized resolution
NC resolution
OCCUR check
schedu
抑郁症状对慢性阻塞性肺疾病患者预后的影响
目的探讨抑郁症状对慢性阻塞性肺疾病(COPD)患者预后的影响。方法通过综合医院焦虑/抑郁(HAD)情绪测定表对85例COPD患者进行测评,前瞻性调查患者急性加重、死亡和心血管事件的终
期刊
慢性阻塞性肺疾病
抑郁
死亡
随访研究
chronic obstructive pulmonary disease
depression
death
fo
巧用水褥垫防压疮
我科自2004年以来在炎热的夏季将水褥垫应用于需长时间卧床或半卧位的清醒病人,代替气垫床防止压疮取得满意的效果,具体如下。
期刊
压疮
水
清醒病人
半卧位
气垫床
经纤支镜引导放置支架治疗肿瘤性重度气道狭窄
目的评价经纤支镜引导放置镍钛记忆合金支架治疗肿瘤性重度气道狭窄的有效性与安全性。方法选取26例肿瘤性重度气道狭窄的患者,经纤支镜放置镍钛记忆合金支架。结果 26例患者
期刊
镍钛记忆合金支架
纤维支气管镜
气道狭窄
nitinol alloy stent
fiberoptic bronchoscope
airway stenos
与本文相关的学术论文