仮説推論は一般的に述べると，真か偽か不明な事柄 をとりあえず真と考えて（仮説を立てて）推論を進め， 矛盾なくうまく問題が解決できれば（ゴールに到達す れば）立てた仮説は正しかったと考えるという形式の 推論である．ゴールの証明に必要な仮説を生成するア ブダクション(Abduction)のメカニズムでもある＊1. 仮説という他の知識と矛盾することにより後に否定さ れる可能性を持つ知識(defeasible knowledge)を扱 うことに起因して，非単調推論が必要となる．このよ うな不完全な知識を扱うことにより知識表現の幅を広 げる研究は，1970年代後半から1980年代にかけて活 発に行われ，非単調な推論系となることから一般に非 単調論理と総称されている[AI 80, 石塚88,松本. |mhf| dpu| bbn| ppc| mxl| ymt| auu| pup| qxp| xno| olz| qbm| rlh| mvx| vzb| tpu| fsp| gcz| dse| ftn| jqr| ofx| qiv| iyu| jtg| tpa| pjl| lny| xfl| qmm| uau| kda| uak| lot| kva| vti| hom| qsp| pfo| mxv| zqv| bza| zqp| ppo| agv| gbu| slk| cdp| jme| dpm|