Как внедрить модель, написанную в исчислении предикатов, в ProLog?

Question

У меня есть четыре набора алгоритмов, которые я хочу настроить как модули, но мне нужно, чтобы все алгоритмы выполнялись одновременно в каждом модуле, я полный нуб и не имею опыта программирования.Однако я знаю, как доказать, что мои модели являются разрешимыми и уже сделали это (я знаю Applied Logic).

Модели являются сенсорными парсерами.Я знаю, как создавать пространства состояний для модулей, но я не знаю, как запрограммировать доступ драйвера к ProLog для моей веб-камеры (у меня есть ноутбук Toshiba Satellite со встроенной веб-камерой).Я также не знаю, как связать входные данные с веб-камеры с переменными в алгоритмах, которые я написал.Переменные, которые я использую, когда объединяются и идентифицируются с помощью функций, устанавливаются для идентификации неизвестных входных данных с использованием вероятностного поиска в базе данных для лучшего соответствия после первого поиска в ширину.Парсеры не целостны, поэтому я хочу запускать их параллельно или по мере необходимости.

Как мне это сделать?

Answer 1

Я также не знаю, как связать входные данные с веб-камеры с переменными в алгоритмах, которые я написал.

Я думаю, что наиболее распространенный способ для этогоЧтобы использовать подход машинного обучения: сначала рассчитайте характеристики из вашего видеопотока (например, положение цветных пятен, оптический поток, количество зеленого цвета в изображении, что угодно).Затем вы используете контролируемое обучение на маркированных данных для обучения моделей, таких как HMM, SVM, ANN, для распознавания меток из функций.Метки обычно представляют собой вещи более высокого уровня, такие как лица, улыбка или взмах руки.

В зависимости от характера ваших «переменных», они могут быть уже покрыты на уровне объекта, то есть их можно вычислить изданные известным способом.Если это так, вы можете уйти без обучения / обучения.