Как преобразовать пропозициональную формулу в соединительную нормальную форму (CNF)?

Измените ваши коды JavaScript, как это:

$("#Add").on("click", function(e) {
    e.preventDefault();
    var formData = new FormData($("#form1")[0]); //It automatically collects all fields from form
    formData.append('item_description', CKEDITOR.instances['item_description'].getData());
    $.ajax({
        url: "<?=base_url()?>Home/add_items",
        type: "post",
        data: formData,
        success: function(output) {
            alert(output);

        }
    });
});
13
задан ziggystar 2 March 2012 в 12:56
поделиться

2 ответа

http://en.wikipedia.org/wiki/Conjunctive_normal_form

Преобразовать логику первого порядка в CNF:

  1. Преобразуйте в нормальную форму Отрицания.
    1. Устраните последствия: преобразуйте x → y к ¬ x ∨ y
    2. Переместите NOTs внутрь.
  2. Стандартизируйте переменные
  3. Сколемизируйте оператор
  4. Отбросьте кванторы всеобщности
  5. Распределите ANDs по ORs.

(Искусственный интеллект: современный Подход [1995...] Russel и Norvig)

4
ответ дан 1 December 2019 в 23:16
поделиться

Я мог бы предложить это? Существует алгоритм для преобразования на странице.

Соединительная нормальная форма

1
ответ дан 1 December 2019 в 23:16
поделиться
Другие вопросы по тегам:

Похожие вопросы: