Библиотека Рефераты Курсовые Дипломы Поиск
Библиотека Рефераты Курсовые Дипломы Поиск
сделать стартовой добавить в избранное
Кефирный гриб на сайте za4eti.ru

Искусство, Культура, Литература Искусство, Культура, Литература     Литература, Лингвистика Литература, Лингвистика

Логическая грамматика

Фонарь желаний бумажный, оранжевый.
В комплекте: фонарик, горелка. Оформление упаковки - 100% полностью на русском языке. Форма купола "перевёрнутая груша" как у
87 руб
Раздел: Небесные фонарики
Фонарь садовый «Тюльпан».
Дачные фонари на солнечных батареях были сделаны с использованием технологии аккумулирования солнечной энергии. Уличные светильники для
106 руб
Раздел: Уличное освещение
Ночник-проектор "Звездное небо и планеты", фиолетовый.
Оригинальный светильник - ночник - проектор. Корпус поворачивается от руки. Источник света: 1) Лампочка (от карманных фонариков) 2) Три
330 руб
Раздел: Ночники

Логическая грамматика Логические грамматики превратились с течением лет в инструментарий высокого уровня, и теперь они позволяют пользователю сконцентрироваться на лингвистических феноменах. Грамматики, построенные на определенных предложениях, поддерживают использование логики для обработки данных естественного языка, и они подготовили почву для практической работы лингвистов на языке программирования PROLOG. ГРАММАТИКА, ПОСТРОЕННАЯ НА ОПРЕДЕЛЕННЫХ ПРЕДЛОЖЕНИЯХ (DEFI I E-CLAUSE GRAMMAR или DCG) Проведение работ по исследованию построения грамматик для понимания естественного языка (далее ЕЯ) приобрело большую популярность после введения Колмеройером в 1975 году грамматических формализмов, основанных на предложениях Хорна. Так называемые метаморфозные грамматики (me amorphosis grammars или MGs) определили рост заинтересованности в области выражения лингвистических понятий в логике (qv) и заложили основу для создания качественных блоков предварительной обработки данных (процессоров ввода-вывода) и интерфейсов. Основное применение результаты этих исследовательских работ нашли в консультировании и создании баз данных на основе ЕЯ, выработке вопросов и ответов, переводе текстов и синтезе текстов, исходя из надлежащим образом оформленных спецификаций. Понятие грамматик, построенных на определенных предложениях (DCGs), как особого случая метаморфозных грамматик, было введено в 1978 году Перейрой и Уорреном в качестве грамматического формализма, для которого PROLOG имеет эффективный механизм синтаксического анализа. Одни практические системы были созданы для одновременного использования синтаксического и семантического знания для привнесения логики в структуру, содержа в себе информацию для семантической интерпретации. Другие системы были выстроены на более чем одном уровне трансляции; использование синтаксического и семантического знания осуществлялось отдельно друг от друга, и конечным результатом являлось в PROLOGе предложение Хорна, выполнение которого осуществлялось механизмом планирования (qv). Техника экстрапозиционных грамматик (ex raposi io grammars или XGs) была предложена Перейрой для описания определенных глобальных отношений или экстрапозиций, таких как связь между относительным местоимением и его записью. В конечном итоге разработки наподобие грамматик структуры определений (modifier s ruc ure grammars или MSGs) Даля и МакКорда, древовидных грамматик ( ree grammars или Gs) Колмеройера и усложненных грамматик (puzzle grammars или PGs) Сабатье увеличили силу выражения лингвистических понятий. Все эти исследовательские работы по грамматическим формализмам, замешанным на логике, стали возможны и проще в осуществлении после выбора PROLOGа, языка программирования основанного на подмножестве логики первого порядка. ЛОГИЧЕСКИЕ ГРАММАТИКИ Грамматики описывают структуру (синтаксис) языков множеством продукций (правил, перерабатывающих текст). Например, правилом se e ce -> ou -phrase verb-phrase устанавливается связь между тремя нетерминальными символами: предложение может состоять из именной группы и следующей за ней глагольной группы.

