切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于三值语义的非单调逻辑
基于三值语义的非单调逻辑
来源 :汕头大学学报(自然科学版) | 被引量 : 0次 | 上传用户:dfcy007
【摘 要】
:
本文给出一种三值非单调逻辑形式,它一方面可推广标准非单调逻辑到三值情形,另一方面它能捕捉各种非单调逻辑作为特殊形式,特别地,我们证明了三值非单调逻辑与模态非单调逻辑具有
【作 者】
:
林作铨
【机 构】
:
汕头大学计算机系
【出 处】
:
汕头大学学报(自然科学版)
【发表日期】
:
1994年1期
【关键词】
:
三值逻辑
模态逻辑
非单调逻辑
three-valued logic
modal logic
monmonotonic logic
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文给出一种三值非单调逻辑形式,它一方面可推广标准非单调逻辑到三值情形,另一方面它能捕捉各种非单调逻辑作为特殊形式,特别地,我们证明了三值非单调逻辑与模态非单调逻辑具有密切的关系.
其他文献
浅谈发展农机服务产业化思路
农机服务产业化是市场经济的客观要求,也是农机化发展的出路。阐述了农机服务产业化的内涵及基本特征,分析了农机服务产业化面临的问题,论述了发展农机服务产业化的对策。
期刊
农机
服务产业化
发展
《老九门》东方卫视首播收视登顶
作为东方卫视暑期“青春季”的开篇力作,根据南派三叔同名小说改编.由陈伟霆、张艺兴主演.赵丽颖领衔主演,7月4日起.每周一、周二22:00在东方卫视周播栏目剧场播出的民国热血青春传
期刊
东方卫视
小说改编
青春
主演
播出
栏目
基于推广贝叶斯法的岩土参数估计及基础设计
结合工程实例,介绍了推广贝叶斯(Bayes)法在岩土参数估计中的具体应用,该方法利用场地周围其他工程的数据拟合出各参数的最优分布函数,并以此为先验分布,用推广贝叶斯法对现有样本
期刊
推广贝叶斯法
参数估计
基础设计
可靠性
extended Bayesian method parameter estimation foundation de
基于直方图评价函数的阈值检测与图象分割
提出了一种基于图象直方图评价函数的阈值检测方法 ,并依此进行图象分割 .实验结果表明 ,本方法在保证选取的阈值相对合理的前提下 ,具有方法简单 ,运算速度快的优点 .
期刊
图象分割
阈值检测
直方图评价函数
图像处理
阈值分割
像素灰度分布
evaluation functionimage segmentatiohreshold
深化媒体融合打造城市台“广电+”模式
【摘要】新媒体的出现和快速发展,促使城市台必须加快转型和媒体融合,如何从传统的广电运行模式中跳出来,打破与新媒体业务间的界限,城市台可以通过“广电+”的跨界整合,依托自身的
期刊
城市台
广电+
转型
一种高效率逆变器的设计与实现
针对太阳能逆变器高效率的要求,提出单相三阶半周SPWM技术,并以PIC16F876单片机为控制核心,电路简单可靠,在一个正弦周期内开关损耗比常规SPWM技术降低一半,整机效率最大达到
期刊
单相三阶半周SPWM
单片机
逆变器
single-phase three-stage half cycle SPWM single-chip micropro
基于柔度差曲率的简支梁损伤识别方法
针对土木工程结构健康监测,介绍了基于模态参数的损伤识别方法,分析依据模态参数获取结构刚度和柔度的条件,说明从一些低阶模态参数就可以获得柔度矩阵的精确估计值.提出一种利用
期刊
损伤识别
柔度矩阵
柔度差曲率
damage detection flexibility matrix curvature of the flexibility
《油气杂志》BP启动阿塞拜疆大型天然气田生产2018年7月9日刊
BP及合作伙伴宣布启动阿塞拜疆沙赫杰尼兹海上l天然气二期项目生产。沙赫杰尼兹气田面积860平方千I米,总投资280亿美元,预计储气量达到1万亿立方米。
期刊
天然气田
阿塞拜疆
生产
BP
杂志
油气
二期项目
合作伙伴
二维准流体的自组织临界性
在二维BTW模型的基础上建立了准流体系统的计算机仿真模型,研究了临界点的存在性和系统的临界指数行为,建立了一个新的临界参量,确定了具体的算法和程序,得到了一些有意义的曲线
期刊
自组织临界性
二维BTW模型
二维准流体
临界指数律
几率指数密度
计算机仿真模型
沙堆
self-organized criticality (SOC) BT
无阻尼时滞双线性系统动态输出反馈镇定问题
本文讨论一类无阻尼时滞非线性系统的可镇定问题.利用系统状态全维Luenberger观测器的设计思想、Lyapunov—Krasovskii泛涵法和分离原理.在状态反馈控制器设计的基础上得到了全
期刊
无阻尼时滞双线性系统
全维动态输出反馈
可镇定性
控制器
timelagbilinear systemstabilityfullorder dynamic ou
与本文相关的学术论文