Форум 3DNews
Вернуться   Форум 3DNews > Программирование > Web-программирование

Ответ Создать новую тему
Опции темы Опции просмотра
Непрочитано 05.11.2018, 21:31   [включить плавающее окно]   #1
skibidi
Мужской Новенький
Автор темы
 
Регистрация: 31.10.2018
Адрес: Мюнхен, Германия
Cool Помогите с задачей на Clips

Нужно решить такую задачу:
Джонс утверждает, что не встречал этой ночью Смита.
Если Джонс не встречал этой ночью Смита, то либо Смит был убийцей,
либо Джонс лжёт. Если Смит не был убийцей, то Джонс не встречал его этой ночью,
а убийство было совершено после полуночи.
Если убийство было совершено после полуночи, то либо Смит был убийцей,
либо Джонс лжёт.


Логика.
X =“Джонс не встречал Смита”, Y =“Смит был убийцей”, Z =“Джонс
лжет”, U =“убийство произошло после полуночи”. Тогда рассуждения
можно представить последовательностью формул: F1 = X → Y ∨ Z,
F2 = ¬Y → X ∧ U, F3 = U → Y ∨ Z, F4 = ¬U, G = ¬Y . Существует ин
терпретация '' такая, что ''(F1) = ''(F2) = ''(F3) = ''(F4) = 1, ''(G) = 0,
например, ''(X) = ''(U) = 0, ''(Y ) = ''(Z) = 1. Это означает, что G не
является логическим следствием формул F1, . . . , F4 и что рассуждение
нелогично.

Всю голову себе сломал. Логику могу написать, а вот как это написать на Clips не могу понять. Помогите. Заранее спасибо
skibidi вне форума  
Ответить с цитированием
Ответ Создать новую тему

Опции темы
Опции просмотра

Ваши права в разделе
Вы не можете создавать новые темы
Вы не можете отвечать в темах
Вы не можете прикреплять вложения
Вы не можете редактировать свои сообщения

BB коды Вкл.
Смайлы Вкл.
[IMG] код Вкл.
HTML код Выкл.

Быстрый переход


Текущее время: 08:16. Часовой пояс GMT +3.


Powered by vBulletin® Version 3.8.4
Copyright ©2000 - 2018, Jelsoft Enterprises Ltd. Перевод: zCarot
Copyright © 2000-2017 3DNews. All Rights Reserved.
Администрация 3DNews требует соблюдения на форуме правил и законов РФ
Серверы размещены в Hostkey