Такие правила могут быть отображены в PROLOGе следующим образом: se e ce (S1, S3): - ou -phrase (S1, S2), verb-phrase (S2, S3). verb-phrase (S1, S2): - co ec s (S1, wri es, S2). co ec s (1, each, 2). co ec s (2, au hor, 3). co ec s (3, wri es, 4). (Примечание: предикаты (т. е. выражения с неопределенными терминами, или переменными, которые преобразуются в истинные или ложные высказывания при выборе конкретных значений для этих самых терминов) заносятся в PROLOG через запятую. Переменные отличаются от констант первой заглавной буквой.) В нижеследующей записи числа обозначают начало и конец каждого слова: 1each2 au hor3 wri es4 Чтобы проверить правильность построения предложения, необходимо указать цель ? - se e ce (1, 4). (где ? - бинарное обозначение структуры (или бинарный функтор), содержащееся в любой системе PROLOG) и продемонстрировать, что она подтверждается предыдущими условиями. Используя список в качестве информационной структуры для представления предложения, числа больше не нужны, так как PROLOG имеет устройство синтаксического анализа, способного перевести: ? - se e ce (). Грамматики, построенные на определенных предложениях, являются объемом понятия контекстно-свободных грамматик, которые также могут быть транслированы на язык PROLOG. Грамматики, построенные на определенных предложениях, позволяют любому логическому выражению стать нетерминальным, они построены на логических символах: константах, переменных, выражениях, - а не только на одних константах. Также они имеют только один нетерминальный символ в левой части каждого правила. Контекстные зависимости (контекстные отношения подчинения) описываются логическими переменными в рамках параметров (или независимых переменных) грамматических символов. У правила грамматики, построенной на определенных предложениях, следующая форма: o ermi al symbol -> body (основная часть программы). где “body” (“основная часть”) является последовательностью одного или более элементов данных, отделенных друг от друга запятыми. Каждый элемент данных является либо нетерминальным символом, либо последовательностью терминальных символов. Значение правила состоит в том, что "основная часть"- это возможная форма для группы типа “нетерминальный символ”. В PROLOGе нетерминальный символ записывается как выражение (а не как список), а последовательность терминальных символов - в виде списка. В правой части правила наряду с нетерминальными символами и списком терминальных символов могут находиться последовательности вызовов процедур, записываемых в фигурных скобках ({a d}). Они используются для выражения дополнительных условий, которые в обязательном порядке должны выполнятся, чтобы правило действовало. Нетерминальный символ преобразуется в ( 2)-местный предикат (имеющий идентичное название), чьи первые параметры полностью описаны в нетерминальном символе и чьи последние два параметра являются такими же, как и при трансляции контекстно-свободного нетерминального символа. Вызовы процедур в правой части правила транслируются так, как они есть. Каждое грамматическое правило, типа p(X) -> q(X).

получает группу входящих данных, анализирует некую исходную часть и генерирует остаток для дальнейшего анализа. Это частное правило транслируется системой PROLOG как p(X, S0, S): - q(X, S0, S). Следовательно, система грамматической индексации в PROLOGе обеспечивает более сжатую запись, когда параметры для групп входящих и выходящих данных неявно выражены. Когда в правиле содержатся терминальные символы, они транслируются со сказуемым "co ec s". К примеру, co ec s(S1, X, S2) означает, что суть S1 связана через X с сутью S2. Правило p(X) -> (older), q(X), (high). преобразуется в p(X, S0, S): - co ec s(S0, older, S1), q(X, S1, S2), co ec s(S2, high, S). АНАЛИЗ ЕЯ В 1977 году Колмеройер ввел общую схему анализа ЕЯ, что явилось решающим шагом вперед и вызвало огромный интерес в области использования логических грамматик как альтернативы прочно утвердившимся грамматикам расширенных сетей переходов (augme ed ra si io e work grammars). С исторической точки зрения, это можно признать поворотным пунктом, так как был указан метод преобразования предложений ЕЯ в логические структуры. Метод заключался в рассмотрении простейших высказываний, содержащих собственные имена существительные, какой бы то ни было артикль в виде квантора (кванторного слова) с тремя операциями перехода и четыре приоритетных правила, для разрешения проблемы иерархии квантования (количественного измерения качественных признаков). Краткий обзор общей схемы побуждает к дальнейшему развитию приемов составления логических грамматик. Например, предложение Chomsky is (a) wri er содержит имя собственное, и глагол “ o be” преобразуется в формулу wri er(chomsky) Главным образом глаголы, прилагательные, имена существительные вводят характеристики с параметрами. Для глаголов, может равняться 1 или 1 [переходные глаголы, где - количество комплементов (дополнений, следующих за глаголом в составном сказуемом и описывающих его подлежащее)]. Для прилагательных и имен существительных равняется или больше 1 (отношения, где - это -место его параметров). Параметры представляют в предложении дополнения при имени существительном, глаголе или прилагательном. Например, предложение Chomsky wri es a book содержит глагол “wri e”, существительное “book” и артикль “a” и может быть заменено следующей формой: for a B such ha B is (a) book (1) i is rue ha Chomsky wri es B (2) где (1) и (2) являются простейшими высказываниями. Эта же логическая структура может быть записана в стенографических индексах: a(B, book (B), wri es(Chomsky), B)). Обратите внимание, что высказывания (1) и (2) преобразуются в формулы “book(B)” и “wri es(Chomsky, B),” соответственно. Логическая структура выражает смысл предложения, и каждая из ее составных частей соответствует смыслу обособленных слов согласно принципу Фреже. Записи, передающие значение, указываются как логические структуры, так как единственным из области значения, что люди научились точным образом представлять в виде записи в ЭВМ, являются логические отношения. Всякий артикль a представляет квантор q (кванторное слово) с тремя операциями перехода, создающий новую формулу из переменной x и двух формул f1 и f2, q(x, f1, f2).

