Список вопросов базы знаний

Грамматики эквивалентны, если они порождают один и тот же язык

Для кванторов необходимости и возможности выполнимы законы двойственности

Для чистого исчисления предикатов моделью является любая интерпретация

Если формула ложна в любой интерпретации, то она называется

Запись ромб F означает, что "F необходимо"

Интерпретация называется моделью формальной теории Т, если всякая теорема Т истинна в этой интерпретации

Исчисление высказываний не является формальной системой

Исчисление высказываний полно относительно алгебры высказываний

Исчисление предикатов в общем случае неразрешимо

Логика возможного использует модальности "разрешено", "запрещено"

Логика знания называется также временной логикой

Логику возможного называют логикой

Множество различных видов элементов формальной системы бесконечно

Множество различных видов элементов формальной системы называется алфавитом системы

Наиболее изученной формальной теорией является формальная арифметика

Наибольшее применение для описания языков программирования имеют грамматики типа

Объекты формальной системы состоят из неделимых элементов

Семантика формальной системы задается ее интерпретацией

Теоремы чистого исчисления тождественно верны в любой предметной области

Теория называется семантически непротиворечивой, если ни одна из ее теорем не является противоречивой

Формальные системы, порождающие различные классы символьных выражений, называются формальными грамматиками

Формальный язык, использующий понятия "возможно", "необходимо" в качестве кванторов, называется алетической логикой

Формула называется общезначимой, если она истинна в любой интерпретации

Чистым исчислением предикатов называется исчисление второго порядка

База знаний хранит и накапливает информацию о фактах, явлениях, событиях предметной области и о правилах, используемых экспертом-профессионалом при принятии решений

Базисное понятие нечетких систем - нечеткое множество

В логике времени к абсолютным модальностям относятся понятия "было" ("всегда было"), "есть" и "будет" ("всегда будет")

В случае, когда Х = Y, нечеткое отношение R : Х*Х -> [0,1] называется нечетким отношением на множестве X

Временная логика - логика рассуждений, в которых встречаются модальные понятия, служащие для конкретизации устанавливаемых нами связей, их оценки с той или иной точки зрения

Действительный ход событий можно рассматривать как реализацию одной из многих мыслимых возможностей

Закон коммутативности для нечетких множеств совпадает с законом ассоциативности

К основным операциям над нечеткими множествами относится объединение

Математическая теория нечетких множеств и нечеткая логика являются обобщениями классической теории множеств и классической формальной логики

Модальная логика - логика, в которой истинность суждений зависит от времени

Назначение экспертной системы - хранение знаний

Нечеткое множество А называется нормальным, если его высота равна 0

Носителем нечёткого множества X являются элементы четкого подмножества, для любых элементов которого функция принадлежности больше нуля

Основы нечеткой логики были заложены Аристотелем

Понятие нечеткой или лингвистической переменной используется при описании объектов и явлений с помощью нечетких множеств

Характеристикой нечеткого множества выступает функция принадлежности, принимающая значения из отрезка (0, 1)

Алгебра логики обладает коммутативными и ассоциативными законами относительно операций конъюнкции и дизъюнкции и дистрибутивным законом конъюнкции относительно дизъюнкции

В алгебре логики все высказывания рассматриваются только с точки зрения их смыслового содержания

Впервые аксиоматическое построение математической теории было предпринято Г. Лейбницем в построении геометрии

Впервые в истории идеи о построении логики на математической основе были высказаны Аристотелем

Все логические слагаемые формулы различны

Всякое сложное высказывание, которое может быть получено из элементарных высказываний посредством применения логических операций, называется формулой алгебры логики

Значение высказывания может принимать любое значение от 0 до 1

Значение импликации x -> y, при x = 0 и y = 0, равно 0

Инволютивность отрицания означает, что двойное отрицание высказывания есть само исходное высказывание

Логика интересуется в первую очередь содержанием рассуждения