有疏漏性推理是对推理形式的研究，它尽管令人信服，却不如演绎推理那么形式化和严格。它已经在哲学中，和最近在人工智能中讨论过了。 其他演绎推理的替代者包括归纳推理和逆推推理。它们在传统上不被术语「有疏漏性推理」所覆盖。 尽管亚里士多德把对逻辑和哲学有效的推理形式同在日常生活中使用的更常见的推理...

reasoning），或者说推論到最佳解釋。這種推理方法的結構較為複雜而且可能包括演繹與归纳兩種論證。溯因推理的主要特徵是给出一组或多或少有争议的假定，要么证伪其它可能的解释，要么展示出赞成的結論的可能性，来尝试赞成多个结论中的一个。 案例论据 證據 可废止推理 逻辑推理 邏輯 推論 直言三段论 逆推法 推理片 推理小說 A Practical...

演绎推理（英語：Deductive Reasoning）、正向推理在传统的亚里士多德逻辑中是「结论，可从叫做‘前提’的已知事实，‘必然地’得出的推理」。如果前提为真，则结论必然为真。这区别于溯因推理和归纳推理：它们的前提可以预测出高概率的结论，但是不确保结论为真。 “演绎推理...

次）天下雨，（普遍次）地上濕。（可能因為）天下雨（普遍所以）地上濕。"。 溯因（Abductive reasoning）：用來決定前提。它藉由結論和規則來支援前提以解釋結論。診斷和偵探通常使用這種推理。舉例："（可能因為）天下雨（普遍所以）地上濕。（某次）地上濕，（可能因為）天下雨。"。 可废止推理...

自动认识逻辑 可废止逻辑 模态逻辑 真势模态逻辑 认识逻辑 道义逻辑 时间逻辑（时态逻辑） 动态逻辑 可证明性逻辑 可解释性逻辑 哲学逻辑 次协调逻辑（弗协调逻辑） 自由逻辑 辩证法（辩证逻辑） 非形式逻辑 逻辑实现的三种方式 演绎推理 归纳推理 溯因推理（设因推理，假设推理） 可废止推理 逻辑史 工具论（古希腊）亚里士多德（384...

向其他命题公式集增加命题公式只能使矛盾更糟糕。转而，溯因是在排序可能世界的优先级的层次上进行的。 查尔斯·桑德斯·皮尔士 演绎推理 可废止推理 归纳推理 逻辑 逻辑推理 推理过程 歸謬法 T. Eiter and G. Gottlob (1995). The complexity of logic-based...

推理的逻辑不应当是单调的。形式化缺省推理的逻辑可以粗略的分为两类：可以处理任意的缺省假定的逻辑（缺省逻辑、可废止逻辑和回答集编程），和形式化不知道为真的事实可以被缺省假定为假的特殊缺省假定的逻辑（封闭世界假定和限制）。 溯因推理...

推理小說就是偵探小說。隨着推理小說的發展，不同流派的推理小說相繼出現，如社會派、冷硬派、變格派等，這使原來的傳統正宗推理小說被稱為“本格推理小說”。雖然日本後來廢止了當用漢字制度，但該習慣未有改變。中国受日本影響，同樣使用了推理...

有疏漏性逻辑是Donald Nute提出的用来形式化有疏漏性推理的非单调逻辑。在缺省逻辑中，有三种不同类型的命题： 硬性规则：指定一个事实总是另一个事实的结论； 有疏漏性规则：指定一个事实典型的是另一个事实的结论； 废止者：指定对有疏漏性规则的例外。 可以在有疏漏性规则和废止者上给出优先级。在演绎期间，硬性规则总是使...

相干逻辑支持真理的四值概念：真，假，非真非假，和次协调的亦真亦假。 在知识表现中，对可废止推理系统做了很多关注，它们可以支持在更充分的证据可获得的时候否决以前的结论。可以证明可废止逻辑是次协调的。 次协调逻辑也可以用做次协调数学的基础，它允许矛盾而不使所有陈述成为可推导的结论。 Béziau, J.-Y. "What is...

