micro-kernel.ru | Система временных рассуждений

Главная » Проекты » Система временных рассуждений

О проекте: Система временных рассуждений (СВР), на базе качественной точечной модели времени. Разработана для применения в составе широкого класса современных крупных интеллектуальных систем, в которых требуется учитывать время и временные зависимости в данных и знаниях. В СВР предусмотрено гибкое управление выразительная мощностью – язык СВР позволяет пользователю представлять знания легко и естественным образом, особенно в случае гнездовых (ветвящихся) темпоральных выражений. СВР – содержит ряд эффективных реализаций автоматических процедур вывода, но при этом она построена по открытой архитектуре, что позволяет, по необходимости заменять эти реализации собственными.

СВР обеспечивает:

представление и хранение временной информации – СВР обладает средствами представления информации, позволяющими описывать, что истинно или ложно во времени. С другой стороны, есть возможность представления качественных и количественных (метрических) временных выражений типа «момент времени A перед моментом времени B» или «интервал времени Х дольше интервала времени У на 15 секунд»,
поддержку временной согласованности – проверку согласованности базы знаний (БЗ) при добавлении в нее новой информации. В случае несогласованности локализуется подмножество ответственных за нее утверждений (задача SAT),
решение задачи вычисления всех выполнимых ограничений,
решение задачи поиска минимальной ЗСВО (задача MIN),
решение задачи поиска согласованного сценария (или всех возможных согласованных сценариев) (задачи ACS и DSAT),
проверка истинности временных утверждений,
ответы на запросы, касающиеся временных аспектов знаний,
решение задачи проверки логической эквивалентности временных моделей.

В состав разработанного продукта входят как встраиваемые программные компоненты (для использования в составе сторонних ителлектуальных систем), так и специализированные средства - редактор сетей временных ограничений и монитор нагрузки.

Роль в проекте: разработчик методов и алгоритмов, архитектор, главный разработчик (управление проектом, архитектура, программирование)

Тип проекта: научно-исследовательский , open source

Состояние: выпущена версия 5.0, активен, продукт эксплуатируется.

Участие в проекте: c 2001 года.

Операционные системы: Windows, Linux.

Правообладатель и распространитель: Куриленко И.Е., на спец. редакцию .time этой системы получено свидетельство об официальной регистрации программы для ЭВМ №2005610762 «Система временных рассуждений» в Реестре программ для ЭВМ от 31 марта 2005 г.

Меню

Снимки экранов и схемы:

Проекты

Курсы

Материалы

Новости

Контакты