意味 |
Negation as failureとは 意味・読み方・使い方
追加できません
(登録数上限)
意味・対訳 失敗による否定(しっぱいによるひてい、英: Negation as failure、NAF)は、論理プログラミングで使われる非単調論理的推論規則であり、 p {\displaystyle p} を導出することに失敗したとき n o t p {\displaystyle {\mathit {not}}~p} を自動的に導出することである。
ウィキペディア英語版での「Negation as failure」の意味 |
Negation as failure
出典:『Wikipedia』 (2010/12/23 04:53 UTC 版)
意味 |
|
Negation as failureのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. | |
Copyright © 2024 CJKI. All Rights Reserved | |
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのNegation as failure (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
「Negation as failure」のお隣キーワード |
negation as failure
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |