Обычно технология планирования методом построения доказательства имеет следующий вид. Сначала делается попытка найти вывод целевого описания из исходного. Если такой вывод найден, то план построен. Если это сделать не удается, что определяется на основе некоторого принципа остановки, подобного тому, который мы указали для программы ЛОГИК-ТЕОРЕТИК, то к исходному описанию применяется некоторое эвристическое правило вывода, и процесс доказательства повторяется уже при новом исходном описании. Методы такого типа сейчас являются основными при построении планировщиков в самых различных областях. [c.226]
Основу квалификации эксперта, кроме формализованных знаний, составляют трудноформализуемые эвристические приемы, догадки, интуитивные суждения и умения делать выводы, которые сам эксперт может не вполне осознавать. Поэтому создание экспертных систем - длительный и сложный процесс. Заполнение базы знаний - наиболее трудоемкий этап. Разработку структуры и наполнение базы знаний осуществляет инженер по представлению знаний. Он работает в тесной связи с одним или несколькими экспертами. Вместе они подробнейшим образом определяют, какими должны быть правила вывода, как они взаимосвязаны между собой, по возможности устраняют противоречия в мнениях экспертов, находят аналогии, вырабатывают метаправила (т.е. правила, описывающие, каким образом дру- [c.67]
Для технического и математического обеспечения автоматизированных систем проектирования следует решить проблемы широкого внедрения принципов цифрового кодирования геометрической информации и методов обратного преобразования информации в чертежно-графическую разработки математических моделей, методики инженерно-технических и экономических расчетов, используемых в НИР и ОКР, и создания алгоритмов с программами их решения на ЭВМ систематизации математической формализации норм, правил, ТУ, ГОСТов на проектирование для использования их в САПР создания кодированных каталогов изделий, узлов, деталей, материалов, процессов составления кодированных каталогов научно-технической и патентной информации с выводом на копировальные устройства организации автоматизированных архивов, чертежей, справочной и нормативной документации формирования комплексных программ конструирования изделий, их узлов и элементов на базе синтеза частных программ инженерных расчетов выбора и обоснования критериев для принятия оптимальных решений на разных этапах НИР и ОКР алгоритмизации процессов НИ-ОКР, применения эвристических методов и программированных моделей мышления разработчиков разработки методов автоматизации распознавания образов для считывания графической и текстовой информации создания языков для общения ученого и инженера с машиной разработки комплексов технических средств САПР и АСНИ. [c.122]