JST科学技術用語日英対訳辞書

独立行政法人科学技術振興機構

automated reasoning

自動判断
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

日英・英日専門用語辞書

日中韓辭典研究所

automated reasoning

自動推論

Weblio英和対訳辞書

英和辞典・和英辞典 - Weblio辞書

Automated reasoning

自動推論
自動推論（じどうすいろん、Automated Reasoning）は計算機科学と数理論理学の一分野であり、推論の様々な側面を理解することでコンピュータによる完全（あるいはほぼ完全）自動な推論を行うソフトウェアを開発することを目的とする。
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

ウィキペディア英語版

出典：Wikipedia

Automated reasoning

出典:『Wikipedia』 (2011/06/17 01:31 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

Automated reasoning is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely or nearly completely, automatically. Although automated reasoning is considered a sub field of artificial intelligence it also has connections with theoretical computer science and even philosophy.

閲覧履歴

全履歴クリア

・Automated reasoning
・facta
・provocabulum
・booking
・gerar
・kametoshi
・Melk
・disch
・reflector
・Wasser
単語帳に追加

Automated reasoningのページの著作権