То, что этот телос есть телос бытия как присутствия — вот то, на что мы здесь хотим указать. Так, например, когда Гуссерль переопределяет отношение между чисто грамматическим и чисто логическим (отношение, которое всегда опускала традиционная логика, разрушалось на самом деле метафизическими предпосылками), когда он вводит чистую морфологию Bedeutungen (мы не переводим это слово по причинам, о которых будет сказано в свое время), чтобы объяснить чисто грамматическое, результатом этого является то, что всеобщность этой мета-эмпирической грамматики недостаточна, чтобы покрыть все поле возможностей для языка вообще; она не исчерпывает всей протяженности языкового a priori. Когда мы говорим о чисто грамматическом, мы имеем в виду ту систему правил, которая дает нам возможность знать, является ли речь, строго говоря, речью. Речь, несомненно, должна иметь смысл, но обязательно ли ошибочность и абсурдность противоречия (Widersinnigkeit) делают ее неинтеллигибельной? Обязательно ли они лишают речь ее опытного и интеллигибельного характера, платя ей тем самым sinnlos[6]? Эта грамматика заинтересована только в логическом a priori языка; это чисто логическая грамматика

1. Функционально-направленное обучение грамматике АЯ как эффективный способ формирования коммуникативной компетенции

2. Таблицы по латинской грамматике

3. Трансформационная грамматика

4. Выбор логической структуры процессора

5. Построение функции предшествования по заданной КС-грамматике

6. Применение метода частотных диаграмм к исследованиям устойчивости систем с логическими алгоритмами управления
7. Структура исчисления предикатов построение логического вывода
8. Развитие логического мышления учащихся 5 и 9 классов на внеклассных занятиях по русскому языку

9. Логическая конструкция Югославской войны

10. Логическое обоснование интуиции

11. Разработка для контроля и определения типа логических интегральных микросхем методом сигнатурного анализа

12. Логические элементы

13. Логический метод Гегеля

14. Методологическое и логическое основания применения системно-философского подхода к изучению конкретных систем различной природы

15. Логические законы

16. Логический аппарат исследования систем управления

Карандаши с разноцветным грифелем "Magic", 5 штук.
Карандаши с разноцветным грифелем. Диаметр: 10 мм. В комплекте: 5 штук.
427 руб
Раздел: До 6 цветов
Пенал большой "Pixie Crew" с силиконовой панелью для картинок (серая клетка).
Повседневные вещи кажутся скучными и однотонными, а тебе хочется выглядеть стильно и быть не как все? "Pixie Crew" сделает твою
1402 руб
Раздел: Без наполнения
Бумага чертежная, А3, 297x420 мм, 100 листов.
Плотность: 200 г/м2, ГОСТ 597-73.
953 руб
Раздел: Папки для акварелей, рисования

17. Выбор логической структуры процессора

18. "Правило о пяти чинех архитектуры Иакова Бароция Девигнола" - первая архитектурная грамматика Петровского времени

19. Называние и познание в теории грамматики

20. Аргументация и доказательство, как ее логическая основа. Структура доказательства

21. Определение логических понятий

