切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
逻辑代数的集合图方法的注记
逻辑代数的集合图方法的注记
来源 :贵州省科协,贵州省社会科学界联合会,贵州制约逻辑学会 | 被引量 : 0次 | 上传用户:z5748259
【摘 要】
:
利用极小项与命题变项个数之间的关系指出了文[1-2]给出的四、五变量集合图的错误。利用Euler公式说明了四个变量以上的集合图不具有可平面性。
【作 者】
:
Chen Yongming
陈勇明
Xie Haiying
谢海英
【机 构】
:
Department of Computation Science, Chengdu University of Information Technology,Chengdu, 610225
【出 处】
:
贵州省科协,贵州省社会科学界联合会,贵州制约逻辑学会
【发表日期】
:
2008年5期
【关键词】
:
逻辑代数
集合图
极小项
命题变项个数
【基金项目】
:
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
利用极小项与命题变项个数之间的关系指出了文[1-2]给出的四、五变量集合图的错误。利用Euler公式说明了四个变量以上的集合图不具有可平面性。
其他文献
臨床護士護理倫理認知、踐行現狀調查及對策分析
本文研究目前臨床護士護理倫理認知踐行現狀,分析相關影響因素,探討新形勢下增強臨床護士護理倫理認知實踐的對策。研究採用“臨床護士護理倫理認知及踐行現狀調查問卷”和“患者對護士護理倫理服務滿意度調查問卷”對成都市3所三甲醫院的500名護士以及相應的三所醫院的209名患者進行隨機問卷調查,並對調查結果進行統計分析。文章建議通過國家政策改善醫院管理、完善教育體制、改善社會環境、加強護士自身學習等方法提高護
会议
護理倫理
認知
踐行
對策
醫患關係
靈魂存在嗎?--瀕死經驗的啟示
人有靈魂嗎?唯物論與二元論的哲學爭論很複雜,任何一方要徹底駁倒另一方都不容易。隨著醫學進步,近年不少關於瀕死經驗(NDE)的研究為這問題提供不少新的資料。若有一些NDE被證明是可靠和真實的話,的確會對唯物論構成挑戰。本文會指出封NDE的認識與醫療照顧(特別是垂危的病人)息息相關,然後探討種種對瀕死經驗的自然主義解釋。生理學理論包括:NDE純粹是藥物的作用;是缺氧所致等。而心理學理論則包括建構論,人
会议
瀕死經驗
來生
靈魂
臨終關懷
“互聯網+”時代患者隱私保護的倫理思考及對策
本文分析“互聯網+”時代患者隱私保護所面臨的新威脅,對傳統的隱私保護技術、體制制度以及規範的有效性進行反思,尋求新技術應用與患者隱私保護的結合點。作者認為,對患者隱私的保護,不應該成為新技術應用的障礙,而是將二者有機地結合起來,形成良好的互動。文章就在信息時代提高信息意識、管理、技術三個層面提出具體的保護建議。
会议
“互聯網+”
醫學倫理
電子病歷
患者隱私
隱私保護
導言
会议
瀕死經驗與靈魂--回應關殷文
会议
论代数、逻辑和智能系统之间的对应关系
代数与逻辑的关系在数学中是众所周知的,逻辑与智能系统的关系在计算机科学中已有深入的研究,但代数、逻辑和智能系统的统一的对应关系在计算机科学教学和研究中尚未引起注意。本文将通过研究代数、逻辑和智能系统的对应关系,建立它们的统一模型来填补上述缺陷。本文提出的方法将有利于计算机科学和人工智能中的逻辑学以及智能系统的研究与教学。
会议
逻辑学
智能系统
代数
知识库系统
基于SVO逻辑的电子商务协议非否认性形式化分析
非否认性是电子商务协议应该具备的一个重要特性.SVO逻辑以其简洁的特点在协议的安全性验证方面被广泛应用.本文通过对SVO逻辑分析推理规则进行扩展,将其运用到对电子商务协议的非否认性的验证上,对CMP1进行了形式化分析.形式化分析的结果表明CMP1满足非否认性.
会议
电子商务协议
安全性验证
非否认性
SVO逻辑
基于ALC的扩展描述逻辑ALC+
本文首先介绍了描述ALC语法和语义,并指出ALC的不足;然后提出了ALC+,它在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器,使其表达能力增强,并给出了ALC+中的形式化定义;最后给出了ALC+的一些性质。
会议
描述逻辑
表达推理能力
自动电平控制
构造器
命名实体识别与提取分析
命名实体的识别是信息抽取的前提与重要组成部分,广泛地应用于自动问答系统、语义信息提取系统、文本摘要等自然语言处理系统之中。当前命名实体的识别技术主要基于两个基本方法,一个是基于规则的方法,一个是基于统计的方法,而且基于这两个基本方法的技术正在融合互补。
会议
命名实体识别
信息抽取
自然语言处理
测评指标
论思维语言假说
思维语言假说(LOTH)是关于思维(thinking)和思想(thought)本质的一个经验主义的论题或假说。根据LOTH,思维是在心理语言中进行的,即:在相应有机体的头脑内物理地实现的符号系统中进行的。福多在1975年出版的《思维语言》一书中最先明确提出上述概念。在他看来,心灵表征理论的核心是“思维语言的假定”。它与天赋论、自然主义、心灵的计算理论、意向性等有着密切的关系。根据当前科学心理学等领
会议
思维语言假说
计算理论
符号概念
福多
与本文相关的学术论文