検索結果- 英語 - 英語

(logic, countable) A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold.

日本語の意味

矛盾を一部許容するが、それによって全ての命題が真になるという爆発原理が成立しない、特定の形式論理体系

このボタンはなに？

In our seminar, we explored paraconsistent logic to model contradictory but non-trivial databases.

翻訳する

私たちのセミナーでは、いくつかの矛盾が真でもすべての命題が真になるわけではないような、矛盾を許容する形式論理を用いて矛盾を含むが自明ではないデータベースのモデル化を検討した。

詳細

paraconsistent logics

名詞

活用形複数形

plural of paraconsistent logic

日本語の意味

『パラコンサイステント論理』の複数形。すなわち、単数形である『paraconsistent logic』の複数形を指します。

このボタンはなに？

Researchers compared several paraconsistent logics to determine which best handled contradictory data.

翻訳する

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

詳細

paraconsistentization

名詞

稀用不可算名詞

(logic, rare) Conversion to a paraconsistent form.

日本語の意味

パラコンサイステント形式への変換

このボタンはなに？

翻訳する

法的データベースの矛盾するデータに対処するため、チームは古典的な知識ベースを矛盾許容的な形式へ変換する手法を開発し、矛盾が生じても信頼できる推論を可能にした。

詳細

Webで検索する