比浏览器更快的访问！
20 关系: 可废止逻辑，史丹佛哲學百科全書，封闭世界假定，亚里士多德，人工智能，归纳推理，信念修正，修辞学，哲学，约翰·麦卡锡，缺省逻辑，非单调逻辑，辩证法，自动认识逻辑，逻辑，逻辑实证主义，逆推法，限制 (邏輯)，推理，演绎推理。
可废止逻辑
可废止逻辑是Donald Nute提出的用来形式化可废止推理的非单调逻辑。在缺省逻辑中，有三种不同类型的命题：;硬性规则：指定一个事实总是另一个事实的结论；;可废止规则：指定一个事实典型的是另一个事实的结论；;废止者：指定对可废止规则的例外。 可以在可废止规则和废止者上给出优先级。在演绎期间，硬性规则总是应用，而可废止规则只能在没有更高优先级的废止者指定它不能用的时候应用。.
新！!: 可废止推理和可废止逻辑 · 查看更多 »
史丹佛哲學百科全書
史丹佛哲學百科全書（Stanford Encyclopedia of Philosophy，SEP）是一部由史丹佛大學營運的免費線上哲學百科全書，內容主要以經同行評審認可的論文為主。該百科內的每一篇論文均由一位該領域的專家撰寫並維護，作者涵蓋來自世界各地徐術機構的教授。每一位在該百科全書上發表文章的作者均同意將作品的出版權讓與史丹佛大學，但作者仍可保有著作權。.
新！!: 可废止推理和史丹佛哲學百科全書 · 查看更多 »
封闭世界假定
封闭世界假定是当前不是已知的事物都为假的假定。这个名字也称呼Ray Reiter对这个假定的逻辑形式化。与封闭世界假定相对立的使用开放世界假定，宣称知识的缺乏不蕴涵虚假。 否定为失败与封闭世界假定有关，因为它总体上相信不能被证明为真的所有命题都是假的。 封闭世界假定经常暗含在数据库中，因为所有没有明确的包换在表中记录都暗含的假定表示这是假（而不是未知）这个事实。例如，如果数据库包含下列表，报告写作给定文章的人的，关于没有编辑形式逻辑的文章的人的查询，经常被预期返回“Sarah”。 这个结果服从表中不包含Sarah在第一个位置而“形式逻辑”在第二个位置的行的事实。这个论证暗含的是基于表中缺乏“Sarah|形式逻辑”这样的行蕴涵Sarah没有编辑关于形式逻辑的文章的假定。所以，这个查询的结果基于的是封闭世界假定，与之相对，在开放世界假定中，没有明确的陈述的事物是未知的而不是假的。在开放世界假定中，Sarah编辑这个文章是未知的；在封闭世界假说中，她没有编辑这个文章是已知的。.
新！!: 可废止推理和封闭世界假定 · 查看更多 »
亚里士多德
亞里士多德（Αριστοτέλης，Aristotélēs，），古希腊哲学家，柏拉圖的學生、亚历山大大帝的老師。他的著作包含許多學科，包括了物理學、形而上學、詩歌（包括戲劇）、音乐、生物學、經濟學、動物學、邏輯學、政治、政府、以及倫理學。和柏拉圖、蘇格拉底（柏拉圖的老師）一起被譽為西方哲學的奠基者。亞里士多德的著作是西方哲學的第一個廣泛系統，包含道德、美學、邏輯和科學、政治和形而上学。 亞里士多德关于物理學的思想深刻地塑造了中世紀的學術思想，其影響力延伸到了文藝復興時期，雖然最終被牛頓物理學取代。在動物科學方面，他的一些意見仅在19世纪被确信是準確的。他的学术领域还包括早期关于形式逻辑理论的研究，最终这些研究在19世纪被合并到了现代形式逻辑理论裡。在形而上學方面，亞里士多德的哲學和神學思想在伊斯蘭教和猶太教的傳統上產生了深遠影響，在中世紀，它繼續影響着基督教神學，尤其是天主教教會的學術傳統。他的倫理學，虽然自始至终都具有深刻的影响，后来也随着新兴現代美德倫理的到来获得了新生。今天亞里士多德的哲學仍然活躍在學術研究的各个方面。在經濟學方面，亞里士多德對於經濟活動的分類與看法持續影響到中世紀與重農主義，直到被亞當斯密的古典經濟學派取代為止。雖然亞里士多德寫了許多論文和優雅的對話（西塞羅描述他的文學風格為“金河”），但是大多數人認為他的著作现已失散，只有大約三分之一的原创作品保存了下來。.
新！!: 可废止推理和亚里士多德 · 查看更多 »
人工智能
人工智能（Artificial Intelligence, AI）亦稱機器智能，是指由人製造出來的機器所表現出來的智能。通常人工智能是指通過普通電腦程式的手段實現的人類智能技術。該詞也指出研究這樣的智能系統是否能夠實現，以及如何實現科學領域。同時如此，人類的數量開始收斂及功能逐漸被其取代。 一般教材中的定义领域是“智能主体（intelligent agent）的研究与设计”，智能主体是指一个可以观察周遭环境并作出行动以达致目标的系统。约翰·麦卡锡于1955年的定义是「制造智能机器的科学与工程。」 人工智能的研究是高度技术性和专业的，各分支领域都是深入且各不相通的，因而涉及範圍極廣。人工智能的研究可以分为几个技术问题。其分支领域主要集中在解决具体问题，其中之一是，如何使用各种不同的工具完成特定的应用程序。 AI的核心问题包括建構能夠跟人類似甚至超越的推理、知识、规划、学习、交流、感知、移动和操作物体的能力等。強人工智能目前仍然是该领域的长远目标。目前強人工智慧已經有初步成果，甚至在一些影像辨識、語言分析、棋類遊戲等等單方面的能力達到了超越人類的水平，而且人工智慧的通用性代表著，能解決上述的問題的是一樣的AI程式，無須重新開發算法就可以直接使用現有的AI完成任務，與人類的處理能力相同，但達到具備思考能力的統合強人工智慧還需要時間研究，比较流行的方法包括统计方法，计算智能和传统意义的AI。目前有大量的工具应用了人工智能，其中包括搜索和数学优化、逻辑推演。而基於仿生學、認知心理學，以及基于概率论和经济学的演算法等等也在逐步探索當中。.
新！!: 可废止推理和人工智能 · 查看更多 »
归纳推理
归纳法或归纳推理（Inductive reasoning），有时叫做归纳逻辑，是论证的前提支持结论但不确保结论的推理过程。它基于对特殊的代表（token）的有限观察，把性质或关系归结到类型；或基于对反复再现的现象的模式（pattern）的有限观察，公式表达规律。例如，使用归纳法在如下特殊的命题中：.
新！!: 可废止推理和归纳推理 · 查看更多 »
信念修正
信念修正是变更信念来采纳新的信息片段的过程。在哲学、数据库和人工智能对理性助理的设计中都研究信念修正的逻辑形式化。 使信念修正不平凡的东西是进行这种操作的多种不同方式都是可行的。例如，如果当前的知识包括三个事实“A为真”，“B为真”和“如果A与B为真，则C为真”，新信息“C为假”的介入只能通过去除掉这三个事实中至少一个来保持一致性。这种情况下，有至少三种方式来进行这个修正。一般的说，可以多种方式变更知识。 通常区分两类变更：;更新：新的信息有关于现在的状况，而旧的信念提及的是过去；更新是改变旧信念来接受变更的操作。;修正：旧信念和新信息都提及同一个状况；在新旧信息之间存在的矛盾被解释为旧信息不如新信息可靠；修正是插入新信息到旧信念的集合中而不生成矛盾的过程。 信念修正的主要假定是最小化变更：变更前后的知识应当尽可能类似。在更新的情况下，这个原理被形式化为惯性假定。在修正的情况下，这个原理强制变更尽可能多的保留信息。.
新！!: 可废止推理和信念修正 · 查看更多 »
修辞学
修辭學是研究修辭的學問，是语言学的範疇。修辭是增強言辭或文句效果的藝術手法。自語言出現，人類就有修辭的需要。修辭可以令人：.
哲学
哲學（philosophy）是研究普遍的、根本的问题的学科，包括存在、知识、价值、理智、心灵、语言等领域。哲学与其他学科的不同是其批判的方式、通常是系统化的方法，并以理性论证為基礎。在日常用语中，其也可被引申为个人或团体的最基本信仰、概念或态度。.
约翰·麦卡锡
约翰·麦卡锡（John McCarthy，），生于美国马萨诸塞州波士顿，计算机科学家。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上，正是他在1956年的达特矛斯会议上提出了“人工智能”这个概念。.
新！!: 可废止推理和约翰·麦卡锡 · 查看更多 »
缺省逻辑
缺省逻辑是Ray Reiter提出的用来形式化有缺省假定的推理的非单调逻辑。 缺省逻辑可以表达像“缺省的，某个事物是真的”的事实；相反的，标准逻辑只能表达某个事物为真或某个事物为假。这是一个问题，因为推理经常涉及在多数时候是真但不总是真的事实的推理。经典的例子是：“鸟通常会飞”。这个规则可以在标准逻辑中表达为要么“所有鸟都会飞”，这与企鹅不会飞的事实相矛盾；要么“除了企鹅、鸵鸟...的所有鸟都会飞”，这要求规则指定出所有的例外。缺省逻辑致力于形式化像这样的推理规则，而不需要明确提及所有的例外。.
新！!: 可废止推理和缺省逻辑 · 查看更多 »
非单调逻辑
非单调逻辑（Non-monotonic logic）是（在前提的集合和单一的句子之间的）推论关系不是单调递增的形式逻辑。 与单调推理（经典逻辑）相对，非单调推理是指知识库加入新知识后，原有的推论会被推翻的逻辑。也就是说，知识库的推论不随着知识增长而增长，即非单调递增。这时，必须使用某种正确的维持机制，确保推理继续进行。因此，非单调推理多是在知识不完全的情况下发生的。 多数形式逻辑都有单调性的推论关系，就是说，如果一个句子可以从前提的集合中推理出来，则它也可以从把这个前提集合作为子集包含的任何前提集合中推理出来，这意味着向理论增加一个公式永不引起它的推论集合的减小。在直觉上，单调性指示出学习一些新知识不能减小已知知识的集合。单调逻辑不能处理各种推理任务比如缺省推理（事实可以是已知的，只是因为缺乏反面的证据）、溯因推理（事实只按最合适的解释演绎出来）、关于知识的推理（在事实变成已知的时候，对一个事实的无知必须被撤消），和信念修正（新知识可以和旧信念矛盾。） 目前对于非单调推理的研究一般有两种途径：.
新！!: 可废止推理和非单调逻辑 · 查看更多 »
辩证法
辩证法（dialectic，也译作辩证术、辩证方法）是一种化解不同意见的論證方法。它是在两个或更多对一个主题持不同看法的人之间的对话，目的是通过这种有充分理由的对话建立起对事物真理的认知。它自古以来就在印度与欧洲哲学佔有中心地位。此詞彙應用於多種不同領域，包括哲學、自然科學與史學。 辩证法源自於古希臘的邏輯辯證過程，并因柏拉图对苏格拉底对话录的记载而为人所熟知。苏格拉底认为真理才是最重要的，惟有基於理性（类似于逻辑，而不是感情），才是说服别人以及发现真理的正确方法，并且，是一个人行为的决定性因素。他认为真理能够在讨论所使用的推理和逻辑中被发现。 辯證法以問答進行，是关于对立统一、普遍联系和变化发展的哲学学说。源出希腊语“dialego”，意为谈话、论战的技艺，指一种逻辑论证的形式。现在用于包括思维、自然和历史三个领域中的一种哲学进化的概念，也用来指和形而上学相对立的一种世界观和方法论。 自古而來，有各种不同形式的辩证推理在古印度和西方出现。其三種基本形式為：苏格拉底反诘法，以黑格尔为代表的唯心辩证法和马克思主义的唯物辩证法。其它還包括：印度教辩证法、佛教辩证法、中世纪辩证法、犹太教塔尔穆德辩证法，以及新教辩证法等。 要注意的是，辩证与辩论或修辭不同，在辩论中，辩论者堅持自己的看法论点，并且以赢得辩论为目的。辩论者要么驳倒他们的对手，证明他们自身推理的正确；要么证明他们对手的推理的错误。因此，在辩论中需要有裁判或评判团来判定何方胜利；在修辭中，使用修辭的人通过喻理（logos）、喻德（ethos）与喻情（pathos）的方式来说服閱聽者，使他们相信其說法。 诡辩家认为"才能"（arete）是最重要的，也是一个人一生行为的决定性因素。他们认为，在演说言辞中的艺术品质能够表明一个人的才能高低。演说被认为是一种艺术形式，它通过精彩的演讲来取悦并且感染听众。尽管如此，诡辩者仍然教导他们的学生要用各种方法来寻求才能，而不仅仅只是在演说中。苏格拉底反对诡辩者，反对他们那「把雄辩当做一种艺术和有感染力的演说，不需要逻辑也不需要证明」的教导。.
自动认识逻辑
自动认识逻辑是致力于形式化关于知识的表示和推理的形式逻辑。命题逻辑只能表达事实，而自动认识逻辑可以表达关于事实的知识和知识的缺乏。.
新！!: 可废止推理和自动认识逻辑 · 查看更多 »
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
逻辑实证主义
逻辑实证主义（logical positivism）和逻辑经验主义，共同形成了新實證主義，也被稱為科学经验主义，是以為核心的西方哲學運動。1920年代後期開始，一群哲學觀點相似的哲學家、科學家和數學家等組成维也纳学派，發展出邏輯實證主義。.
新！!: 可废止推理和逻辑实证主义 · 查看更多 »
逆推法
逆推法类似于归纳法，但它依据于已知或假设的关联性（relationary）规则，和包含这个规则的至少一个断言（预测）的观察（observation）。由于其他断言在观测和规则二者中的同时出现（coincidence），关联性规则的另一个断言就被推广（generalize）到观察中。 它通常用在警察工作中来通过意图、动机和时机来决定犯罪的最初嫌疑。 建造在逆推推理之上的逻辑系统的最常见形式涉及到或有关于复杂性理论。.
限制 (邏輯)
限制是约翰·麦卡锡建立的非单调逻辑，它假定除非特殊指定否则事物同预期的一样。麦卡锡后来使用限制来尝试解决框架问题。在它最初的一阶逻辑公式中，限制最小化了某些谓词的外延，这里的谓词的外延是谓词在其上为真的变量元组的集合。这种最小化类似于把不知道为真的假定为假的封闭世界假定。 Category:计算机逻辑 Category:人工智能 en:Circumscription (logic).
新！!: 可废止推理和限制 (邏輯) · 查看更多 »
推理
推理是「使用理智從某些前提產生結論」的行動。以下三種推理是屬於哲學、邏輯、心理學和人工智能等學門所感興趣的領域。.
演绎推理
演绎推理（Deductive Reasoning）在传统的亚里士多德逻辑中是「结论，可从叫做‘前提’的已知事实，‘必然地’得出的推理」。如果前提为真，则结论必然为真。这区别于溯因推理和归纳推理：它们的前提可以预测出高概率的结论，但是不确保结论为真。 “演绎推理”还可以定义为结论在普遍性上不大于前提的推理，或「结论在确定性上，同前提一样」的推理。.
新！!: 可废止推理和演绎推理 · 查看更多 »
