| SpikE398 | Дата: Среда, 29.10.2008, 12:53 | Сообщение # 1 |
Админ(Создатель)
Группа: Администраторы
Сообщений: 19
Репутация: 3
Статус: Offline
| a-уровнем нечеткого подмножества А универсального множества U называется такое подмножество универсального множества U, для которого верно
Аксиоматическая теория возникла в связи со стремлением уточнить методы теории множеств таким образом, чтобы избежать парадоксов
любых
Аксиоматический подход относится к такому методу доказательства, при котором осуществляется движение мысли от
общего к частному
Атомарная формула или ее отрицание называется
литерой
Базовая единица языка, обладающая определенной для данного языка синтаксической и смысловой законченностью и выражающая утверждение, называется
предложение
В логике принято делить рассуждения на
индуктивные и дедуктивные
В логических парадоксах используются только понятия теории
множеств
В основе метода парных сравнений лежит процедура обработки результатов опроса экспертов, представленных в виде
матрицы
В основе описания нечеткой логики лежит теория нечетких
множеств
В своей самой первой работе по нечетким множествам Л. Заде предложил два нечетких множества
оператор минимума для пересечения и оператор максимума для объединения
Всякое повествовательное предложение, о котором имеет смысл говорить, что оно (его содержание) истинно или ложно, называется
выражением
Выражение (комбинация знаков), содержащее знаки «переменных», которое превращается в имя предмета, если вместо «переменных» поставить надлежащим образом выбранные имена предметов, называется
именная форма
Выражение «множество А содержится в множестве В» записывается как
А I В
Выражение «элемент x не принадлежит множеству А» записывается как
x A
Высказывание – это предикатная
константа
Высказывания и высказывательные формы называются
формулами
Главное отличие аксиоматического подхода от конструктивного состоит в том, что аксиоматический подход опирается
в большей степени на формализм знаков, чем на структуру модели
Декартово произведение – это операция над
нечеткими множествами
Для составления предикатных функций используют
высказывания
Для того чтобы сделать точными математическими объектами математические утверждения, в математической логике используются языки
искусственные
Если высота нечеткого множества меньше 1, то оно называется
субнормальным
Если высота нечеткого множества равна 1, то оно называется
нормальным
Если невозможно дать какие-либо количественные оценки, но имеются некоторые эталонные объекты, описывать другие объекты предполагается с помощью
нечисловой лингвистической переменной
Законченная последовательность знаков определенной длины, воспринимаемая как элемент обработки с определенным семантическим содержанием, называется
слово
Знак, который характеризуется правилами его употребления, – это
переменная
Знаком принадлежности элемента некоторому множеству является знак
I
Имена предметов и именные формы называются
термы
Интерес к логике оживился в XIX столетии под влиянием открытия
неевклидовых геометрий
Интуитивное представление о «вычислительной процедуре» существовало давно, и за этими процедурами был закреплен специальный термин
алгоритм
К термам лингвистической переменной предъявляется лишь требование
упорядоченности
Каждый язык первого порядка задается своим набором из
трех множеств = (Сnst, Fn, Pr), где Cnst – множество констант, Fn – множество функциональных символов, Pr – множество предикатных символов
Комбинация знаков, содержащая знаки переменных, которая превращается в высказывание при замене переменных именами предметов, называется
высказывательная форма
Концептуальное отличие нечеткой логики от классической заключается в том, что она оперирует
не только значениями "истина" и "ложь", но и промежуточными значениями
Логика Буля основывается на
отношении эквивалентности
Логика высказываний и логика предикатов базируются уже на
отношении порядка
Логика, содержащая понятия необходимости, возможности или родственные этим понятия, называется
модальной
Логику можно определять как науку о
правильных способах рассуждения
Логику можно разделить на формальную и
математическую
Логику, являющуюся многозначной логикой, что позволяет определить промежуточные значения для таких общепринятых оценок, как да|нет, истинно|ложно, черное|белое, называют
нечеткой
Логическая связка , где А – высказывание, обозначает
отрицание
Логическая связка дизъюнкция высказываний А и В обозначается как
А В
Логическая связка импликация обозначается как
Логическая связка конъюнкция высказываний А и В обозначается как
А В
Логическая связка эквивалентность обозначается
В ~ А
Логическая функция, принимающая значения в некоторой области истинностных значений, называется
предикат
Математический термин, используемый для обозначения какой-либо связи между предметами или понятиями, называется
отношение
Метод резолюций можно применять к любому множеству дизъюнктов с целью проверки их на
невыполнимость
Множество А есть подмножество В в том и только в том случае, если каждый элемент множества А является также
элементом множества
Множество, не содержащее никаких элементов, называется
пустым
Набор (Х, Т(Х), U, G, M), где Х – название переменной, Т(Х) – терм, называется
лингвистической переменной
Наиболее часто на практике используется опрос экспертов
индивидуальный косвенный
Наука, изучающая способы обоснования суждений, доказательств, мышления и логического вывода, называется
логикой
Науки, в которых преобладают дедуктивные рассуждения, принято называть
точными
Нечеткая логика – это надмножество
логики Буля
Нечеткое отношение – это заданное определенным образом
отображение
О логике можно сказать, что она интересуется в первую очередь
формой
Объединение множеств А и В обозначается
А E В
Объединение произвольного количества вполне определенных, отличных друг от друга объектов, природа и свойства которых могут быть какими угодно, называется
множеством
Ограничения, накладываемые на базовые термы лингвистической переменной
упорядоченность, полнота и согласованность, нормальность, ограниченность
Одним из самых распространенных методов опросов экспертов является метод парных сравнений, лежащий в основе метода анализа иерархий, предложенного
М. Саати
Переменные, фигурирующие в кванторах всеобщности и существования, называются
связанными переменными
Пересечение множеств А и В обозначается
А C В
Подход, состоящий в поиске адекватной конструктивной модели, называется
конструктивным
Последовательное применение ряда формул теории, такое, что любая формула этого ряда есть либо аксиома этой теории, либо непосредственное следствие из применения предыдущих формул, называется
выводом
Примером логического парадокса может служить
парадокс Рассела
Примером семантического парадокса может(-гут) служить
парадоксы лжеца и Берри
Раздел математики, объектом изучения которого являются математические абстракции программ, выполненных на определенных алгоритмических языках и обладающих определенной информационной и логической структурой, называется
теоретическое программирование
Разность между А и В обозначается
А \ В
Свойство формальной аксиоматической теории, когда в ее рамках не возможно доказать две противоречащие друг другу теоремы, называется
непротиворечивость
Семантические парадоксы еще называют
эпистемологическими
Символ, обозначающий индивидуальный объект или понятие, – это
константа
Система теоретико-множественных операций над высказываниями, которые являются элементами множества, называется
алгебра высказываний
Система, в которой знаки не функционируют независимо друг от друга, а образуют систему, правила которой определяют закономерности их построения, осмысления и употребления, называется
языковая, знаковая
Совокупность исходных знаков, принятых за неделимые, и правил построения из них слов и словосочетаний без всякой связи с их возможной семантикой называется языком
формальным
Создателем формальной логики был
Аристотель
Способ выбора подкласса истинных высказываний, принадлежащих классу элементарных высказываний, – это
теория
Способ обозначения определенного понятия, предмета, свойства, используемый для присвоения, хранения, обработки и передачи информации, называется
язык
Способ понимания суждения об объекте, явлении или событии называется
модальностью
Теория, содержащая два вида правил, называемых правилами образования и правилами преобразования, называется
дедуктивная теория
Термин «все х» обозначается в логике предикатов
х
Термин «некоторые х» или «существует хотя бы одно значение х» обозначается через
х
Требование, предъявляемое к синтаксическому правилу (т. е. к любой фразе, построенной с использованием базовых термов и терминальных символов)
замкнутости
Умозаключения – элементарные рассуждения, в которых из одного или нескольких суждений получается еще одно суждение, называемое
заключением
Формальная аксиоматическая теория, теоремы которой представляют собой формулы, выводимые по определенным правилам, называется
исчисление высказываний
Формула в теории, для которой не существует механизма вывода в рамках этой теории и для выявления ее неразрешимости требуется применять эвристические процедуры, не поддающиеся формализации, называется
неразрешимая
Формула в теории, для которой существует механизм вывода в рамках этой теории, называется
разрешимая
Формула, которая истинна при всех интерпретациях, называется
общезначимой
Часть логики, в которой для решения логических задач используется язык математических и логических знаков, – это
математическая логика
Экспликация – строгая (математическая) формулировка понятия
содержательного или интуитивного
Язык логики предикатов является расширением языка
логики высказываний
Язык, предложения (формулы) которого выражают суждения и отношения исследуемой математической теории, называется
логико-математическим
|
| |
| |
