Cтраница 1
Логическая теория алгоритмов ограничивается языками, предложения которых, как символьные конструкции, являются словами. [1]
Разные логические теории имеют свои преимущества при реализации моделей в разных микромирах. Так, например, семантика силлогистики Аристотеля очень близка к естественному языку, поэтому результаты формального вывода легко интерпретировать. Выводы, получаемые на основе исчисления предикатов, уже не в полной мере совпадают с семантикой естественного языка, их труднее интерпретировать, однако модели на основе исчисления предикатов получаются гораздо более компактными и, как следствие, обозримыми. Заде позволяют оперировать размытыми понятиями, однако такие результаты и интерпретировать труднее и даже не всегда возможно. [2]
Логическим теориям, не-содержащим принципа tertium поп datur, соответствуют уже не булевы алгебры, а более сложные частично упорядоченные системы. [3]
Нейман, Общая и логическая теория автоматов. [4]
Нейман, Общая и логическая теория автоматов. [5]
Основываясь на логической теории, можно точно определить, до каких пределов мы можем двигаться в этом направлении. При этом имеющиеся в настоящее время данные свидетельствуют о том, что нам предстоит пройти еще очень большой путь. Биофизическая теория в состоянии исследовать возможные методы подхода к решению задач о построении машин-аналогов мозга и создавать абстрактные модели таких машин. Однако для того, чтобы воплотить все эти исследования в конкретную форму, которую можно использовать в промышленности, новая наука должна обратиться к технике моделирования. Пожалуй, самой неудовлетворительной стороной современного этапа развития кибернетики является то, что специалисты, непосредственно занимающиеся автоматизацией в промышленности, очевидно, часто не сознают, что их нынешняя сфера деятельности очень далека от подлинной кибернетики. Это касается как степени сложности систем ( не учитывая, что переход от любой сложной системы к неопределимой системе представляет собой нечто большее, чем простое количественное изменение), так и глубины логических выводов, ибо переход от дедуктивного метода, удовлетворяющего существующим детерминированным системам, к индуктивному методу, связанному с вероятностными системами, требует совершенно иного образа мышления. [6]
Можно построить такую логическую теорию, что в ней на основе формальных правил окажутся возможны выводы типа: треугольность бьет рекорды, если дует ветер, то победа. Важно понимать, что с точки зрения формальной логической записи такие выражения вполне могут оказаться истинными, но осмысленностью-то они не обладают. Таким образом, два выражения считаются относящимися к одной и той же семантической категории рассматриваемого языка, если замена одного из них другим в произвольном осмысленном предложении не превращает предложение в бессмысленное. Каждое правильно построенное выражение языка принадлежит одной и только одной из семантических категорий. [7]
Следует отметить, что логическая теория синтеза автоматов достаточно хорошо развита в работах советских и зарубежных авторов, среди которых можно отметить работы К. [8]
Мы уделили много внимания логической теории, являющейся одной из основ кибернетики, ибо для подтверждения заявки на роль самостоятельной науки необходимо показать саму возможность существования такой науки и обрисовать ее принципиальную структуру. Теперь мы перейдем, как было намечено ранее, к рассмотрению описательного аспекта кибернетики. [9]
Онтология как словарь, используемый логической теорией. [10]
Онтология как ( метауровневая) спецификация логической теории. [11]
Онтология как представление концептуальной системы в виде логической теории означает использование определенного синтаксиса для представления знаний. [12]
Часто набор предположений, составляющих онтологию, имеет форму логической теории первого порядка, где термины словаря являются именами унарных и бинарных предикатов, называемых соответственно концептами и отношениями. В простейшем случае онтология описывает только иерархию концептов, связанных отношениями категоризации. В более сложных случаях в нее добавляются подходящие аксиомы для выражения других отношений между концептами и для того, чтобы ограничить их предполагаемую интерпретацию. Учитывая вышесказанное, онтология представляет собой базу знаний, описывающую факты, которые предполагаются всегда истинными в рамках определенного сообщества на основе общепринятого смысла используемого словаря. [13]
Учение о высказываниях, называемое алгеброй высказываний, является первой из формальных логических теорий. Оно не принадлежит к исчислениям того типа, о котором говорится во введении. Но, хотя эти исчисления и являются основным предметом нашей книги, мы начнем изложение основ математической логики с алгебры высказываний. Дело в ( том, что знакомство с законами алгебры высказываний очень облегчает изучение тех логических исчислений, с которыми мы встретимся в дальнейшем. Кроме того, алгебра высказываний представляет самостоятельный интерес и имеет приложения в других отраслях науки. Она применяется, например, при синтезе релейно-контактных и электронных схем. [14]
Плавной идеей логического подхода в MAC является представление характеристик агента в виде логической теории. При этом основные работы логической школы моделирования агентов можно подразделить на два класса; а) расширение классической и многосортной логик с помощью предикатов высокого порядка; б) обобщение модальных логик, история которых в первую очередь связана с именами К. [15]