自動化された推論とは何ですか？

自動化された推論は、コンピューターまたは他のマシンをプログラムして、人間の論理推論の結果を再現できるという考えです。この特定の種類の技術的追求は、開発者が複雑なアルゴリズムやその他のリソースを使用して人間の知能をシミュレートする人工知能として知られる大きな分野の一部です。自動化された推論は、コンピューターで論理的な結果を達成することに焦点を当てています。これらのいくつかは、数学を利用して正式なロジックを作成するために、有効な演ductiveな推論と呼ばれるものにより焦点を合わせています。これらのタイプのプロジェクトには、定理の証明または特定の変数を使用して、対応する論理の値セットを作成することが含まれます。他の種類の自動化された推論は、より言語ベースまたは抽象的であり、人間の開発者は、効果的な結果や決定を得るために、特別にラベル付けされた目標または判断をコンピューターに提供する必要がある場合があります。たとえば、一部のアルゴリズムは、医療診断を提供する目標、またはコンピューターの入力とプログラミングが特定の決定依存の論理結果につながる他のタスクの目標に向けて記述される場合があります。これらのプロジェクトの多くでは、開発者はこれらのテクノロジーをスケーリングして、実際の問題を分析する際に有効性を拡大します。推論のためのこれらの自動化のアプリケーションの多くは、意思決定支援と呼ばれるもののカテゴリに分類されます。ここでは、人間が幅広いプロジェクトで意思決定を行うのを支援するためにテクノロジーが使用されます。テクノロジーの種類。たとえば、アプリケーションで推論のために自動化に取り組んでいる人は、ファジーロジックと呼ばれるものを使用します。アルゴリズムは、基本的に幅広いデータポイントをより具体的かつ特定の結果に煮詰めます。自動化された推論の方法を評価することは、外部のオブザーバーがこれらのテクノロジーアプリケーションがどのように構築され、どのように機能するか、そしてそれらが何に役立つかを理解するのに役立ちます。。将来のプロジェクトには、おそらく、自動化された推論能力を備えた小さなチップを含む、さまざまな消費者製品をより効果的にする方法が含まれます。大規模なアプリケーションは、行政およびその他の高レベルの管理分野の方法論において非常に重要なアップグレードを提供できます。