Семейное положение: «все сложно!»

[serge_gorshkov]

Слова, предназначенные для одного человека, ничего не дадут другому
В. Пелевин, "Т"
Авторы концептуальных моделей часто считают, что выражают единственно верную, правильную, корректную точку зрения на моделируемую систему. Даже если модельер понимает, что что-либо упрощает, или видит не так, как другие - у него нет инструмента для того, чтобы

Comments

[ext_1139284]

Сергей, в связи с вашим третьим правилом вывода… Читал тут про Jena rules, наткнулся вот на что (https://jena.apache.org/documentation/inference/#RULEbuiltins):
makeSkolem(?x, ?v1, ... ?vn)
Binds ?x to be a blank node. The blank node is generated based on the values of the remain ?vi arguments, so the same combination of arguments will generate the same bNode.

Может, как-то пригодится вам в конструкторе или исполнителе правил. У вас ведь Apache Jena, насколько понимаю.

Это что касается формулировки заключения третьего правила, а с формулировкой посылки не могли бы вы разъяснить.
«Является членом семьи» у вас отношение переменной местности, или же речь идет о том что в этом бинарном отношении (или в обратном ему) находятся попарно все объекты этой группы?

[serge_gorshkov]

Станислав, спасибо за ссылку!
Конструктор и исполнитель правил совсем скоро покажем, они входят в состав новой версии СУЗ. Работает все действительно на Jena.

Насчет формулировки третьего правила вы верно заметили! Да, тут тоже есть особенность. "Является членом семьи" - это бинарное отношение, и мы хотим собрать группу из объектов, связанных этим отношением, но не попарно, а посредством цепочки любой длины. То есть, А связан с Б, Б связан с В, и все вместе они удовлетворяют условию этого правила.

Конечно, можно это решить, сделав свойство транзитивным. Тогда будет автоматически делаться вывод, что А связан с В, и мы сможем строить группу при помощи попарных отношений, что намного проще. Одна беда - если объектов много, число выведенных триплетов будет расти до потери моделью практической пригодности.

[ext_1139284]

Есть ведь выражение «живет на две семьи». Вполне себе бытовое. В этом контексте из того, что «A является членом семьи Б» и «Б является членом семьи В», вовсе не будет следовать, что «А является членом семьи В». (В этом примере Б «живет на две семьи»).

Можно даже попробовать представить ситуацию, когда A все же является членом семьи В, но это еще одна третья семья :).

[serge_gorshkov]

Согласен, если бы эту модель стали применять к реальным людям - так бы и получилось. Разные семьи стали бы объединяться через людей, которые входят и в одну семью, и в другую. Надо думать дальше над этим правилом.

СУЗ

[logos]

Что такое СУЗ? Среднее учебное заведение?

Re: СУЗ

[serge_gorshkov]

Система управления знаниями.