automated reasoning

/ˌɔːtəˈmeɪtɪd ˈriːzənɪŋ/ オートメイテッド・リーズニング

1. コンピュータが論理的な推論を自動的に行うプロセスや技術。

事実や規則に基づいて、コンピュータが自律的に論理的な結論を導き出したり、問題を解決したりする人工知能の一分野を指します。定理証明、知識ベース推論、計画作成などに応用されます。

Automated reasoning is a subfield of artificial intelligence. (自動推論は人工知能の一分野です。)

• Automated reasoning: 「自動推論」を意味し、コンピュータが論理的に推論を行うプロセスを指します。
• is: 「～である」という状態を表す動詞です。
• a subfield: 「一つの下位分野」を意味します。
• of artificial intelligence: 「人工知能の」という所属を示します。

Researchers are developing new algorithms for automated reasoning. (研究者たちは自動推論のための新しいアルゴリズムを開発しています。)

• Researchers: 「研究者たち」を意味します。
• are developing: 「～を開発している」という現在の進行中の行動を表します。
• new algorithms: 「新しいアルゴリズム」を意味します。
• for automated reasoning: 「自動推論のための」という目的を示します。

Automated reasoning systems can prove mathematical theorems. (自動推論システムは数学の定理を証明することができます。)

• Automated reasoning systems: 「自動推論システム」を意味し、自動推論を行うコンピュータシステムを指します。
• can prove: 「～を証明することができる」という能力を表します。
• mathematical theorems: 「数学の定理」を意味します。

関連

• artificial intelligence
• logic programming
• theorem proving
• expert systems
• inference engine
• knowledge representation
• deductive reasoning