论文部分内容阅读
本文首先介绍了描述ALC语法和语义，并指出ALC的不足；然后提出了ALC+，它在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器，使其表达能力增强，并给出了ALC+中的形式化定义；最后给出了ALC+的一些性质。
基于ALC的扩展描述逻辑ALC+
【摘 要】
：
本文首先介绍了描述ALC语法和语义，并指出ALC的不足；然后提出了ALC+，它在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器，使其表达能力增强，并给出了ALC+中的形式化定义；最后给出了ALC+的一些性质。
【机 构】
：
College of Computer Science and Information Technology,Yunnan Normal University, Kunming
【出 处】
：
贵州省科协,贵州省社会科学界联合会,贵州制约逻辑学会
【发表日期】
：
2008年5期
【基金项目】
：
其他文献
無論是過去還是現在，重大傳染性疾病(瘟疫)對社會和醫學都構成巨大的挑戰。當代研究已經揭示了醫師的職業倫理貴任話語並不足以應對這一挑戰，因而需要美德的補充。本文通過對清代江南瘟疫中的醫學道德敘事的研究，指出美德倫理的確能發動社會醫療資源以應對瘟疫，但其本身依賴於特定的醫學認知、社會組織、倫理關係以及共用價值觀。在當代重建傳統醫學道德需要充分重視這一前提，注重於傳統倫理生活世界的重構，而非僅僅進行理論
臨終關懷的兩大議題是疼痛和死亡，封於臨終患者來說，死亡的話題有為凸顯，患者在死亡面前普遍表現出濃重的焦慮和恐懼。本文試圖通過追溯《莊子》的生命哲學，從中汲取面對死亡的智慧，揭開死亡的神秘面紗，消解臨終患者對死亡的恐懼。將死亡從繁複的人倫關係中抽離出來，以期還原死亡的本真狀態。本文闡述了莊子自然主義思想封人們面對生死問題的啟發，並進一步論述從“觀化”的角度，消融狹隘的個體本位，才能實現形上生命的自我
中國的墮胎現象日益嚴重，並引起廣泛關注。墮胎是女性的權利還是一種犯罪行為一直是一個備受爭議的問題。筆者認為，胎兒具有生命的意義，墮胎本身是封胎兒和墮胎者造成傷害的行為，應當引發道德的思考和法律的約束。本文分析了引起墮胎氾濫的社會、群體及個體原因，並在承認胎兒生命意義的基礎上提出借助計劃生育政策改革，管控流產廣告，生命教育與性教育相結合，以及充分發揮醫院社會工作者的作用四個方面，糾正墮胎者與潛在墮胎
本文研究目前臨床護士護理倫理認知踐行現狀，分析相關影響因素，探討新形勢下增強臨床護士護理倫理認知實踐的對策。研究採用“臨床護士護理倫理認知及踐行現狀調查問卷”和“患者對護士護理倫理服務滿意度調查問卷”對成都市3所三甲醫院的500名護士以及相應的三所醫院的209名患者進行隨機問卷調查，並對調查結果進行統計分析。文章建議通過國家政策改善醫院管理、完善教育體制、改善社會環境、加強護士自身學習等方法提高護
人有靈魂嗎？唯物論與二元論的哲學爭論很複雜，任何一方要徹底駁倒另一方都不容易。隨著醫學進步，近年不少關於瀕死經驗(NDE)的研究為這問題提供不少新的資料。若有一些NDE被證明是可靠和真實的話，的確會對唯物論構成挑戰。本文會指出封NDE的認識與醫療照顧(特別是垂危的病人)息息相關，然後探討種種對瀕死經驗的自然主義解釋。生理學理論包括：NDE純粹是藥物的作用；是缺氧所致等。而心理學理論則包括建構論，人
本文分析“互聯網+”時代患者隱私保護所面臨的新威脅，對傳統的隱私保護技術、體制制度以及規範的有效性進行反思，尋求新技術應用與患者隱私保護的結合點。作者認為，對患者隱私的保護，不應該成為新技術應用的障礙，而是將二者有機地結合起來，形成良好的互動。文章就在信息時代提高信息意識、管理、技術三個層面提出具體的保護建議。
代数与逻辑的关系在数学中是众所周知的，逻辑与智能系统的关系在计算机科学中已有深入的研究，但代数、逻辑和智能系统的统一的对应关系在计算机科学教学和研究中尚未引起注意。本文将通过研究代数、逻辑和智能系统的对应关系，建立它们的统一模型来填补上述缺陷。本文提出的方法将有利于计算机科学和人工智能中的逻辑学以及智能系统的研究与教学。
非否认性是电子商务协议应该具备的一个重要特性.SVO逻辑以其简洁的特点在协议的安全性验证方面被广泛应用.本文通过对SVO逻辑分析推理规则进行扩展，将其运用到对电子商务协议的非否认性的验证上，对CMP1进行了形式化分析.形式化分析的结果表明CMP1满足非否认性.