Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=формализм знаний<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

Костенко, К. И. (кандидат физико-математических наук; заведующий кафедрой).
Правила оператора вывода для формализма абстрактного пространства знаний [Текст] / К. И. Костенко // Программная инженерия. - 2016. - Т. 7, № 6. - С. 258-267 : ил. - Библиогр.: с. 267 (6 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397

УДК

^a004.41/.42

^a519.6

^a510.6

ББК 32.973-018 + 22.19 + 22.12
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
   Математика
   Вычислительная математика
   Математическая логика
Кл.слова (ненормированные):
абстрактные пространства знаний -- математическое моделирование -- модели представления знаний -- моделирование процессов мышления -- области знаний -- обратный вывод -- представление знаний -- программная инженерия -- формализм знаний -- формальное представление знаний -- элементарное знание
Аннотация: Определены порождающие принципы и инварианты правил управления оператором вывода для моделей областей знаний, создаваемых с использованием формализма абстрактного пространства знаний. Оператор вывода реализует процессы нахождения целей и синтеза фрагментов сложных знаний, структура которых согласована со структурой решаемых задач. Для этого применяется комбинирование схем прямого и обратного вывода.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Костенко, К. И. (кандидат физико-математических наук; заведующий кафедрой).
Моделирование оператора вывода для иерархических формализмов знаний [Текст] / К. И. Костенко // Программная инженерия. - 2016. - Т. 7, № 9. - С. 424-431 : рис. - Библиогр.: с. 430 (6 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
операторы вывода -- правило синтеза -- представление знаний -- программная инженерия -- синтез знаний -- формализм знаний -- формализм представления знаний -- формальное представление знаний
Аннотация: Иерархические формализмы представления знаний являются эффективным инструментом построения моделей содержания конкретных предметных областей. Практическое применение таких моделей в профессиональной деятельности нуждается в формализации понятия механизма вывода, связанного с реализацией процессов построения решений отдельных задач. Операторы вывода реализуются процессами синтеза знаний, определяемыми системами специальных правил. Решения задач извлекают из синтезированных знаний с помощью отображений трассирования. Приведены элементы универсального языка конструирования постановок задач, сценариев и правил для класса иерархических формализмов представления знаний, включающего элементы инженерии задач и процессов их решения.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Костенко, К. И. (кандидат физико-математических наук; заведующий кафедрой).
Операции когнитивного синтеза формализованных знаний [Текст] / К. И. Костенко // Программная инженерия. - 2018. - Т. 9, № 4. - С. 174-184 : рис. - Библиогр.: с. 183 (3 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
гомоморфное расширение -- обработка знаний -- онтология -- программная инженерия -- синтез знаний -- формализм знаний -- формальное представление знаний
Аннотация: Для моделирования содержания областей деятельности применяют разные форматы представления знаний и задач, которые решаются с использованием формализованных знаний. Фундаментом модели содержания понятия системы искусственного интеллекта является семейство точных инвариантов для структурных и функциональных элементов такой системы. Построенные классификаторы операций и целей расширяют возможности использования конструктов формализмов представления знаний в прикладных интеллектуальных системах при автоматизации процессов синтеза знаний со сложной семантической структурой, составляющих решения различных профессиональных задач.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Костенко, Константин Иванович.
Инварианты ядра фундаментальной модели интеллектуальной системы [Текст] / К. И. Костенко // Программная инженерия. - 2021. - Т. 12, № 3. - С. 157-168. - Библиогр.: с. 167-168 (12 назв.). - Авт., загл., аннот. кл. сл. и библиогр. парал. рус., англ. . - ISSN 2220-3397

УДК

^a519.7

ББК 22.18
Рубрики: Математика
Математическая кибернетика
Кл.слова (ненормированные):
измерение знаний -- интеллектуальные системы -- интеллектуальный агент -- когнитивная цель -- морфизм знаний -- онтология -- поток знаний -- синтез знаний -- формализм знаний
Аннотация: Приведено целостное описание универсальной математической модели для понятия интеллектуальной системы. Оно основывается на формализованных инвариантах, связанных с процессами построения и применения таких систем. Ядро модели составляют согласованные описания разделов формализмов знаний, многомерной архитектуры компонентов и процессов, а также иерархия агентов управления субъектным существованием интеллектуальных систем. В элементах данных трех разделов совместно реализуются фундаментальные аспекты представления и обработки знаний, разрабатываемые и применяемые в областях знаний, исследующих общие свойства структурной организации памяти и процессов мышления. Инструментами трансформации предложенной абстрактной модели в модели конкретных интеллектуальных систем являются морфизмы гомоморфного расширения. Эти морфизмы конкретизируют содержание основных структурных и функциональных элементов начальной модели. При этом происходит сужение многообразий сущностей, реализуемых элементами модели до семейств объектов, составляющих прикладные интеллектуальные системы, наследующие свойства общих элементов. Промежуточные модели процессов преобразования исходной модели в прикладные допускают математическое исследование. Его результаты составляет основание для последующей разработки специальной технологии построения и применения интеллектуальных систем.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Тематический навигатор

Статистика за 17.08.2024
Число запросов	79168
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)