时晨，曾用笔名妖刀小宝，上海人士，80后推理作家。自幼酷爱侦探推理，以欧美侦探小说黄金时代三大家之一的“埃勒里・奎因”兄弟为模范，创作了许多以古典本格解谜为核心的推理小说。作品注重逻辑推理，强调逻辑的严密性与巧思性。作品常发表于《推理世界》、《最推理》等国内著名推理杂志。是本土原创推理作者中为数不多的坚守古典本格理念，崇尚逻辑推演的创作者之一。中文名时晨笔名妖刀小宝籍贯上海职业推理作家目录1发表作品2长篇作品▪罪之断章▪内容简介发表作品编辑《堕落的天使》……………………《推理志》08年6上旬《五十公里外的肢解》……………《最推理》第16期《杭州龙井之谜》…………………《最推理》第22期《向日葵的爱情》…………………《推理世界》09年8B《法兰西花园之谜》………………《最推理》第24期《会飞的尸体》……………………《最推理》第25期《中国绳子之谜》…………………《最推理》第30期《蔷薇馆事件...

横沟正史，1902年5月24日出生于兵库县神户市中央区东川崎町3丁目，毕业于大阪大学，1981年去世，日本本格推理作家。著有《女王蜂》、《本阵杀人事件》等推理名作。横沟正史，1902年5月24日出生于兵库县神户市中央区东川崎町3丁目，是父亲宣一郎(药种商)和母亲波摩的三子。上有歌名雄(5岁)、富重(5岁)、五郎(3岁)。父母均是冈山县出身。1907年，生母去世。1908年，父亲宣一郎再婚。1909年，进入东川崎普通小学校学习。1915年，进入神户二中(今兵库县立兵库高等学校)学习。1918年，二哥五郎去世。1920年3月从神户二中毕业，在第一银行神户支店做勤务。1921年进入大阪药学专门学校(大阪大学药学部的前身)学习，4月处女作在《新青年》上发表。9月27日，长兄歌名雄去世。1924年毕业于大阪药专。1927年，年仅25岁就任《新青年》主编，他就任前，《新青年》已形同推理文学的专业杂志。...

推理方式有三种主要的方式可以达成推理的结论：演绎推理演绎推理（DeductiveReasoning），给出正确的前提，就必然推出结论（结论不能为假）。演绎推理无法使知识扩增，因为结论自包含于前提之内。逻辑学中有名的三段论（syllogism）就是典型的例子：人皆有一死苏格拉底是人所以，苏格拉底会死归纳推理另一方面，在归纳推理（InductiveReasoning）当中，当前提为真时，可推出某种概率性的结论。归纳推理可以扩展知识，因为结论比前提包含更多的信息。大卫·休谟（DavidHume）曾举出一个归纳推理的范例：在我记得的过去每一天中，太阳都会升起所以，太阳明天将会升起溯因推理第三类推理是溯因推理（AbductiveReasoning），或者说推论到最佳解释。这种推理方法的结构较为复杂而且可能包括演绎与归纳两种论证。溯因推理的主要特征是给出一组或多或少有争议的假定，要么证伪其它可能的解释...

基于逻辑的溯因在逻辑中，溯因法通过表示领域的逻辑理论T{\displaystyleT}和观察的集合O{\displaystyleO}进行的。溯因是依据T{\displaystyleT}推导O{\displaystyleO}的解释的集合。E{\displaystyleE}要成为O{\displaystyleO}依据T{\displaystyleT}的解释，它应当满足两个条件：O{\displaystyleO}推导自E{\displaystyleE}和T{\displaystyleT}；E{\displaystyleE}相容于T{\displaystyleT}。在形式逻辑中，O{\displaystyleO}和E{\displaystyleE}被假定为文字的集合。E{\displaystyleE}是O{\displaystyleO}依据理论T{\displaystyleT}的解释的两个条件被形...

优点推理机的程序与知识库的具体内容无关，所以对知识库的修改不需要改动推理机。缺点纯粹的形式推理会降低问题求解的效率。因此一般采用推理机和知识库相结合的方法。推理策略正向推理（数据驱动，其基本思想是：从问题已有的事实（初始证据）出发，正向使用规则，当规则的条件部分与已有的事实匹配时，就把该规则作为可用规则放入候选规则队列中，然后通过冲突消解，在候选队列中选择一条规则作为启用规则进行推理，并将其结论放入数据库中，作为下一步推理时的证据。如此重复这个过程，直到再无可用规则可被选用或者求得了所要求的解为止。）反向推理（目标驱动，它是首先提出某个假设，然后寻找支持该假设的证据，若所需的证据都能找到，说明原假设是正确的；若无论如何都找不到所需要的证据，则说明原假设不成立，此时需要另做新的假设。）双向推理