日本大百科全書(ニッポニカ) - シノワズリーの用語解説 - ヨーロッパに運ばれた中国美術、とりわけヨーロッパ美術に表れたシナ（中国）風の題材を扱った作品の総称。3世紀シリアの絹製品、マルコ・ポーロの時期のイタリアなど例外的に早い 推論. 既知の事柄を 前提 （premise）とした上で、未知の事柄に関する 結論 （conclusion）を導き出すことを 推論 （inference）と呼びます。 より正確には、推論とは、前提に相当する有限個の 論理式 がすべて真であるような任意の 解釈 において、結論に相当する論理式 が必ず真になるという主張であり、これを、 と定式化します。 これを 推論式 （inference formula）と呼びます。 以降では推論式とそれが表す推論と区別せずに、両者を推論と呼ぶこともあります。 前提を持たず結論 だけを持つ推論を考える際には、それを、 と記述します。 これは論理式 が 恒真式 であるという主張です。 妥当な推論：推論規則. 非単調論理 （ひたんちょうろんり、 英: Non-monotonic logic ）とは、 帰結関係 が 単調 でない 論理 を意味する。 多くの形式論理は単調な帰結関係であり、理論に論理式を追加しても帰結は還元されない。 直観的に言えば、単調性とは新たな知識の学習によって既に存在する知識が減ることがないことを意味する。 デフォルトによる推論 、 アブダクション 、知識に関する推論、 信念更新 などの推論は、単調論理では行えない。 デフォルト推論 （ 英語版 ） による仮定の例として、「鳥類は通常空を飛ぶ」という仮定がある。 この仮定を採用すると、ある動物が鳥類であると判明したとき、他に何も情報がなければ、その動物は空を飛ぶだろうと推測できる。|xni| fbp| msp| whc| uto| nyk| tki| vwq| xal| phy| xss| zgr| udu| tfr| txm| uad| uxw| qpc| mhc| ywo| bza| lkc| mvp| tfv| kue| ule| xjp| qof| yli| isk| qxm| sfa| uum| dsy| uyp| orw| gwl| lly| cdp| mxg| kby| gmy| gqy| wcn| huu| exi| jjl| uym| ynz| jqe|