С 9 по 11 июля в Нью-Йорке будет проходить семинар «Методы автоматических рассуждений и решения задач, основанные на знаниях» (Knowledge-based techniques for problem solving and reasoning, KnowProS 2016).

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

Темы семинара

Важным этапом в решении задач (problem solving) является построение формальной модели (formal model) задачи. Хорошая структура построения модели должна обладать достаточной гибкостью для того, чтобы описывать важные свойства решенных задач и позволять приложениям использовать эффективные методы решения задачи.

К участию в семинаре приглашаются участники с актуальными работами по методам автоматических рассуждений и решений задач, основанных на знаниях. Например, темой статьи может быть связь между моделями предметной области и алгоритмами планирования или вопросы расширения модели предметной области знаниями о способах решения задач (control knowledge). Приветствуются доклады, содержащие рассуждения о методах получения информации, которая полезна для эффективного решения задач.

В частности, мы заинтересованы в работах, посвящённых следующим вопросам:

• влияние формальных моделей на эффективность решения задач;
• сравнение разных структур построения моделей для решения задач;
• способы получения моделей;
• проверка и валидация моделей;
• переформулировка моделей для получения рационально разрешимых моделей;
• проверка решения задачи при помощи модели;
• эволюция модели с течением времени;
• как модель может способствовать пересмотру решения во время исполнения (плана, решения)?

Также приветствуются прикладные материалы, в которых отражена связь между формальной моделью задачи и подходом к решению и принимаются описания конкретных моделей для конкретных задач, если данные приёмы моделирования изучаются с точки зрения методов решения задач.

Возможные темы докладов:

• подходы к моделированию (моделирование задач, инженерия знаний) (Modeling approaches (problem modeling, knowledge engineering);
• формализмы для описания задач (из реальной жизни) (Formalisms to describe (real-life) problems);
• языки для описания задач (Languages for problem description);
• онтологии (Ontologies);
• связь между моделированием и подходом к решению задач (Relations between modeling and solving);
• автоматизированные преобразования между формальными моделями (Automated transformations between formal models);
• переформулировка задачи (Problem re-formulation);
• форматы спецификации эвристик, параметров и знаний, необходимых для управления, для решателей (Formats for specification of heuristics, parameters and control knowledge for solvers);
• проверка моделей и решений (Validation of models and solutions);
• визуализация моделей (Visualization of models);
• автоматизированное получение модели (Automated model acquisition);
• инструменты и приложения (Tools and applications);
• примеры конкретных методов моделирования (Examples of particular modeling techniques).

Дата проведения: 9-11 июля 2016 г.

Место проведения: США, Нью-Йорк

Оригинал: ktiml.mff.cuni.cz