Полное описание
>
Чернойван, К. Г. Взаимодействие некоторых оптимизаций логического вывода в системах декларативных продукций : препринт / К.Г.Чернойван. - Владивосток : [б. и.], 1994. - 35 c. - 100 экз. - Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 28.23.13 | 004.82(04) |
Рубрики:
Искусственный интеллект
>
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Довгаль В.М. Теоретические основы и разработка устройств быстрых продукционных вычислений для систем обработки символьной информации : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.05 / В. М. Довгаль, 1999. - 44 с. - Текст : непосредственный.Шуклина Е.В. Параллельные символьные процессоры с позиционной формой представления данных : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / Е. В. Шуклина, 2000. - 19 с. - Текст : непосредственный.Мамедниязова Н.С. Метод управления концептуальными моделями данных в системе представления знаний : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / Н. С. Мамедниязова, 2000. - 15 с. - Текст : непосредственный.Жилякова Л.Ю. Исследование алгебраических и топологических свойств неоднородных семантических сетей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.17 / Л. Ю. Жилякова, 2001. - 24 с. - Текст : непосредственный.Богданов К.С. Интеллектуальная система программирования FramIX для представления знаний в системах принятия решений : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.11 / К. С. Богданов, 2001. - 18 с. - Текст : непосредственный.Дашкиев Г.Н. Исследование методов представления информации и разработка аппаратных средств интерпретации знаний : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.13 / Г. Н. Дашкиев, 1990. - 15 с. - Текст : непосредственный.Шушакова А.Г. Исследование методов представления и обработки знаний средствами дескриптивной логики : автореф. дис. .. канд. физ.-мат. наук : 05.13.17 / А. Г. Шушакова, 2002. - 24 с. - Текст : непосредственный.Ельчанинова Н.Б. Разработка декларативных методов представления знаний для моделирования и исследования нормативных текстов : автореф. дис. .. канд. техн. наук : 05.13.17 / Н. Б. Ельчанинова, 2002. - 16 с. - Текст : непосредственный.Казначеева А.В. Математическое и программное обеспечение фреймовой модели на основе СОМ-технологий : автореф. дис. .. канд. техн. наук : 05.13.11 / А. В. Казначеева, 2003. - 15 с. - Текст : непосредственный.Прохоров В.В. Технология компонентных моделей представления знаний и ее приложения к построению гетерогенных компьютерных сред : автореф. дис. .. д-ра физ.-мат. наук : 05.13.18 / В. В. Прохоров, 2003. - 32 с. - Текст : непосредственный.Гавриленко Т.В. Представление знаний о динамической предметной области методами теоретико-множественного анализа : автореф. дис. .. канд. техн. наук : 05.13.01 / Т. В. Гавриленко, 2004. - 21 с. - Текст : непосредственный.Бакаев А.А. Методы организации и обработки баз знаний / А.А.Бакаев,В.И.Гриценко,Д.Н.Козлов, 1993. - 149 c. - Текст : непосредственный.Чернойван К.Г. Взаимодействие некоторых оптимизаций логического вывода в системах декларативных продукций : Препринт / К.Г.Чернойван, 1994. - 35 c. - Текст : непосредственный.Матвеева Т.О. Экспериментальное исследование оптимизаций декларативных продукций / Т.О.Матвеева,К.Г.Чернойван, 1994. - 21 c. - Текст : непосредственный.Тулупьев А.Л. Алгебраические байесовские сети.Теоретические основы и непротиворечивость / А.Л.Тулупьев, 1995. - 76 c. - Текст : непосредственный.Довгаль В.М. Об одном специфическом индукционном процессе в схемах продукций / В.М.Довгаль, 1996. - 7 с. - Текст : непосредственный.Довгаль В.М. Самоиндукционные процессы в схемах продукций / В.М.Довгаль, 1996. - 6 с. - Текст : непосредственный.Довгаль В.М. Алгоритмический индикатор пересечения слов / В.М.Довгаль, 1996. - 5 с. - Текст : непосредственный.Довгаль В.М. Метод синтеза продукций-акселераторов конструктивных процессов / В.М.Довгаль, 1996. - 10 с. - Текст : непосредственный.Довгаль В.М. Взаимодействие конструктивных процессов / В.М.Довгаль, 1996. - 6 с. - Текст : непосредственный.
Показать все результатыСистемы, использующие мысли вместо знаний, основанных на формальных правилах / ВЦП (Киев). - 7 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM. Гл.3. Датчики и искусственный интеллект. Искусственный интеллект в системах машинного зрения / ВЦП. - 19 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM. Системы управления и моделирования на базе знаний / ВЦП.Минская ред. - 15 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM. Гл.5. МАР и ТОР / ВЦП.Минская ред. - 41 c. - Текст : непосредственный.Искусственный интеллект. Применения в CIM. Гл.11.Управляющие экспертные системы. Базы данных и базы знаний в УЭС / ВЦП.Минская ред. - 32 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM.Гл.7. Базы данных CIM.Искусственный интеллект в CIM базах данных / ВЦП.Минская ред. - 53 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM.Гл.8. Распределенный искусственный интеллект. Системы распределенного искусственного интеллекта / ВЦП.Минская ред. - 47 c. - Текст : непосредственный.Benthem J.van Changing preferences / J.van Benthem,D.J.N.van Eijck,A.Frolova, 1993. - 16 p. - Текст : непосредственный.Eijck D.J.N.van Reasoning about update logic / D.J.N.van Eijck,F.-J.de Vries, 1993. - 18 p. - Текст : непосредственный.Foundations of artificial intelligence / сост.ed. D. Kirsh, 1992. - 358 p. - Текст : непосредственный.Niemela I. Autoepistemic logic as a unified basis for nonmonotonic reasoning : Diss. / I.Niemela, 1993. - 162 p. - Текст : непосредственный.Дулин С.К. Структурная согласованность данных и знаний : Учеб.пособие / С.К.Дулин, 1993. - 87 c. - Текст : непосредственный.Drescher G.L. Made-Up Minds : A constructivists approach to artificial intelligence / G.L.Drescher, 1991. - 220 p. - Текст : непосредственный.Innovative applications of artificial intelligence 2 / сост.ed. A. Rappaport, сост.ed. R. Smith, 1991. - 310 мкф.Бакаев А.А. Методы организации и обработки баз знаний / А.А.Бакаев,В.И.Гриценко,Д.Н.Козлов, 1993. - 149 c. - Текст : непосредственный.Дулин С.К. Моделирования сходства элементов базы знаний / С.К.Дулин,И.А.Киселев, 1994. - 23 c. - Текст : непосредственный.Frederichs G. Kunstliche Intelligenz im Hartetest der kommerziellen Praxis / G.Frederichs,M.Rader, 1993. - 108 S. - Текст : непосредственный.Asker L. Partial explanations as a basis for learning : Diss. / L.Asker, 1994. - 151 p. - Текст : непосредственный.Kilander F. Incremental conceptual clustering in an on-line application : Diss. / F.Kilander, 1994. - 140 p. - Текст : непосредственный.Брусакова И.А. Проектирование баз знаний и экспертные системы : Учеб.пособие / И. А. Брусакова, Д. Д. Недосекин, С. В. Прокопчина, 1993. - 59 c. - Текст : непосредственный.
Показать все результатыЧернойван К.Г. Взаимодействие некоторых оптимизаций логического вывода в системах декларативных продукций : Препринт / К.Г.Чернойван, 1994. - 35 c. - Текст : непосредственный.Матвеева Т.О. Экспериментальное исследование оптимизаций декларативных продукций / Т.О.Матвеева,К.Г.Чернойван, 1994. - 21 c. - Текст : непосредственный.Стрыгин В.З. Комбинаторная машина для NP-полных задач искусственного интеллекта / В.З.Стрыгин, 1996. - 10 с. - Текст : непосредственный.Довгаль В.М. Об одном специфическом индукционном процессе в схемах продукций / В.М.Довгаль, 1996. - 7 с. - Текст : непосредственный.Довгаль В.М. Самоиндукционные процессы в схемах продукций / В.М.Довгаль, 1996. - 6 с. - Текст : непосредственный.Довгаль В.М. Алгоритмический индикатор пересечения слов / В.М.Довгаль, 1996. - 5 с. - Текст : непосредственный.Довгаль В.М. Метод синтеза продукций-акселераторов конструктивных процессов / В.М.Довгаль, 1996. - 10 с. - Текст : непосредственный.Довгаль В.М. Взаимодействие конструктивных процессов / В.М.Довгаль, 1996. - 6 с. - Текст : непосредственный.Довгаль В.М. Преобразование систем продукций с использованием коммутативной операции / В.М.Довгаль, 1996. - 6 с. - Текст : непосредственный.Довгаль В.М. Конструктивные процессы, порождаемые продукциями с образцами, содержащими модификатор / В.М.Довгаль, 1996. - 6 с. - Текст : непосредственный.Довгаль В.М. Процессы блокировки в системах продукций / В.М.Довгаль, 1996. - 7 с. - Текст : непосредственный.Довгаль В.М. Индикатор применимости двухпродукционных схем алгоритмов / В.М.Довгаль, 1996. - 7 с. - Текст : непосредственный.Довгаль В.М. Конструктивные процессы, порождаемые продукциями с пересекающимися образцами и модификаторами / В.М.Довгаль, 1996. - 6 с. - Текст : непосредственный.Довгаль В.М. Аннуляция одного вида индуктивности в схемах продукций / В.М.Довгаль, 1996. - 6 с. - Текст : непосредственный.Довгаль В.М. Алгебра продукций / В.М.Довгаль, 1996. - 6 с. - Текст : непосредственный.Артемьева И.Л. Вывод в системах продукций с неопределенными объектами. Процесс рассуждений, определяемый модульной базой знаний / И.Л.Артемьева,А.С.Клещев, 1992. - 31 с. - Текст : непосредственный.Григянец Р.Б. Анализ тенденций и направлений развития систем баз данных и знаний / Р.Б.Григянец, 1992. - 23 с. - Текст : непосредственный.Соколов А.Ю. Инструментальная система для управления базой знаний / А.Ю.Соколов, 1991. - 17 с. - Текст : непосредственный.Артемьева И.Л. Расширенная модель декларативных продукций : Препринт / И.Л.Артемьева,А.С.Клещев, 1991. - 35 с. - Текст : непосредственный.Городецкий В.И. Динамические отношения в задачах обработки знаний / В.И.Городецкий,Л.Н.Федорченко, 1991. - 50 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