有疏漏性邏輯是Donald Nute提出的用来形式化有疏漏性推理的非單調邏輯。在有疏漏性邏輯中，有事實(facts)、規則(rules)及優勢關係(superiority relation)三種不同類型的命題。而規則部分，又分為嚴格規則(strict rules)、有疏漏性規則(defeasible...

0km、貨物營業里程300km。 1988年3月13日，青函隧道通車，青函渡輪開出末班船班後停航。同年6月3日至9月19日短暫復航，之後JR北海道正式廢止此船班；但仍有民營業者使用其他碼頭繼續經營接載汽車和乘客的青函航路渡輪航班。 渡輪停航之後，JR北海道將大部份船隻出售或拆解，但保存了少數船隻開放參...

Reiter）提出的用来形式化有缺省假定的推理的非单调逻辑。 标准逻辑只能表达某个事物为真或某个事物为假，但类似于“缺省的，某个事物是真的”的事实则可以使用缺省逻辑进行表达。推理经常会涉及到在多数时候是真但不总是真的事实，而缺省逻辑则可以解决这样的推理问题。...

1878年（明治11年）11月2日 - 依據郡區町村編制法、以下區域屬於東京府牛込區。 現存的町丁（「牛込」「大久保」前綴已於1911年廢止。「市ヶ谷」變更為「市谷」。不過，片町、河田町、富久町的前綴也被廢止） 市ヶ谷加賀町一丁目、市ヶ谷加賀町二丁目、市ヶ谷片町、市ヶ谷河田町、市ヶ谷甲良町、市ヶ谷砂土原町一丁目、市ヶ谷砂...

希臘語：σοφιστής）又稱诡辩家、智辩家，是用聪明但谬论式和具有欺骗性的论点进行推理的人；诡辩士所用方法称为诡辩(sophism)或诡辩术(sophistry)。诡辩术在主观方面以欺骗为目的，客观上在论证中故意引入违背逻辑的谬论（Fallacy），做出有欺骗性的似是而非的推理和论证。早在古希腊，亚里士多德著作《辨谬篇》(On Sophistical...

廢止，設立資訊文化學部，形成九学部體制。1995年，設立多元數理科學研究科。1998年，醫療技術短期大學部廢止，設立醫學部保健學科。1998年，設立國際語言文化研究科。 2001年，設立環境學研究科。2003年，人類情報學研究科與工學研究科情報工學專業廢止...

有能力驗證薩哈巴、繼承者、主要伊瑪目和伊智提哈德的共識（伊制瑪爾），特別是涉及其所屬專門領域。此外，伊智提哈德還要熟知沒有共識的論題。 對格雅斯（Qiyas，類比推理）的法則和過程要有徹底的認識，使之可處理沒有先例的個案。 了解沙里亞法規涉及「考慮公眾利益」的宗旨，包括五功對「生命、宗教、理智、世系和財產」的保障，還須知道沙里亞法...

第三者”诸词“不伦不类”，表示中国人袭用是“瞎眼盲从”，力主改新还旧。彭认为应当废止来自日本的“取缔”，代之以古汉语禁止、管束；又主张将“场合”改为时、事、处，“第三者”改为他人，“动员令”改为动兵令，“打消”改为废止，“目的”改为主眼，“取消”改为去销，“手续”改为次序、程序，“引渡”改为交付、交出，等等。...

推理，但對於道德違規行為所引起的驚嚇可能促使快速的立即反應來影響過程。 但還有某些認知技能，能夠將諸如信仰、意圖、慾望、情感的心理狀態歸因於自己以及其他人，這種道德情感與前述之道德推理情境在研究上的特徵相符，薈萃分析發現道德情感和道德推理...

服高差及定线的坡度有关。因此对于限制坡度、站间平均距离、到发线有效长、施工技术水平、最小曲线半径等其他线路技术标准而言，与线路展线系数之间的关系可根据推理及数理统计的方式推导出关系式。 其值恒大于1，且一般平原地区小于1.1，丘陵地区小于1.3。过去由于资金和技术的限制，山区铁路往往有很大的展线系...

尤其是东周以后逐渐更趋减少但也从未废除，甚至秦汉以后也存在杀俘祭庙的行为；而人殉现象则在中国古代的持续力度更强，虽然从战国时期到西汉时期官方开始尝试废止人殉，但边远地区和农村地区的地主用人殉葬的现象一直保持到明清甚至民国时期。这些现象主要与宗教思潮和社会思潮的变化相关，而与社会生产关系（奴隶制还是封建制）无直接关联。...

乎暗示就算是把經文誦讀給不懂阿拉伯語的人們，他們也能理解經文的內容。 《古蘭經》是永恆存在還是後天創作是九世紀的一個神學議題（古蘭經的創作性）。強調推理及邏輯的神學派別穆爾太齊賴派認為《古蘭經》是真主的創作，並非永恆存在，但絕大多數的穆斯林神學家則認為《古蘭經》與真主一樣是永恆存在，並非創作品。蘇非主義哲學家則認為這是一個偽命題。...

一個由NERV所發布的緊急命令，為了方便NERV捕捉第八號使徒而可以便宜行事。其内容包含封鎖箱根的陸空交通、對外管制消息等。 此命令由日本政府发布。它废止了对NERV的法律保护，并将联合国授权转移给日本政府，以便日本政府武力占领NERV总部。 真嗣在第三次冲击发生时手掌上被打下了烙印。他的双手上出现的钉伤，随后他进入梦境状态。...

ne連載作品中頭一位獲得此獎賞之作品），也於第34回（平成22年度）講談社漫畫賞少年部門受賞。 第1部『鑽石王牌』 於初中時期最後的大賽，統合即將被廢止的赤城中學參賽，在第一回戰中投出暴投而輸掉比賽的投手澤村榮純，本來決定要與朋友一同考入故鄉的高中，卻被東京的棒球名校青道高中挖角，並在那裡遇見天才捕手御幸一也，就此改變他的人生…。...

人種約定所限，連長年住在圖書館的吉普莉爾也無法取得關於遊戲的任何情報。最後從史蒂芬妮·多拉處得到先王遺下的王宮密室鑰匙，因此尋得先王留給後王的手札，推理出獸人種致勝的秘密遊戲為何。 在迎戰前來阻止挑戰獸人種的克拉米與菲爾時，故意在改裝黑白棋對戰中失利，使克拉米透過空的記憶得知空白背後並無其他種族支持...

大部分伊斯蘭地區的邏輯原作受到束縛，波斯及黎凡特地區仍然有人研習邏輯。 法赫爾丁·拉齊批評亞里士多德的直言三段論，發展出歸納推理的模式，為約翰·斯圖爾特·密爾所建立的歸納推理系統埋下了伏筆。照明主義哲學記錄了其對希臘邏輯的系統性反證，照明主義哲學的創建者謝哈布丁·蘇哈拉瓦迪發展出「決定性必需」的理...

可被視為說明了伊瑪目的主張。貝赫巴哈尼稱他們接受伊瑪目的指導，並將之傳承下去，法學家的共識必須建基於他們的示例，使它不存在受到質疑的餘地。 什葉派採納的法律詮釋方法叫「代利勒阿格勒」（理性指導），可能是源自強調人文推理...

視台改革，原有的綜藝節目《Picaru的定理》撤出富士電視台週六連續劇，再次改為播放此時段。2014年10月18日起改播出綜藝節目《千禧》至同年9月廢止，2015年4月起改為週六23:40 - 24:05，為第二期。2016年4月起為第三期的「大人的六劇」。是同年3月平日下午時段播完東海電視劇午間劇的計畫。...

最初有週五晚間連續劇與週六晚間連續劇（日语：土曜ナイトドラマ (テレビ朝日)）。之後週六劇廢止，只剩週五劇。2010年4月開始加入於週日晚間播出的週日晚間連續劇（日语：日曜ナイトドラマ）→週日晚間首映（日语：日曜ナイトプレミア）。2012年3月底週日劇廢止，只剩週五劇。2017年10月再次恢復周五及周六劇。 朝日電視台週五晚間連續劇（2000年4月－）...

在被宪法规定留给成文法的范围的任何由行政机构发布的规章是违背宪法的，除非它被法规授权作为委任立法。对案件有利益的任何公民能获得由国务委员会以行政机构超越它的权力为由作出的对这些规章的废止。另外，国务委员会能以规章违背现有的成文法、宪法性权利或“法律的一般原则”为由废除规章。 然而直至2009年，对普通公民而言没有获得对违背宪法的法令...

12月26日——当时全国最快地铁——广州地铁3号线和全国首条使用直线电机的地铁——广州地铁4号线开通试运营。十届全国人大常委会第十九次会议决定自2006年1月1日起，废止一届全国人大常委会于1958年6月3日通过的《中华人民共和国农业税条例》。 12月31日——中共中央、国务院发出《关于推进社会主义新农村建设的若干意...