命题逻辑的推理规则

关于复合命题的推理在传统逻辑里基本上只讨论了假言推理肯定式(Modusponens)和否定式以及假言联锁推理、选言推理、二难推理等。相对于某些推理形式,传统逻辑还列出了所谓推理规则。例如关于Modus ponens的规则是:承认前件就要承认后件。在现代逻辑里,命题逻辑研究关于命题联接词的推理。以(?)表示人工语言里演绎的推出关系,现代逻辑就把推理形式Modus ponens抽象为下列推理规则:     

机器伦理的来源

目前设计机器伦理系统的主流方案之一是基于规则,然而学界对规则的来源并未达成一致。M.Anderson和S. L. Anderson给出了一种依赖专家直觉的方案,从伦理学家有一致结论的实例中通过归纳逻辑方法提取出规则;Hooker和Kim则对专家直觉提出质疑,建议用康德式的道义论规则来为人工智能主体的行动提供理由。笔者认为两种方案皆有缺陷,进而提倡一种从众的机器伦理规范,这种方法是基于大量普通人行为选择、用机器学习方法构建的模型。对于这种从众的机器伦理,可能有来自实践上和理论上的困难和质疑,但它们都不是严重的和致命的。     

医学伦理决策：原因、立场与方法

医务人员在医疗实践中经常会遇到道德的冲突,就是在道德规范之间、效果之间、规范与效果之间的冲突。解决这一问题的有效方式是进行伦理决策,也就是在一定的价值立场上,通过运用不同的道德判断形式———如直觉、推理、商谈等,来预演各种方案之间的最佳结果并进行选择,为道德行动铺平道路。     

医学伦理决策:原因、立场与方法

医务人员在医疗实践中经常会遇到道德的冲突,就是在道德规范之间、效果之间、规范与效果之间的冲突.解决这一问题的有效方式是进行伦理决策,也就是在一定的价值立场上,通过运用不同的道德判断形式--如直觉、推理、商谈等,来预演各种方案之间的最佳结果并进行选择,为道德行动铺平道路.     

逻辑研究和逻辑史的研究——与蔡曙山同志商榷

逻辑研究推理并且主要是研究推理形式。具体地说,它研究推理中从前提到结论的必然联系。过去,人们从自然语言出发研究这种必然联系,建立相应的推理形式或规则。今天,人们从构造形式语言出发,通过建立逻辑演算来研究从前提到结论的必然联系。逻辑演算是形式系统,是把逻辑理论形式化的结果。今天人们熟悉并且经常使用的一阶逻辑就包括把命题逻辑形式化而建立的命题演算系统和把谓词逻辑形式化而建立的谓词演算系统。     

市场经济疾呼“伦理制度学”的建构

市场经济疾呼“伦理制度学”的建构唐能赋（西南师范大学）“伦理制度”是指人类道德生活中的各种人伦关系与道德活动方式的稳定形式及规定规则。“伦理制度学”就是研究人类道德生活中各种人伦关系与道德活动方式的稳定形式及规定规则的科学。是一门强调“道德立法”，把...     

表象计算心理模型研究的新进展

对大脑工作机理的研究和解释一直是认知心理学研究的基本问题。知识表征图式的研究源于对基于模型推理的认知和计算。在人工智能中,基于模型的推理主要包括在语义领域用计算提供真命题,基于规则的推理系统则是一个规则建构过程。现代认知心理学的研究不断的表明．许多人类的空间推理是基于模型的,而不是基于规则的;心理模型是通过知觉输入或自然语言的描述而建构的,它们可以看作是从一表征形式向另一表征形式的转换。     

"后单位时代"集体道德行动的特征及其规律——基于社会调查的实证研究

改革开放前单位组织的集体道德行动逻辑有着明确的可预见性.文化多样、利益多元的"后单位时代"集体道德行动呈现出不同于单位制度时代的道德行动逻辑,调查数据表明,单位组织集体道德行动的特征及其规律,具体表现在道德行动方向多元、道德行动动力不足及道德行动能力欠缺上.当代中国单位组织集体道德行动,在传统伦理"路径依赖"与市场经济"自然法则"的双重挤压下现实地呈现,在个体德性与"伦理场域"的相互关联中辩证地开展,在社会现实的伦理需要和伦理理论的创新发展中健康地运行.     

