自動推論 - Wikipedia
自動推論（じどうすいろん、Automated Reasoning）は計算機科学と数理論理学の一分野であり、推論の様々な側面を理解することでコンピュータによる完全（あるいはほぼ完全）自動な推論を行うソフトウェアを開発することを目的とする。人工知能研究の一部と考えられるが、理論計算機科学や哲学とも深い関係がある。 自動推論のなかでも最も研究が進んでいるのは、自動定理証明（および完全自動ではないがより現実的な対話型定理証明（英語版））と自動定理検証（英語版）（固定の前提条件下での推論と見なすことができる）であるが、他にも類推、帰納、アブダクションによる推論の研究も盛んである。他の重要なトピックとしては、不確かさのある状況での推論と非単調推論である。不確かさに関する研究では論証（argumentation）が重要である。それはすなわち、標準的な自動推論へのさらなる極小性と一貫性の適用である。Joh
ELIZA - Wikipedia
この項目では、自然言語処理プログラムについて説明しています。その他の用法については「イライザ」をご覧ください。 EmacsでのELIZAの例 ELIZA（イライザ）は、初期の素朴な自然言語処理プログラムの1つである。対話型（インタラクティブ）であるが、音声による会話をするシステムではない。スクリプト (script) へのユーザーの応答を処理する形で動作し、スクリプトとしてはDOCTORという来談者中心療法のセラピストのシミュレーションが最もよく知られている。人間の思考や感情についてほとんど何の情報も持っていないが、DOCTORは驚くほど人間っぽい対話をすることがあった。MITのジョセフ・ワイゼンバウムが1964年から1966年にかけてELIZAを書き上げた[1]。いわゆる人工無脳の起源となったソフトウェアである。 ユーザー（患者役）の入力する文がDOCTOR内の非常に小さな知識ベースの範
Natural language processing - Wikipedia
2 Approaches: Symbolic, statistical, neural networks
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
)
Commonsense knowledge (artificial intelligence) - Wikipedia
Commonsense reasoning - Wikipedia