22. Логические парадоксы
23. Индексные системы и их логическая основа
24. Логические противоречия теории большого взрыва

25. Экзаменационные вопросы с билетами за весенний семестр 2001 года по грамматике и лексикологии Русского языка

26. Использование логических задач на уроках математики в начальной школе

27. Развитие логического мышления младших школьников при обучении построению вспомогательных моделей в процессе решения текстовых задач

28. Грамматика глаз

29. Семантические поля учебной деятельности (на примере изучения младшими школьниками русской грамматики)

30. Логическое мышление детей 7-10 лет и его развитие

31. Синтез логической функции и анализ комбинационных схем

32. Исследование логических элементов

Матрас в коляску "Lepre" Luna Lux.
Матрас в коляску Luna Lux - это матрас в коляску с использованием биококоса и натурального латекса. Благодаря кокосовому волокну и
923 руб
Раздел: Матрасы в коляску
Мощный стиральный порошок с отбеливателем и ферментами для сильных загрязнений "Mitsuei", 1.
Этот порошок идеально подходит для белого белья. Ферменты в составе средства, расщепляют любые сложные загрязнения и они с легкостью
434 руб
Раздел: Стиральные порошки
Фоторамка пластиковая "Clip", 50x70 см.
Для фотографий размером: 50х70 см. Материал: пластик.
359 руб
Раздел: Размер 50x60 и более

33. Синтез логической ячейки ТТЛШ

34. Разработка логической схемы управления двустворчатых ворот судоходного шлюза

35. Логический атомизм "Трактата": от синтаксиса к онтологии

36. Гегель о философско-логических основаниях становления науки о праве

37. Мышление как процесс и проблемы логического анализа научных текстов

38. Логические уровни процессов и организации информации
39. Логический позитивизм
40. Общая характеристика формально-логических законов

41. Становление логической философии

42. Единство противоположностей: краткий анализ антиподальных пар на логическом уровне.

43. Логическое понятие

44. Историческая грамматика русского языка

45. Английский, теоретическая грамматика

46. Теоретическая грамматика

47. Грамматика как наука о человеке

48. Активная грамматика: к содержанию понятия

Свеча "Gardex Family" репеллентная от комаров.
Свеча обеспечивает защиту от комаров на открытом воздухе и в жилых помещениях в течение всего времени горения (до 30 часов) за счет
355 руб
Раздел: Спираль
Рюкзак для дошкольников "Тролли".
Рюкзачок "Тролли" детский, дошкольный, 1 отделение на завязках с верхних клапаном на липучке, 1 внутренний кармашек, узкие
465 руб
Раздел: Без наполнения
Плакат электронный "Говорящий Букваренок".
Многим детям понравится представленная оригинальная обучающая игра ''Говорящий Букваренок'', ведь она имеет несколько
429 руб
Раздел: Электронные и звуковые плакаты

49. Грамматика

50. Обобщенная грамматика непосредственных составляющих

51. Теоретическая грамматика английского языка

52. Логическое проектирование

53. Особенности реализации экспертных систем на базе логической модели знаний

54. Синтез логических схем
55. Моделирование логической схемы в PCAD (САПР)
56. Логические операторы VB

57. LL(k)-грамматики

58. Логические системы в различных функциональных наборах и их реализация

59. Логический тип данных. Операции сравнения

60. Индексные системы и их логическая основа

61. Философия грамматики. Живая грамматика

62. Грамматика эволюции человека

63. Логические основы редактирования текста (на материале современной районной прессы Удмуртии)

64. Особенности английской грамматики

Подгузники Moony, 6-11 кг, экономичная упаковка, 62 штуки.
Максимально удобны и просты в применении. "Дышащая поверхность" подгузников обеспечивает доступ воздуха к коже ребенка, а
1423 руб
Раздел: 6-10 кг
Рамка деревянная со стеклом, формат 40х40 см, арт. 2N66.
Размер: 40х40 см. Цвет: клён. Материал: дерево.
404 руб
Раздел: Багетные рамы, для икон
Беговел "Funny Wheels Rider Sport" (цвет: зелёный).
Беговел - это современный аналог детского велосипеда без педалей для самых маленьких любителей спорта. Удобный и простой в
2900 руб
Раздел: Беговелы

65. Пунктуация и грамматика русского языка

66. Существительное в английской грамматике

67. Универсальные грамматики нового времени. Грамматика Пор-Рояля

