排序方式： 共有17条查询结果，搜索用时 31 毫秒
1.
2.
问题对偏好的变化会有影响。本文在偏好逻辑的背景下考虑事务管理并提出了一个新的带有事务管理的动态偏好逻辑。我们的逻辑表明它能把其他情况均同的偏好（ceteris paribus preference）与普通的偏好联系起来并将其动态化和显性化。并且,通过引入混合逻辑使得我们能在同一层次谈论命题和对象之间的偏好,除提问这个行动之外,我们还在逻辑系统的动态部分考虑了解决、建议和软公开宣告等行动。在对这四种行动的不同影响进行比较后,我们证明了这个动态系统的完全性。 相似文献
3.
哥德尔的一阶逻辑完全性定理（1929）是数理逻辑的基石。当代的逻辑学学生学习数理逻辑时大都直接接触Henkin（1949）的改良证法,该法简明扼要,并将原证法的“关于可数语言的限制”扩展至“任意基数的语言”。本文用改进的当代逻辑学术语简要重述了哥德尔的一阶逻辑完全性定理的原始证明,这一证明在很大程度上已经为人所遗忘。作者并择要指出原证明中未声明地使用了Konig引理（1926）。 相似文献
4.
亚里士多德在《前分析篇》和《论辩篇》中提出了关于“偏好”的理论。本文从现代偏好逻辑的观点分析亚里士多德的偏好理论,作者认为亚里士多德提出了“强偏好”和“无差别偏好”等概念,提出了“强偏好的完全性”、“强偏好的不对称性”、“强偏好的换质位”以及“强偏好的合取扩展”等等原理。作者希望本文的分析能对现代偏好逻辑的研究提供一些资料。 相似文献
5.
他出生在山东一个农民家庭,自幼刻苦读书,2002年,他以优异成绩考入郑州航空工业学院。然而,谁也没有想到,2003年8月假期的一天,他因为在家里帮父母干农活,不慎从房顶摔了下来。从此,这个原本健康的小伙子,突然间变成了一个只有头会动的高位截瘫患者。面对突如其来的噩运,他伤心、绝望、消沉,也曾想一死了之。可是,他却连自杀的能力都没有。他唯一能做的就是绝食,可面对父亲疲倦的面容和母亲红肿的双眼,他知道他们所承受的压力并 相似文献
6.
截瘫是一种严重的残疾,其中大部分是由外伤导致脊髓损伤而引起的.在目前的急救护送、诊治方法和康复治疗中仍然存在很多不足.中国的人文关怀有着深厚的传统根基,已经渗透到各个领域.本文就如何应用人文关怀的精神关爱截瘫患者,更好地构建和谐社会谈几点看法. 相似文献
7.
二十世纪五十年代,卡尔纳普发展了归纳逻辑,他把概率看作一种证据对假设对"确证度";二十世纪六十年代,所罗门诺夫用通用归纳方法进行预测。为了增强归纳逻辑的归纳预测能力以及扩展所罗门诺夫通用归纳方法的表达力,本文整合二者。本文首先将所罗门诺夫先验概率的思想引入归纳逻辑中,在这个框架下,证明一阶逻辑版本的所罗门诺夫完全性定理,然后比较二者的优略。在卡尔纳普的归纳逻辑中,不管正面证据有多少,对像"所有乌鸦都是黑的"这种全称句的支持度最终都为零,而在用所罗门诺夫先验改造的归纳逻辑中,可以证明,在任何可计算的世界中,"所有乌鸦都是黑的"可以得到确证,只要在那些世界上真的所有乌鸦都是黑的。在所罗门诺夫的模型中,要证明完全性定理需要记录所有的过去信息,在修改后的归纳逻辑中,我们可以只关注某种具体的模式而忽略其它无关信息并证明类似的收敛定理。我们甚至可以不用记录所有的相关信息而采用随机抽样的方法建立合理的信念。 相似文献
8.
从一个康复"缺憾"个案看科学思维方法的意义 总被引：1，自引：0，他引：1
本文就一例截瘫患者从因分娩诱发患病,误诊误治到康复治疗实施的过程进行分析,通过总结在诊断、治疗和康复过程中的失误与经验,讨论我们在日常的工作中如何正确建立科学思维方法以及利用科学思维方法解决实际问题,以达到提高自身诊疗水平和独立思考能力的目的. 相似文献
9.
非帕斯卡概率是乔纳森·柯恩根据科学家在科学探究的实际过程中的背景知识的非完全性的假定而创立的现代概率逻辑的一个重要分支,由于该种概率系统是基于背景知识的不完全性,因而其不满足经典数学概率的否定互补原理与乘法原理,而是具有乘法不减以及非互补性性质。也正因为该概率系统具有这种非直观的性质,因而其合理性遭到许多学者的质疑。本文试图对学者们的质疑进行归类性地梳理并对这些质疑再评价,旨在为柯恩的非帕斯卡概率系统的合理性进行辩护。 相似文献
10.
首先,我们构造认知系统EK1-EK3,给出它们的一些证明论结果。其次,我们引入邻域语义,给出EK1-EK3的特征公理和规则的框架条件,证明EK1-EK3相对这些框架条件分别是框架可靠的。最后,我们证明EK1-EK3相对这些框架条件分别是框架完全的。 相似文献