Скачать книгу

говорит и такой аргумент, как создание достаточно мощной формальной теории языка в основании искусственного интеллекта [135, c. 6].

      Как теоретическая, так и практическая логика предъявляют требование исполнения логических законов (принципов): тождества, противоречия, достаточных оснований, доказательности.

      Построение концептуального пространства предметной области, осуществление навигации по этой области осуществлено с соблюдением закона тождества: предмет обсуждения должен быть строго определен и не может меняться до конца обсуждения. Выполнение этого закона обеспечило устранение разногласий в определениях и понимании предмета обсуждения на всех этапах исследования как построения единого длинного мыслительного хода. Единое понимание системы лингвистических понятий и предмета деятельности устраняло несогласованность в ментальных действиях исследователя, способствуя единому толкованию цели деятельности и предмета осмысления. Соблюдение этого закона приближает к созданию и использованию естественной экспертной системы, которая должна строиться у каждого исследователя на базе определенных информационно-логических моделей. Различия же в определениях понятий, в выборе формализованных представлений могут послужить причиной рассогласования данных между различными учеными и соответственно между пользователями этих систем.

      Этот закон нашел свое применение в том, что точность извлечения и распределения содержательных признаков понятий – терминов и их объемов обеспечивалась совокупностью логических действий – операций на понятиях на основании родового, видового, дифференциального признаков.

      На этапе применения модели знания (то есть в процессе когнитивного понимания текста) этот закон преломился в требование выявления максимальной точности и однозначности фонетических, лексических, грамматических, стилистических, семантических значений. Выполнение этого требования составило условия для возникновения и фиксации регулярной соотнесенности целей и ментальных (речевых) состояний при разработке серии продуктов «языка мозга» (классов и подклассов слов, денотатных планов, концептуальных зависимостей, семантических сетей, фреймов, сценария как конечного ментального продукта понимания), при разработке алгоритмов, метапрограмм и программ мысли и вторичного текста. Эти информационно-логические модели служили формализованными техническими (речемыслительными) заданиями и техническими (речемыслительными) описаниями программ.

      Следующим законом логики явился закон противоречия: не могут быть одновременно истинны суждение и его отрицание.

      Никакой предмет не может обладать и не обладать неким свойством в один и тот же момент времени. Поэтому одновременное утверждение противоречивых фактов о некотором предмете является серьезной ошибкой в рассуждениях. Точно так же противоречия в формальных построениях, моделях, проектах делают невозможной их реализацию.

Скачать книгу