分布式道德机制：人工智能体道德建模的新策略

人工智能体道德建模的目的是让它们在道德实践中与人类和其他智能体更好地相处。目前主要有四种建模策略：隐式、自上而下式、自下而上式和混合式。但是这些策略存在技术层面的困境,如设计范式、道德转译和算法黑箱等问题,并且在社会层面上也难以应对伦理对齐的困境。这是因为现行策略认为人工智能体在道德实践中发挥着线性作用,能够独立实现某种外在的道德规范,从而将人工智能体从实践中隔离出来。采用分布式道德机制来实现人工智能体道德建模,将人工智能体置于多智能体系统中,可以在人与人工智能体的交互式道德实践中形成开放、包容的道德规范和分配式道德责任。这种机制不仅能够消解现行策略的困境,还能够促进人工智能体与人类之间形成道德共生关系。     

关于选言推理逻辑规则的语言表述

选言推理是普通逻辑思维中大量运用的一种推理形式,各种逻辑教材都有对于这种推理形式的介绍,但是对选言推理必须遵守的逻辑规则的语言表述却很不相同,而且都有不够严密之处。下面我们对其中有代表性的几种表述方法的局限性作一些简单的分析,并试图对选言推理的逻辑规则作出严密的语言表述。     

有轨电车的道德分叉

伦理两难并非逻辑悖论,因此必定存在着某种具体的理性解法。所谓伦理两难实际上是把伦理规范当成是无条件的普遍教条而产生的,是一种道德语法的谬误。任何伦理规范都必须由道德语法规则去解释其合理运用。有轨电车难题抹去了人的具体性,因而不具备伦理学的意义。     

情境适应性人工智能道德决策何以可能——基于美德伦理的道德机器学习

现实道德情境的复杂性对人工智能道德决策的深度应用构成了极大挑战，义务论和功利主义算法“自上而下”的路径无法成功应对这一挑战；相反，美德伦理“自下而上”的路径为应对这一挑战提供了丰富的理论资源。具体来说，美德模范的“仿效”式学习和注重道德经验的“实践智慧”既保证了道德决策的情境敏感性，又确保了复杂情境道德决策的可靠性。更为关键的是，这两种“自下而上”的美德习得路径与一些机器学习方法高度相洽。因此，美德伦理可以作为情境适应性人工智能道德决策的伦理基础。     

时态结构中的恒常联系因果学习

人工智能研究中,行动这一概念通常在理论框架中有完全的定义。然而,现实中的行动有时难以完全刻画。智能体需要从过去的经验观察中习得行动的后果。本文提出一种基于时态结构的行动一结果学习理论。在自然数时间结构中,智能体通过观察过去的恒常联系建立因果关系。智能体依据己建立的因果关系指导将来的行动。同时,我们给出关于该理论的一个完全的逻辑演绎系统,并给出基于该逻辑的智能体行动的有效算法。     

时态结构中的恒常联系因果学习（英文）

人工智能研究中,行动这一概念通常在理论框架中有完全的定义。然而,现实中的行动有时难以完全刻画。智能体需要从过去的经验观察中习得行动的后果。本文提出一种基于时态结构的行动—结果学习理论。在自然数时间结构中,智能体通过观察过去的恒常联系建立因果关系。智能体依据已建立的因果关系指导将来的行动。同时,我们给出关于该理论的一个完全的逻辑演绎系统,并给出基于该逻辑的智能体行动的有效算法。     

人工智能的伦理问题:挑战与应对

