Задачка Эйнштейна на КРЯ

[Alex Shkotin]

Вполне достойный полигон - посмотреть русский вариант предложений, стоящее за ними описание мира (онтологию) и трансляцию КРЯ варианта в онтологические выражения.

Начать можно с http://test.feofan.com/ ибо Юра с этой задачей разбирался (а я нет).

Вот задачка как на странице:

"На одной улице подряд стоят пять домов, каждый — своего цвета. 

В каждом живёт человек, все пять — разных национальностей. 
Каждый человек предпочитает уникальную марку сигарет, напиток и домашнее животное. 
Кроме того:

Британец живёт в красном доме. 
Швед выращивает собак. 
Датчанин пьёт чай. 
Зелёный дом находится слева от белого, рядом с ним. 
В зелёном доме пьют кофе. 
Тот, кто курит Pall Mall, выращивает птиц. 
Тот, кто живёт в жёлтом доме, курит Dunhill. 
Тот, кто живёт в центре, пьёт молоко. 
Норвежец живёт в первом доме. 
Тот, кто курит Blends , живёт рядом с тем, кто выращивает кошек. 
Тот, кто выращивает лошадей, живёт рядом с тем, кто курит Dunhill. 
Тот, кто курит Blue Master, пьет пиво. 
Немец курит Prince. 
Норвежец живёт рядом с синим домом. 
Сосед того, кто курит Blends, пьёт воду.
 

Кто разводит рыбок?"

Там же есть OWL-ка, но я её не разбирал, но давно мечтаю:-)

[Alex Shkotin]

---------- Пересланное сообщение ----------
От кого: Yuriy Milov <ymi...@gmail.com>
Дата: 28 мая 2013 г., 20:37
Тема: Re: [КРЯ] Задачка Эйнштейна на КРЯ
Кому: Alex Shkotin <alex.s...@gmail.com>

для начала разберем на КРЯ эту лемму :)

http://attempto.ifi.uzh.ch/aceview/examples/five_houses.ace.txt

--
 
---
Вы получили это сообщение, поскольку подписаны на группу Контролируемый русский язык.
 
Чтобы отказаться от подписки на эту группу и перестать получать из нее сообщения, отправьте электронное письмо на адрес CoRuL+un...@googlegroups.com.
Чтобы добавлять сообщения в эту группу, отправьте письмо по адресу Co...@googlegroups.com.
Перейдите в группу по ссылке http://groups.google.com/group/CoRuL?hl=ru.
Настройки подписки и доставки писем: https://groups.google.com/groups/opt_out.
 
 

-- 
Regards,
Yuriy Milov
www.quicklydone.com
1-647-765-4386

[Alex Shkotin]

Кажется первый ход: введём имена домов: Д1...Д5 и будем считать что они в этом порядке и расположены.

1. ∀x:дом живёт_в(Британец,x) → красный(x).

2. выращивает(Швед,собак).

3. пьёт(Датчанин,чай).

4. белый(Д5)→зелёный(Д4) ∨ белый(Д4)→зелёный(Д3) ∨ белый(Д3)→зелёный(Д2) ∨ белый(Д2)→зелёный(Д1). 

5.∀x:дом,y:чел живёт_в(y,x) ∧ зелёный(x) →пьёт(y,кофе).

6. ∀x:чел курит(x,Pall_Mall) → выращивает(x,птиц).

7.∀x:дом,y:чел живёт_в(y,x) ∧ жёлтый(x) →курит(y,Dunhill).

8. ∀x:чел живёт_в(x,Д3) → пьёт(x,молоко).

...