CC BY
58
Известия ТРТУ
Тематический выпуск
Модель нечеткой реляционной базы данных должна включать в себя "нечеткие" формы операций реляционной алгебры: операций установки (SET), выбора (SELECT) и соединения (JOIN). Эти операции должны использоваться вместе с регулярной формой проекции (PROJECT).
Модель нечеткой реляционной базы данных позволяет учитывать индивиду, -.
Организационно нечеткую реляционную базу данных можно разделить на: базу данных значений; базу данных объяснений; правила перевода.
База данных значений используется для хранения фактических величин дан,
функций (подобия, близость, обычные нечеткие отношения, описания нечетких множеств), которые "объясняют" как вычислить степень согласия данных с поль. , , объяснений имеют одну и ту же концептуальную структуру данных.
Используя нечеткую реляционную базу данных для построения экспертных систем необходимо заметить, что по существу она позволяет использовать нечеткую логику вместо обычной, позволяя тем самым для построения интенсиональной базы знаний использовать правила вида:
ЕСЛИ X ЕСТЬ A ТО Y ЕСТЬ B {t = a},
"X A" "Y B" - ;
{t = a} - необязательный порог принятия допустимости импликации;
а е [0,1].
Правило modus ponens в блоке вывода экспертной системы заменено более .
УДК 681.324:378.1
С.Е. Чекменёв
ИСПОЛЬЗОВАНИЕ ИНСТРУМЕНТАЛЬНОЙ СИСТЕМЫ НА БАЗЕ ЯЗЫКА ЛИСП В КАЧЕСТВЕ СРЕДСТВА ОБУЧЕНИЯ
В последнее время при выборе инструментальных средств для конкретного проекта разработчики интересуются в первую очередь свойствами и характеристиками самой среды программирования, базирующейся, как правило, на объектных, визуальных и событийных технологиях. Эти средства и технологии достаточно унифицированы, поэтому не существует принципиальной разницы, например, между системами Delphi (Pascal), Visual Basic и Visual C, а выбор того или иного языка программирования - это, в основном, дело вкуса и личных предпочтений .
С другой стороны, ещё сравнительно недавно (и особенно в области построения интеллектуальных систем) активно обсуждались и сравнивались между собой различные языки программирования с точки зрения их семантики и вычислитель-( ).
С этой точки зрения значительный интерес представляет вечно молодой язык .
;
мощной универсальной программно-лингвистической базы для изучения теоретических и прикладных разделов информатики [2].
На кафедре Информационных технологий и вычислительных систем МГТУ «Станкин» разработана и частично реализована учебная инструментальная система построения интеллектуальных машиностроительных САПР. Слово «чеб-» :
♦ привлечение студентов и аспирантов к участию в разработке и реализации
- ;
♦ предоставление начинающим разработчикам простого, доступного, удобного
, , , создавать прототипные версии интеллектуальных подсистем САПР, изучать их возможности и проверять правильность принятых проектных решений;
♦ использование разрабатываемой системы в учебном процессе для специально-
, ;
♦ использование системы для обучения студентов теоретическим основам информатики (аппликативные вычислительные системы, семантика языков программирования, лингвистическое обеспечение САПР и др.)
Для достижения поставленных целей учебная инструментальная система должна соответствовать следующим требованиям:
♦ отсутствие разнородных компонентов на различных уровнях: лингвистическом, информационном и т.д.;
♦
;
♦ возможность практического использования только того подмножества функ-
, ;
♦ в неформальном смысле - простота и ясность, а в формальном - математическая строгость базовой вычислительной модели;
♦
.
Перечисленным требованиям полностью соответствует система программирования, базирующаяся на языке Лисп. Вопрос состоит лишь в том, какой диалект . ,
COMMONLISP справедливо подвергаются критике [1] главным образом, за громоздкость и низкую эффективность. Получивший широкое распространение в зарубеж-
Scheme , , .
распространяемые версии Лиспа также не свободны от недостатков. По этим, а также и другим, не указанным здесь причинам, было принято решение о разработке оригинальной версии языка. Ее отличительными чертами являются компакт-« ». , ,
изменять метод передачи параметров, метод вычисления неатомарных форм и т.д.
MS Visul C++.
интерпретатора языка Лисп, базового набора встроенных функций, структурного редактора и трассировщика. Для уменьшения реализационных зависимостей между отдельными модулями были использованы компонентные технологии на базе стандарта CORBA и формальный язык описания интерфейсов IDL.
ЛИТЕРАТУРА
1. Baker H. Critique of DIN Kernel Lisp Definition Version 1.2 // Lisp & Symbolic Computation. - 1992. - T. 4-4. - C. 371-398.
2. Chekmenev S. Lisp system as a small computer science laboratory // 3RD International conference on interactive systems: the problems of human-computer interaction, Ulyanovsk, sept. 22-24, 1999. - (in print).
