основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса - и алгоритм решения.
Исчисление кортежей
Реляционное исчисление кортежей было реализовано при разработке языка ALPHA.... Исчисление доменов
Реляционное исчисление, основанное на доменах, было предложено Лакроиксом и Пиротте... к исчислению доменов.... Исчисление доменов сходно с исчислением кортежей.... Замечание 1
Основное различие исчисления кортежей и исчисления доменов состоит в том, что исчислением
Предлагается натуральный вариант типового лямбда-исчисления понятий как функциональных абстрактов в духе Фреге. Дается общая характеристика подхода, разъясняется функциональная трактовка понятия, характеризуется ее когнитивнофеноменологическая интерпретация. Приводится формулировка исчисления как такового и обсуждается смысл некторых правил вывода. В заключительной части статьи очерчивается перспектива исследований в данной области.
Язык логики высказываний
Определение 1
Исчисление высказываний – это формальная теория, ориентированная... В основе исчисления высказываний (или логики высказываний) лежит понятие высказывания.... Классическое исчисление высказываний оперирует двумя истинностными значениями:
0 – ложь,
1 – истина... Иные формулы в языке исчисления высказываний отсутствуют.... Метаязык – это язык, используемый, чтобы описать сам язык исчисления высказываний.
один из наиболее известных логических парадоксов. В простейшем его варианте человек произносит одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно». Если высказывание ложно, то говорящий сказал правду и, значит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот.
аналогия, которая применятеся тогда, когда точно и определенно установленна связь между общими признаками, имеющими у обоих составляемых предметов , и тем признаком, который присваеется исследуемому предмету по аналогии с известным уже предметом.
