「Non-monotonic logic」を解説文に含む見出し語の検索結果(1~5/5件中)
非単調論理(ひたんちょうろんり、英: Non-monotonic logic)とは、帰結関係が単調でない論理を意味する。多くの形式論理は単調な帰結関係であり、理論に論理式を追加しても帰結は還元されない...
非単調論理(ひたんちょうろんり、英: Non-monotonic logic)とは、帰結関係が単調でない論理を意味する。多くの形式論理は単調な帰結関係であり、理論に論理式を追加しても帰結は還元されない...
読み方:ろんりぷろぐらみんぐ【英】:logic programming 概要 知識や森羅万象の因果関係を論理記号と非論理記号を使って形式的に記述したものは論理式と呼ばれる. この中で一階述語論理式と呼...
読み方:ろんりぷろぐらみんぐ【英】:logic programming 概要 知識や森羅万象の因果関係を論理記号と非論理記号を使って形式的に記述したものは論理式と呼ばれる. この中で一階述語論理式と呼...
読み方:ろんりぷろぐらみんぐ【英】:logic programming 概要 知識や森羅万象の因果関係を論理記号と非論理記号を使って形式的に記述したものは論理式と呼ばれる. この中で一階述語論理式と呼...
< 前の結果 | 次の結果 >