Логико-лингвистические модели предикации и предикативности

Вид материала

Реферат

Содержание Основные элементы языков представления знаний предикатного типа Интерпретация в логике предикатов первого порядка Общезначимость и противоречивость Логическое следование и теорема дедукции P часто называют посылкой Формула Q является логическим следствием формул P Нормальные формы в логике первого порядка Описание ситуаций в предикатной форме P3(№8, “Беломорск“)&P P1(“Свирь”, №1)&P P13(“Беломорск”, капремонт, s

Подобный материал:

• Лингвистические основы информатики, 16.8kb.
• Отдел образования Несвижского райисполкома Учреждение образования, 228.72kb.
• Iv-я Всероссийская научная конференция «Нечеткие системы, мягкие вычисления и интеллектуальные, 92.67kb.
• Исследование бытия и распада жанровой системы русской поэзии xviii-начала XIX века, 4010.98kb.
• С. 277 III. Некоторые специально-лингвистические вопросы перевода художественной литературы, 562kb.
• Лекция 7 Моделирование процессов, 67.29kb.
• Логико-математические модели мышления и основополагающие принципы системного развития, 132.9kb.
• [25/01/2010] Лингвистические права стали предметом спора в ряде европейских стран,, 84.53kb.
• Дискурс как лингвистическая реальность и лингвистические реалии в пространстве языка, 33.46kb.
• Сборник статей Xмеждународной научно-практической конференции «Лингвистические и культурологические, 109.57kb.

Министерство высшего образования Российской Федерации

Ульяновский Государственный технический университет


Кафедра «Вычислительная техника»

Реферат

на тему:


Логико-лингвистические модели предикации и предикативности


Выполнил: студент группы ЭВМдм-51

Шембергер А. В.

Научный руководитель: Соснин П. И.


Ульяновск 2002

План реферата

Введение

Прежде чем начинать рассказывать о логико-лингвистических моделях предикации и предикативности, стоит определить, что же понимается непосредственно под понятиями “предикация” и “предикативность”.

Ниже представлены описания, определения, цитаты, даваемые понятиям предикации и предикативности, наиболее часто встречаемые сейчас в печатных изданиях и Internet-статьях.

Итак, высказывания с упоминанием предикации:

• Предикация - динамическая многомерная структура языка — онтологическая (экзистенциальная) сущность (”природа”) коммуникации. ...Предикация суть поток преобразований собственно языковых и ”до-(пост)языковых” структур [6].
  
• Структурная схема предложения есть языковая форма предикации... Категория предикации едина для всех языков; она - принадлежность языка вообще [11].
  
• Если все мышление и конкретное, и абстрактное - образно, то под предикацией предлагается понимать минимальный акт познания, сводящийся к формированию некоторого нового образу, который представляется человеку как уточненный вариант определенного уже существовавшего образа, т. е. ранее установленного знания [7].
  
• В традиции Просвещения полноценной формой познания является суждение. Акт суждения состоит в предикации, т. е. в полагании значимости приписывания предикатов. В этой традиции значимое конституирование суждений считается зависящим от “материальных” (восприятие) и “формальных” (концепты) условий. Допредикативный опыт, по Э. Гуссерлю, есть сфера приобретения суждением содержания. Мы толкуем это понятие несколько шире, считая, что допредикативный опыт связан не только с определенным состоянием чувственного содержания, но и с оформленностью «практических схем». Согласно философскому пониманию, царившему вплоть до 30х г. XX в., предикация представляет собой основной элемент человеческого познания и речи. Отсюда, предикативные действия приписывания/отрицания суть основополагающие действия различения [5].
  
• Семантические роли в предложении распределяются предикацией, отражающей структуру события [1].
  
• Сказуемое иначе называется предикат..., а самый процесс выражения мысли посредством ”сказуемостных” слов и форм - предицированием, или предикацией [13].
  

Высказывания о предикативности:

• Предикативность - универсальная лингвистическая категория, она выражает конвенциональное отношение между набором необходимых признаков “означенного”, “отраженного” предложения и его коммуникативной автономностью в потоке речи. Она не может отождествляться с отдельными характеристиками отдельных высказываний на национальных языках (время, наклонение глагола и пр.) ...Предикативность суть система отношений, выражающая осознание коммуникантами завершенности (и авторизованности) ”выдаваемой на поверхность” идеи. Структурно коммуникативная автономность создается на базе компенсирующего баланса между интонацией и целостностью предикативной оппозиции [6].
  

• Такие конструкции обладают... наличием несамостоятельной предика-тивности, помещающейся за пределами формального сказуемого [10].
  
• Соединение подлежащего со сказуемым создаёт предикативную основу предложения, обеспечивающую возможность соотнести предложение в целом с тем или иным фактом действительности, который локализуется во времени и пространстве [14].
  
• Название текста предикативно: оно “руководит” вторичным членением действительности, созданием ее образного двойника в тексте [16].
  
• Всякому предложению свойственна ”предикативность” - то, что делает предложение предложением... “Предикативностью” здесь называется та расчлененность на два компонента, т.е. субъект и предикат суждения [13].
  

Объединяя все представленные определения и высказывания, договоримся:

• называть предикацией минимальный акт познания, процесс выражения мысли посредством “сказуемостных форм”;
  
• называть предикативностью универсальную лингвистическую категорию, свойство языка, свойство, обозначающее соединенность сказуемого с подлежащим.
  

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

Определим теперь понятие и сущность логико-лингвистических моделей.

Одной из центральных проблем построения систем (представления, описания) управления сложными объектами, обладающими характерными свойствами является построение модели знаний системы об объекте управления и интерпретатора, работающего с этой моделью. Построение модели знаний в свою очередь опирается на наличие специального языка представления знаний (ЯПЗ), без которого эта модель не может функционировать. Этот язык по своим изобразительным возможностям должен быть достаточно богат, чтобы адекватно отображать в модели знаний сведения о структуре объекта и среды, а также о протекающих в них процессах. Такое требование сближает ЯПЗ с естественным языком. Структура ЯПЗ оказывается близкой к структуре естественного языка. Зачастую в качестве ЯПЗ используют просто некоторое подмножество естественного языка, необходимое для управления объектом данной природы. Однако в отличие от естественного языка ЯПЗ должен обладать большей формальностью, логичностью. В противном случае реализовать его в системе управления будет чрезвычайно трудно. Так как модель знаний M в качестве языка будет использовать язык, подобный ЯПЗ, процедурный блок механизма порождения решений (МПР), использующий в своей работе данные модели знаний, должен также оперировать с информацией, записанной на ЯПЗ. Это означает, что процедуры, реализуемые в блоке МПР (по крайней мере, та их часть, которая связана с обработкой и использованием информации, хранящейся в M), должны носить логический, символический характер. Если же предполагается адаптация этих процедур, то и адаптатор должен “понимать” ЯПЗ.

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