ИНТЕНСИОНАЛЬНАЯ ЛОГИКА |
||
МЕНЮ Главная страница Поиск Регистрация на сайте Помощь проекту Архив новостей ТЕМЫ Новости ИИ Голосовой помощник Разработка ИИГородские сумасшедшие ИИ в медицине ИИ проекты Искусственные нейросети Искусственный интеллект Слежка за людьми Угроза ИИ ИИ теория Внедрение ИИКомпьютерные науки Машинное обуч. (Ошибки) Машинное обучение Машинный перевод Нейронные сети начинающим Психология ИИ Реализация ИИ Реализация нейросетей Создание беспилотных авто Трезво про ИИ Философия ИИ Big data Работа разума и сознаниеМодель мозгаРобототехника, БПЛАТрансгуманизмОбработка текстаТеория эволюцииДополненная реальностьЖелезоКиберугрозыНаучный мирИТ индустрияРазработка ПОТеория информацииМатематикаЦифровая экономика
Генетические алгоритмы Капсульные нейросети Основы нейронных сетей Распознавание лиц Распознавание образов Распознавание речи Творчество ИИ Техническое зрение Чат-боты Авторизация |
2022-05-22 21:57 – область неклассических логик, в которой используется понятие смысла языкового выражения в целях анализа широкого класса контекстов естественного языка. Логический анализ понятия смысла языкового выражения предполагает решение двух взаимосвязанных задач: (1) уточнение (экспликацию) понятия смысла путем построения формализованного языка и его семантики, (2) формализацию класса общезначимых формул языков-экспликаторов смысловых отношений. Если решается первая задача, то термин «интенсиональная логика» употребляется в узком значении – как специальная система представления смысла (формальный синтаксис и формальная семантика). В широком значении термин «интенсиональная логика» используется для обозначения философски ориентированных неклассических логик. Традиция различать смысл (англ. – sense, meaning, нем. – Sinn) и значение (англ. – reference, denotation, нем. – Bedeutung) выражения языка восходит к работам Г.Фреге (1892). Первая попытка формализовать понятие смысла была сделана Р.Карнапом (1947). Он провел параллель между принципом, согласно которому смысл выражения должен определять его значение, и свойством функции задавать значение аргумента. В результате им была построена семантическая модель интенсионального языка, в котором смысл выражения, в терминологии Карнапа – интенсионал выражения, интерпретируется как функция, заданная на множестве описаний состояний (возможных мирах) и выделяющая для каждого отдельного описания состояния значение выражения, или экстенсионал в терминологии Карнапа, в данном описании состояния. Другими словами, интенсионал выражения мыслится как всевозможные экстенсионалы, собранные вместе и упорядоченные определенным способом, т.е. как функция, определенная на возможных мирах как аргументах с экстенсионалами в качестве значений. Первая аксиоматическая система, язык которой явно содержит указание на смысл и значение, была разработана А.Черчем (1951). Д.Каплан (1964) предложил для нее семантику в духе Карнапа. Фундаментальное развитие интенсиональная логика получила в трудах Р.Монтегю (60-е гг.), соединившего ее принципы с идеями простой теории типов, лямбда-абстракцией, теорией категорий К.Айдукевича. В итоге им были разработаны мощные интенсиональные теоретико-типовые языки, обладающие способностью воспроизводить структуры обширных фрагментов естественного языка. Системы интенсиональной логики исследовались в работах М.Крессвела, Н.Кокчиареллы, Д.Галлина, Р.Томасона, Д.Доути, А.Ишимото, И.Ружа и др. Лингвистическое направление, связанное с построением формальных грамматик с последующей интерпретацией в терминах интенсиональной логики, развивается Б.Парта, ?.Купером, М.Беннетом. Иллюстрацией принципов интенсиональной логики может служить модель M = , где А – непустое множество индивидов, напр., А = {а,b,с} ; W – непустое множество возможных миров, напр., W= {w1, w2}; T – множество моментов времени, ? = {t1, t2, t3} ; < – линейный порядок на Т; F – функция, приписывающая значения константам языка, a g – функция, приписывающая значения переменным. Предварительно определив функцию F, можно ввести понятие интенсионала, если для любого выражения ? в модели M при приписывании g воспользоваться записью |?|*,M,g для обозначения интенсионала ? относительно M и g. Синтаксические обозначения для интенсионалов и экстенсионалов выражений представляются так: если ? есть выражение языка, то ?? есть выражение, значение которого есть |?|*M,g, т.е. ?? называют интенсионалом а. Значение функции |?|*M,g в любом индексе Источник: vk.com Комментарии: |
|