Логическое исчисление

Cтраница 2

ЛОГИСТИКА - первоначально так назывались логические исчисления. [16]

Технология анализа методов предсказания аналогична эмпи-яческим логическим исчислениям США-методов 129) ИСКУССТВЕННОГО ИНТЕЛЛЕКТА. Принцип работы БЛОКА состоит в циклической гроверке статистических свойств результатов работы методов пре-чскаэания с помощью реальньа экспериментальна данных. [17]

Язык, построенный по правилам некоторого логического исчисления; язык, определенный формальной грамматикой; алгоритмический язык. [18]

Как мы уже говорили выше, всякое логическое исчисление может быть задано следующим образом: определяется понятие формулы и понятие выводимой формулы. [19]

Пример сетевого представления совокупности знаний. [20]

Объясняется это громоздкостью записей, опирающихся на классические логические исчисления. При формировании таких записей легко допустить ошибки, а поиск их очень сложен. Отсутствие наглядности, удобочитаемости ( особенно для тех, чья деятельность не связана с точными науками) затрудняло распространение языков такого типа. [21]

Логическая модель представляет собой формальную систему - некоторое логическое исчисление. Все знания о предметной области описываются в виде формул этого исчисления или правил вывода. Описание в виде формул дает возможность представить декларативные знания, а правила вывода - процедурные знания. Рассмотрим в качестве примера знание: Когда температура в печи достигает 120 градусов и прошло менее 30 мин с момента включения печи, давление не может превосходить критическое. [22]

Тождественно-истинные высказывания - высказывания, выражения или формулы логических исчислений, являющиеся истинными при любых значениях истинности их переменных. Таковыми являются все законы формальной логики. Соответственно, тождественно-ложные высказывания или формулы ложны при любых значениях истинности их переменных. [23]

ТОЖДЕСТВЕННО-ИСТИННЫЕ ВЫСКАЗЫВАНИЯ - высказывания, выражения или формулы логических исчислений, являющиеся истинными при любых значениях истинности их переменных. [24]

ПОЛОЖИТЕЛЬНАЯ ЛОГИКА - логика без отрицания; точнее - логическое исчисление, в языке к-рого отсутствует операция отрицания ( и вообще пет средств для выражения логич. Подразумевается, что опровергнуть утверждение А равносильно тому, что принять утверждение - А, где - - знак отрицания. [25]

Задачи же такого рода постоянно возникают при различных приложениях логических исчислений. Можно, правда, развить соответствующий метод в рамках булевой алгебры, однако при этом усугубится еще один существенный недостаток, связанный с содержательным аспектом исчисления высказываний, - недостаточная формализация процесса доказательства и самого понятия доказательства истинности тех или иных формул. [26]

Система символической логики, предметом которой является логика высказываний; логическое исчисление, определяющее с помощью доказуемых в нем формул законы, которым подчиняются логические операции И, ИЛИ. [27]

ЛОГИЧЕСКАЯ СЕМАНТИКА - раздел метало-гики, в к-ром изучаются интерпретации логических исчислений. Модель) ( таковы понятия истинности, обозначения, экстенсиональности выражения относительно контекста, синтетич. [28]

Все сказанное об исчислении высказываний оказывается справедливым и для всех тех логических исчислений, которые мы будем рассматривать далее. [29]

Смысл такой постановки вопроса состоит в том, что при построении логического исчисления, предназначенного выражать содержательную логику, нам требуется знать, достаточно ли мы имеем аксиом и правил для того, чтобы вывести любую формулу, которая в содержательном понимании является тождественно истинной. [30]

Страницы: 1 2 3