Работа с онтологической моделью организации на основе дескриптивной логики; Известия Томского политехнического университета [Известия ТПУ]; Т. 309, № 7

Работа с онтологической моделью организации на основе дескриптивной логики; Известия Томского политехнического университета [Известия ТПУ]; Т. 309, № 7

Dades bibliogràfiques
Parent link:	Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 309, № 7.— 2006.— [С. 134-137]
Autor principal:	Тузовский А. Ф. Анатолий Федорович
Sumari:	Заглавие с титульного листа Электронная версия печатной публикации Рассмотрена последовательность преобразований онтологической модели в модель дескриптивной логики с применением системы логического вывода. В качестве системы поддержки работы с моделью дескриптивной логики используется система логического вывода RACER. Приводится способ проверки правильности онтологии на основе доказательства запроса на выполнимость модели дескриптивной логики.
Idioma:	rus
Publicat:	2006
Col·lecció:	Технические науки
Matèries:	онтологические модели организации дескриптивная логика преобразования системы логического вывода проверки запросы доказательства труды учёных ТПУ электронный ресурс
Accés en línia:	http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2006/v309/i7/29.pdf
Format:	Electrònic Capítol de llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=171798

Ítems similars

Преимущества дескриптивной логики при обработке знаний; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика
per: Вахитов А. Р. Александр Робертович
Publicat: (2008)

Роль дискриптивной логики в порталах управления знаниями; Современные техника и технологии; Т. 2
per: Усов М. В.
Publicat: (2004)

Метод объединения онтологий предметных областей знаний; Известия Томского политехнического университета [Известия ТПУ]; Т. 309, № 7
per: Тузовский А. Ф. Анатолий Федорович
Publicat: (2006)

Программные системы по работе с онтологиями; Молодежь и современные информационные технологии
per: Усов М. В.
Publicat: (2005)

Применение метода нечёткого логического вывода как инструмента выбора поставщика материалов и комплектующих; Инновационные технологии и экономика в машиностроении
per: Ерёмина Е. А. Елена Анатольевна
Publicat: (2010)

Программная реализация основных компонент информационно-программного обеспечения системы управления знаниями; Известия Томского политехнического университета [Известия ТПУ]; Т. 307, № 7
per: Тузовский А. Ф. Анатолий Федорович
Publicat: (2004)

Разработка методики интегральной экспертной оценки перспективности участков недр на основе онтологической модели и нечеткой логики; Известия Томского политехнического университета [Известия ТПУ]. Инжиниринг георесурсов; Т. 334, № 8
per: Дадыкин В. С. Валерий Сергеевич
Publicat: (2023)

Интеллектуальные системы и технологии лабораторный практикум
per: Истомин Д. А.
Publicat: (Пермь, ПНИПУ, 2017)

Интеллектуальные технологии в системах связи и цифровом телевидении методические указания к лабораторным работам
per: Смирнов А. В.
Publicat: (Москва, РТУ МИРЭА, 2022)

По законам логики
per: Ивин А. А. Александр Архипович
Publicat: (Москва, Молодая гвардия, 1983)

Практический курс логики для гуманитариев: учебное пособие
per: Брюшинкин В. Н.
Publicat: (Москва, Интерпракс, 1994)

Организация вывода в онтологической модели представления знаний; Современные техника и технологии; Т. 2
per: Самсонова А. С.
Publicat: (2012)

Логический анализ практических рассуждений (формализация психологических понятий): монография
per: Ишмуратов А. Т. Анатолий Темиргалиевич
Publicat: (Киев, Наукова думка, 1987)

Теория логического вывода учебное пособие для вузов
per: Ганичева А. В.
Publicat: (Санкт-Петербург, Лань, 2024)

Вводный курс математической логики
per: Успенский В. А. Владимир Андреевич
Publicat: (Москва, Физматлит, 2007)

Классификация информационных объектов на основе семантической близости в онтологической модели; Современные техника и технологии; Т. 2
per: Серова Т. О.
Publicat: (2011)

Прямая и обратная теоремы. Элементы алгебры логики
per: Градштейн И. С. Израиль Соломонович
Publicat: (Москва, Наука, 1972)

Архитектура семантического Web-портала; Известия Томского политехнического университета [Известия ТПУ]; Т. 309, № 7
per: Тузовский А. Ф. Анатолий Федорович
Publicat: (2006)

Применение онтологической модели данных в эмоционально-образной терапии; Молодежь и современные информационные технологии; Т. 2
per: Кайда А. Ю. Анастасия Юрьевна
Publicat: (2016)

Информационные технологии и преступления
per: Закляков П. В.
Publicat: (Москва, ДМК Пресс, 2023)

Основы логики: учебник
per: Бочаров В. А. Вячеслав Александрович
Publicat: (Москва, Инфра-М, 2009)

Логическая тетрадь: нерешенные вопросы математической логики (оперативный информационный материал)
Publicat: (Новосибирск, Изд-во ИМ СО РАН, 1986)

Разработка онтологической модели для описания различных форм бронхиальной астмы; Молодежь и современные информационные технологии; Т. 2
per: Тарасова Л. П.
Publicat: (2016)

Неклассические логики и их применение; Вопросы кибернетики
Publicat: (1982)

Т. 1: Математика и механика; Избранные труды
Publicat: (2005)

Лингвопрагматический потенцмал речевой деятельности в деловом дискурсе; Межкультурная коммуникация: теория и практика; Ч. 2
per: Ширяева Т. А.
Publicat: (2010)

Информационные системы в экономике: учебник
per: Уткин В. Б. Владимир Борисович
Publicat: (Москва, Академия, 2004)

Информационные системы в экономике: учебник
per: Балдин К. В. Константин Васильевич
Publicat: (Москва, Дашков и К, 2008)

Создание и использование базы знаний профилей компетентности специалистов организации; Известия Томского политехнического университета [Известия ТПУ]; Т. 310, № 2
per: Тузовский А. Ф. Анатолий Федорович
Publicat: (2007)

Теория поиска вывода. Происхождение и философские приложения монография
per: Брюшинкин В. Н.
Publicat: (Калининград, БФУ им. И.Канта, 2012)

Математический интуиционизм. Введение в теорию доказательств
per: Драгалин А. Г. Альберт Григорьевич
Publicat: (Москва, Наука, 1979)

Кн. 2 : Диалектическая логика; Марксистско-ленинская диалектика
Publicat: (1986)

Разработка WEB-приложения на основе онтологической модели данных с использованием ASP.NET MVC; Технологии Microsoft в теории и практике программирования
per: Зарипов А. А.
Publicat: (2010)

Международные стандарты аудита: учебник
per: Панкова С. В. Светлана Валентиновна
Publicat: (Москва, Магистр, 2008)

Аудит. Теория и практика
per: Кочинев Ю. Ю. Юрий Юрьевич
Publicat: (СПб., Питер, 2006)

Введение в логическое программирование на микро-прологе: пер. с англ.
per: Кларк Кейт Л.
Publicat: (Москва, Радио и связь, 1987)

Введение в логическое программирование
per: Дженесерет М.
Publicat: (Москва, ДМК Пресс, 2022)

Математическая логика: дополнительные главы: учебное пособие
per: Колмогоров А. Н. Андрей Николаевич
Publicat: (Москва, Изд-во МГУ, 1984)

Основания математики. Теория доказательств: пер. с нем.
per: Гилберт Д. Давид
Publicat: (Москва, Наука, 1982)

Логика: учебник
per: Ивин А. А. Александр Архипович
Publicat: (Москва, ФАИР-ПРЕСС, 1999)