次世代ICT 教育ワンストップソリューションを提供!学びingとコンバインが業務提携。 ~教育分野特化型AI『Qろいど2』+『教材DB/自動組版/デジタル採点/WEB配信』~ 学びing株式会社(本社:埼玉県さいたま市、代表取締役社長:斉藤常治、以下学びing)とコンバイン株式会社(本社:東京都新宿区、代表取締役社長:原将志、以下コンバイン)は、教育産業向けに「AI技術を活用した教材自動作成および自動採点の開発事業」で業務提携をいたしました。 詳しくはこちらをご覧下さい
自動推論(じどうすいろん、Automated Reasoning)は計算機科学と数理論理学の一分野であり、推論の様々な側面を理解することでコンピュータによる完全(あるいはほぼ完全)自動な推論を行うソフトウェアを開発することを目的とする。人工知能研究の一部と考えられるが、理論計算機科学や哲学とも深い関係がある。 自動推論のなかでも最も研究が進んでいるのは、自動定理証明(および完全自動ではないがより現実的な対話型定理証明(英語版))と自動定理検証(英語版)(固定の前提条件下での推論と見なすことができる)であるが、他にも類推、帰納、アブダクションによる推論の研究も盛んである。他の重要なトピックとしては、不確かさのある状況での推論と非単調推論である。不確かさに関する研究では論証(argumentation)が重要である。それはすなわち、標準的な自動推論へのさらなる極小性と一貫性の適用である。Joh
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く