68. Взаимосвязь обучения лексике и грамматике на начальном этапе изучения иностранного языка

69. Грамматика английского языка в примерах и упражнениях

70. Логические задачи на языке программирования Prolog
71. Основы анализа и синтеза комбинационных логических устройств
72. Построение арифметико-логического устройства для выполнения операции умножения целых чисел

73. Представление логических функций от большого числа переменных

74. Разработка формальных грамматик

75. Условная функция и логические выражения в электронных таблицах Microsoft Exel 97.

76. Язык логического программирования Visual Prolog

77. Арифметико-логическое устройство (АЛУ). Регистр PSW

78. Логические элементы интегральных микросхем

79. Проектирование сложных логических структур на МДП-транзисторах

80. Разработка устройства логического управления

Мелки восковые "Maxi", 24 цвета.
Мелки восковые удобные и яркие. Они не крошатся, хорошо рисуют, имеет насыщенные цвета. Безопасно для детей. Восковые мелки в специальной
308 руб
Раздел: Восковые
Точилка механическая.
Точилка механическая. Большой контейнер для стружки. Не скользит по поверхности. Материал корпуса: пластик. Цвет представлен в
569 руб
Раздел: Точилки
Кружка "Кот", микс.
Керамическая кружка с ложкой и деревянной крышкой в комплекте сделана в оригинальной крафтовой манере, имитирующей ручную лепку. Бока
434 руб
Раздел: Кружки

81. Разработка функциональной цифровой ячейки от функциональной логической схемы проектируемого узла до печатной платы узла

82. Функции алгебры логики. Логический базис

83. Исчисления предикатов и их применение в логическом умозаключении

84. Решение военно-логической задачи по распределению ударной группы авиационного подразделения

85. Методы минимизации логических функций

86. Понятие как логико-смысловая форма мышления. Логические операции с понятиями
87. Готовность детей с общим недоразвитием речи к овладению грамматикой
88. Логико-математические игры в работе со старшими дошкольниками как средство формирования логического мышления

89. Логические задачи и упражнения как средства развития мыслительных операций у старших дошкольников

90. Развитие логического мышления младших школьников в процессе рисования с натуры

91. Развитие логического мышления учащихся при решении задач на построение

92. Решение задач на построение в курсе геометрии основной школы как средство развития логического мышления школьников

93. Формирование логического мышления младших школьников на уроках математики по учебно-методическому комплекту "Начальная школа XXI века"

94. Влияние сказки на развитие словесно-логического мышления у детей старшего дошкольного возраста

95. Развитие логического мышления у дошкольника

96. Гипотеза, логическое строение гипотезы

Ящик "Профи", 25 литров.
Ящик хозяйственный "Профи" из цветного пластика. Размер: 410х295х312 мм. Объем: 25 литров.
416 руб
Раздел: Более 10 литров
Набор фломастеров (36 цветов).
Яркие цвета. Проветриваемый и защищенный от деформации колпачок. Помогают научиться координировать движения рук. Возраст: от 3 лет.
396 руб
Раздел: Более 24 цветов
Комплект в кроватку Polini "Я и моя мама" (7 предметов, 140х70 см).
Комплект из 7 предметов Polini Я и моя мама рассчитан на детскую кроватку со спальным ложе размером 140х70 см. Европейский дизайн и
5735 руб
Раздел: Комплекты в кроватку

97. Логическая характеристика понятий. Объединенная классификация суждений

98. Логические операции

99. Логические основы теории аргументации


Поиск Рефератов на сайте za4eti.ru Вы студент, и у Вас нет времени на выполнение письменных работ (рефератов, курсовых и дипломов)? Мы сможем Вам в этом помочь. Возможно, Вам подойдет что-то из ПЕРЕЧНЯ ПРЕДМЕТОВ И ДИСЦИПЛИН, ПО КОТОРЫМ ВЫПОЛНЯЮТСЯ РЕФЕРАТЫ, КУРСОВЫЕ И ДИПЛОМНЫЕ РАБОТЫ. 
Вы можете поискать нужную Вам работу в КОЛЛЕКЦИИ ГОТОВЫХ РЕФЕРАТОВ, КУРСОВЫХ И ДИПЛОМНЫХ РАБОТ, выполненных преподавателями московских ВУЗов за период более чем 10-летней работы. Эти работы Вы можете бесплатно СКАЧАТЬ.