缺省推理（缺省推理有哪些应用要求）
本文目录一览：
补足缺省推理“乌云密布时,在海洋性气候的天气形势下,天会下雨”的缺省...
1、“一年三季东风雨，唯有夏季东风晴”、“东北风，雨祖宗”，表明吹了偏东风，1～2天内天气将转阴雨，而夏季吹偏东风，将海上温度较低的气流吹到陆上，起调节气温的作用，不易下雨，尤其不易出现雷阵雨。
2、有许多谚语是看天的颜色测天，如“乌云块块叠，雷雨眼面前”、火烧乌云盖，有雨来得快”、“人黄有病，天黄有雨”、“日出红云升，劝君莫出门”、“傍晚黄胖云，明朝大雨淋”等。
3、又是一个让人抑郁寡欢的下雨天，而且还打着雷。 1继情人节以后又是一个下雨天，乌拉乌拉，乌云满天，毛毛雨直下。 1又是一个下雨天 想来杭州逛银泰 没想到坐在新通一个下午 火车好慢晕吐了。
缺省逻辑的介绍
1、缺省逻辑的最初的语义基于的是函数的不动点。下面是一个等价的算法定义。如果缺省包含有自由变量的公式，它被认为表示通过向所有这些变量给出一个值而得到所有缺省的集合。
2、缺省是无条件的或无先决条件的，如果它没有先决条件（或者等价的说先决条件是重言式）。一个缺省是正规的，如果它有等价于它的结论的一个单一论据。一个缺省是超正规的，如果它是无条件的和正规的。
3、从推论规则的结论推出前提是结论的一种解释形式，这是溯因推理的目标。常见的缺省假定是不知道为真的东西都被相信是假的。这叫做封闭世界假定，并在缺省逻辑中对每个事实 mathF/math 使用像下列这样的缺省来形式化。
推理的单调与非单调
1、单调：传统的逻辑系统实际上作的是 单调推理，加进系统的新知识（信念）必须与已有的知识（信念）相一致，不引起矛盾。所以，随着运行时间的推移，系统内含的知识有增无减，这就是所谓的单调性。
2、非单调逻辑的提出者是纽特。非单调逻辑是（在前提的集合和单一的句子之间的）推论关系不是单调性的形式逻辑。
3、为准。全部非单调逻辑的研究， 都是建立在这种“尊重事实， 合理推定”的原则基 础之上的。
