IPB
ЛогинПароль:

> ВНИМАНИЕ!

Прежде чем задать вопрос, смотрите FAQ.
Рекомендуем загрузить DRKB.

> Логическая игра Кэрролла!, Силлогизмы
Руслан
сообщение 7.03.2007 17:41
Сообщение #1


Новичок
*

Группа: Пользователи
Сообщений: 18
Пол: Мужской
Реальное имя: Руслан

Репутация: -  0  +


Ребяты, нужно написать программу, которая бы решала Силлогизмы, самые обыкновенные (хотя бы) с двумя посылками. Не могу разработать алгоритм! Может кто-нить может подсказать что по этому поводу, а то ощущаю себя полным дураком!
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 
 
 Ответить  Открыть новую тему 
Ответов
Michael_Rybak
сообщение 7.03.2007 19:06
Сообщение #2


Michael_Rybak
*****

Группа: Модераторы
Сообщений: 1 046
Пол: Мужской
Реальное имя: Michael_Rybak

Репутация: -  32  +


Формализовать их сначала надо. Ты ж не будешь семантику разбирать сам smile.gif

Придумай, как юзеру задавать силлогизмы. Какого вида бывают предпосылки? Надо чтоб юзер только задавал названия множеств и отношения.

Например, фраза "все кролики любят морковку, если только на них не смотрят искоса" будет для юзера выглядеть как фраза "ALL x є С: NOT F(x) -> x є A", где С - множество кроликов, x - элемент множества кроликов, А - подмножество кроликов, которые любят морковку, F(x) - функция, возвращающая True тогда и только тогда, когда на кролика смотрят искоса.

Вот. И юзер должен сначала указать, что есть у нас множества A и C, что есть функция F из А в {True, False}, что между множествами А и С имеет место отношение "А - подмножество С", а дальше задавать формулы аналогичные той, которую я привел.

Вообще это все сложновато как для дз. Тебе наверное определенный вид силлогизмов надо решать. Какой?

Сообщение отредактировано: Michael_Rybak - 7.03.2007 19:07
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 

Сообщений в этой теме
Руслан   Логическая игра Кэрролла!   7.03.2007 17:41
Michael_Rybak   Формализовать их сначала надо. Ты ж не будешь сема...   7.03.2007 19:06
Руслан   Тебе наверное определенный вид силлогизмов надо р...   8.03.2007 6:54
Michael_Rybak   Перечитай мое сообщение и примени его к своему при...   9.03.2007 3:54
Руслан   Вот это я понимаю, Ввод ведеться следующим образом...   9.03.2007 8:57
Michael_Rybak   http://ru.wikipedia.org/wiki/%D0%A1%D0%B8%....83.D...   9.03.2007 13:59
Руслан   Спасибо, буквально открыл глаза, ща попробую и нап...   9.03.2007 14:55
Michael_Rybak   Это что касается классификации. А вот что касае...   9.03.2007 15:21
Руслан   ну ты мозг! я то и подумал описывать ифами, а ...   9.03.2007 15:44
Michael_Rybak   Если ты недавно начал заниматься, то я думаю, преп...   9.03.2007 16:36
Руслан   парсило строки.. Че со строками делало? И мне н...   9.03.2007 17:51
Michael_Rybak   Парсило. Парсило :) Ну разбирало что там в строке ...   10.03.2007 0:31
Руслан   Программу написал с тупим перебором по 19 верным м...   11.03.2007 17:34
Руслан   Пасибо!   10.03.2007 1:20


 Ответить  Открыть новую тему 
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0

 



- Текстовая версия 9.07.2025 9:37
Хостинг предоставлен компанией "Веб Сервис Центр" при поддержке компании "ДокЛаб"