Попытался быстро вникнуть в информацию, касающуюся онтологий, OWL, Reasoner-ов, логического вывода , графических баз данных, логик разных порядков, продукционных правил), однако на данный момент каша в голове. Хочется понять в каком направлении двигаться чтобы найти решение следующей задачи.
Имеется:
1. Информация о нашей текущей системе, состоящая из сущностей, их свойств и отношений между сущностями. Я так понимаю, это можно задать в виде OWL онтологии.
2. Правила. Правила о сущностях, по типу ЕСЛИ, ТО.
3. Текущая задача.
Информация о нашей текущей системе
Tom has a car.
Helen has phone.
Tom is 20 years old.
Helen is 30 years old.
Tom is a friend of Helen.
Правила (паттерны)
IF (X has car AND Y has phone and X older than 18 AND Y older than 18 AND X is a friend of Y), THEN -> They can start taxi business.
Задача
Сгенерировать варианты бизнеса для Тома. В частности, система должна распознать паттерн, ситуации (чтобы его можно было свести к правлу). На базе паттерна должно быть сгенерировано решение, спроецированное на текущую ситуацию, например:
Поскольку у Тома есть подруга Хелен, им обоим больше 18 лет, у него есть машина, а у нее есть телефон, то Том может организовать бизнес в виде службы такси с Еленой.
Вопрос: с помощью каких решений или технологий можно реализовать эту задачу или хотя бы приблизиться к ее решению? Есть наглядный пример работы подобной системы?