検索結果- 英語 - 英語

検索内容:

propositional logics

名詞
活用形 複数形
日本語の意味
これは「propositional logic」の複数形を示しており、複数の命題論理を指す場合に用いられます。
このボタンはなに?

大学院のゼミで、私たちはいくつかの異なる命題論理体系を比較して、さまざまな真理機能的結合子が論理的妥当性にどのように影響するかを理解しました。

fuzzy logics

名詞
活用形 複数形
日本語の意味
「ファジー論理」(あいまい論理)の複数形。すなわち、複数のあいまい論理体系を指す。
このボタンはなに?

研究者たちは、不確実性の下で人間の推論を最もよくモデル化するのはどのファジィ論理かを判断するために、複数のファジィ論理を比較した。

linear logics

名詞
活用形 複数形
日本語の意味
「線形論理」の複数形
このボタンはなに?

研究者たちは、資源の消費を最もよくモデル化するものを判断するために、いくつかの異なる線形論理の変種を比較した。

paraconsistent logics

名詞
活用形 複数形
日本語の意味
『パラコンサイステント論理』の複数形。すなわち、単数形である『paraconsistent logic』の複数形を指します。
このボタンはなに?

研究者たちは、どの矛盾許容論理体系が矛盾するデータを最もよく扱えるかを判断するために、いくつかの矛盾許容論理体系を比較した。

Boolean logics

名詞
活用形 複数形
日本語の意味
「Boolean logic」の複数形、すなわち単数形「ブール論理」の複数形です。
このボタンはなに?

複数のブール論理は、真か偽かの判断に基づくデジタル回路の設計に不可欠です。

doxastic logics

名詞
活用形 複数形
日本語の意味
これは「doxastic logic」の複数形です。つまり、単数形である「doxastic logic」(信念論理)に対して、複数の概念を表すために「s」が付いた形です。
このボタンはなに?

新しい証拠に直面したときにエージェントがどのように信念を更新するかをモデル化するために、いくつかの信念の論理が提案されてきました。

formal logics

名詞
活用形 複数形
日本語の意味
形式論理(formal logicの複数形)」
このボタンはなに?

大学院のゼミで、いくつかの形式論理体系を比較し、不確実性の下での推論を最もよくモデル化するものを特定しました。

sentential logics

名詞
活用形 複数形
日本語の意味
「sentential logic」(命題論理)の複数形です。つまり、単数形の「sentential logic」の複数形として扱われます。
このボタンはなに?

研究者たちは、自然言語の推論を最もよく表すものを判断するために、いくつかの著名な命題論理体系を比較した。

relevance logics

名詞
活用形 複数形
日本語の意味
関連性論理(複数形)
このボタンはなに?

関連論理体系は含意に対して別のアプローチを提供し、物質的含意の逆説を回避します。

term logics

名詞
活用形 複数形
日本語の意味
「term logic」(項論理)の複数形。すなわち、項論理に基づいた伝統的な論理体系や方法論(例: アリストテレスの論理学など)を複数示す表現。
このボタンはなに?

研究者たちは、どの項論理体系が範疇的三段論法を最も適切に扱えるかを判断するため、いくつかの項論理体系を比較した。

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★