人工智能的迅速发展给人们生产生活带来极大便利,同时也引发了诸多哲学争论,特别是关于人工智能主体地位的争论最为激烈。哲学争论的背后是人工智能所带来的伦理问题与挑战,诸如道德决策风险、社会伦理问题、主体人存在与发展的伦理问题等。而应对人工智能所带来的伦理问题,须以马克思科技史观为指导,正确处理人与人工智能的关系,并从伦理制度建设、人工智能监督等方面着手介入。     

多智能体模态逻辑系统K_n中的知识遗忘

如何让智能体像人一样具备遗忘的能力,目前仍然是人工智能所面临的最大挑战之一。遗忘在基于符号逻辑的知识表示与推理领域和基于统计的机器学习领域都有研究。特别在知识表示与推理领域,遗忘扮演着非常重要的角色。在命题逻辑、一阶谓词逻辑、模态逻辑、描述逻辑、回答集逻辑程序设计,以及情景演算等逻辑语言中都有大量的研究。模态逻辑适用于智能体的知识表示与推理。在模态逻辑中,知识遗忘首先在单智能体场景中被提出。随着多智能体系统研究的发展,多智能体模态逻辑中知识遗忘的研究也开始被关注。到目前为止,多智能体模态逻辑系统中的知识遗忘还无法有效计算。本文在多智能体模态逻辑系统K_n中对知识遗忘进一步展开研究。采用知识编译的思想,提出一种新的多智能体模态逻辑范式K_n-DNF。基于K_n-DNF,我们给出K_n中计算知识遗忘的有效算法,其时间复杂度是K_n-DNF公式长度的多项式时间。     

如何自学《判断》这一章

《判断》这一章在形式逻辑科学体系中具有重要的地位。判断是概念的结合,又是推理的组成要素。没有判断就不可能揭示和说明概念(例如.下定义就是运用判断来进行的),也不可能构成和进行推理。而就形式逻辑作为一门研究思维的逻辑形式的科学来说,其主要研究内容是推理的逻辑形式和规则,但是,如果不了解各种判断形式,当然也就无法了解由其所构成的各种推理形式。因此,正确揭示和判明各种判断的逻辑形式和逻辑特性,乃是正确了解和把握各种推理形式及其逻辑规则的基础和先决条件。所     

推理谬误、责任倒置与行动逻辑——浅析道德热点事件中的几个逻辑问题

道德生活中的逻辑问题未能得到应有的重视;在当前的道德热点事件中,几个关键的逻辑问题制约了交流理解与困境治理的可能性与有效性:事件归因过程中的推理谬误,道德归责过程中的不当反问与举证责任倒置以及困境治理中违背决策逻辑、引发避险心理而导致的行动陷阱。深入分析与澄清此类事件中的系列逻辑问题,厘清相关话语与思维过程中的逻辑结构与心理机制,为有效的道德对话与困境治理澄清理论与实践的基础。     

波特模式的实践启示与反思——行为伦理决定模式中道德推理的理论与实践分析

波特模式目前已发展成为一个道德困境中行为伦理决定的道德正当性的分析模式,波特模式的分析包括境遇定义、价值、原则、忠诚四个板块,其分析拟确保行为决策与行动抉择都奠基于理性的伦理分析.在实际生活中,我们也可以把波特模式的运用看作是一种社会伦理方面的练习,它试图让人们在伦理分析的练习中养成一种价值自觉,以引导人们在实践中自觉地在合理的伦理原则的指导下实施自己的行动方案.波特模式主要应用于传媒伦理领域,在公共关系领域及相关的职业分析中也多有应用.     

重在掌握演绎推理的逻辑性

人们在实际生活中,无论是思考问题还是交流思想,总是要进行推理的。不过人们的推理并不都合乎逻辑。合乎逻辑是正确推理的必要条件,也是正确思维的重要特征。因此,研究推理的逻辑性,即推理的逻辑结构及其规则,是形式逻辑科学的一项重要任务。了解和掌握各种推理形式的逻辑结构及其逻辑规则,也就是我们学习推理各章的主要目的和要求。下面谈谈学习演绎推理应当着重注意的几个问题。一、首先要弄清楚演绎推理的逻辑特征。演绎推理的特征是相对于归纳推理