Семантика

Вторая проблема состоит в отсутствии общепринятого соглашения относительно принципов подхода к основным задачам. И снова ответственность за это несет незрелое состояние науки. В качестве примера можно привести тот факт, что существует множество способов описания семантики языков программирования, большинство которых было сформулировано за последнее десятилетие [Стил, 1966]. Однако многое еще предстоит сделать в столь важной области, как установление эквивалентности или отсутствия таковой различных методов описания. Эта ситуация подобна той, которая сложилась в 30-е гг. в математике. Существующие научные проблемы открывают новые волнующие перспективы, но едва ли обеспечивают нас прочной платформой, которую можно было бы использовать как основу для построения курса лекций для студентов последнего года обучения н при этом иметь в виду возможные практические приложения данной науки. [c.146]

В течение некоторого времени мы занимались такого рода логической деятельностью, хотя вначале возникла теория доказательств и лишь впоследствии — семантика. История вопроса примерно такова. Довольно давно, в 1962 г., А. Андерсон и я предложили рассмотреть группу выводов, которые мы назвали тавтологическими следствиями, т. е. группу, включающую в себя все разумные выводы (содержащие связки , V. ). которые всякий психически нормальный и достаточно тренированный логик хотел бы сделать. Мы построили различные формализации этих выводов в виде теории доказательств и показали, что восьмизначная матрица достаточна для того, чтобы охарактеризовать эти выводы семантически. [c.225]

Как можно заметить, в различных СУБД подход к построению ЯМД осуществляется с принципиально разных позиций, причем разница в синтаксисе и семантике различных ЯМД имеет гораздо большее значение, чем для ЯОД. [c.205]

Трансляция программы представляет собой в общем случае изменение алфавита, лексики и синтаксиса, поскольку происходит перевод программы с одного языка на другой. Только семантика остается неизменной. Обычно при трансляции перевод программы на другой язык производится неэквивалентно, т. е. получаемая программа содержит большее количество слов и предложений. Это соотношение определяется как уровнем языка, так и качеством транслятора. [c.39]

Элементы языка, используемые при записи программы на Фортране, синтаксически достаточно простые и определяются только семантикой. [c.339]

Алгол-60 характеризуется набором основных символов, из которых строятся слова и предположения . Правила построения конструкций определяются синтаксисом языка, а их смысловое значение определяется семантикой. [c.47]

Синтаксис Основные Символы Семантика [c.47]

Совокупность знаний ПО при использовании логических МПЗ программно реализуется в виде БЗ, которая состоит из множества формул. Логические модели имеют развитые процедуры вывода новых фактов из тех, которые явно представлены в БЗ. Это определяет интенсивное использование логических моделей при создании ЭС. Другое преимущество логических моделей, важное для любых интеллектуальных систем, — возможность контроля логической целостности БЗ, т. е. ее непротиворечивости и соответствия установленным правилам (ограничениям целостности). Логические МПЗ обеспечивают простую и ясную нотацию для записи фактов, обладающую четко определенной семантикой (по крайней мере, [c.48]

Однако на этапе приобретения знаний язык общения более сложен, что затрудняет предвидение всего разнообразия способов выражения на ЕЯ запросов, фактов или правил, вводимых пользователем. Поскольку анализу приходится подвергать не отдельные словосочетания, а предложения, то кроме использования морфологии требуется привлекать синтаксис и семантику (в той или иной степени). [c.78]

Семантические модели ЕЯ. К ним относятся модели, основанные на методе компонентного анализа модели семантик предпочтения модели концептуальной зависимости. [c.79]

Модель, основанная на методе компонентного анализа, исходит из предпосылки, что семантика ЕЯ может быть адекватно выражена в терминах конечного неструктурированного набора семантических множителей (т. е. атомов смысла). Предполагалось, что посредством конечного набора атомов смысла можно описать неограниченное число лексических единиц неограниченного числа языков. Метод состоит в рассмотрении слов и выделении некоторых признаков, разбивающих слова на разные семантические группы. Примерами таких признаков могут быть гомогенность , гетерогенность , растворимость , нерастворимость и более дифференцированные признаки соли , эфиры , кетоны и т. д. Значение каждого слова представляется как множество таких атомов смысла. Однако кажущаяся простота данного метода связана с существенными трудностями его реализации. Он становится очень громоздким в тех случаях, когда приходится иметь дело с явлением омонимии (многозначностью слов), которых очень много в ЕЯ. Еще ббльшие трудности возникают при попытке выразить с помощью метода компонентного анализа смысл целого предложения, а тем более текста. [c.79]

Модель семантик предпочтения позволяет 1) анализировать связные тексты, а не отдельные предложения 2) формализовать семантический анализ текста 3) разработать машинно-ориентированную структуру анализа текста 4) рассматривать смысл предложений не как список значений слов с соответствующей синтаксической структурой, а выделять структурированную форму сообщения 5) уметь обрабатывать предложения, содержащие неизвестные слова. [c.79]

Модель семантик предпочтения базируется на предположениях [c.79]

Недостатком модели семантик предпочтения является то, что она ориентирована на анализ текста. В дальнейшем развитии эти модели используют фреймы и сценарии для отображения смысла текста. [c.80]

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

Помимо основательного анализа строения прямых ответов (в основном на материале ли- и /ш/сой-вопросов), авторы в обзорном порядке рассматривают некоторые другие типы вопросов (например, почему-ъопрос), исследуют операции над вопросами, формулируют эротетическую семантику. В последней главе книги они возводят на пьедестал логику вопросов и ответов за ее грядущую пользу в omputer s ien e. [c.9]

В связи с тем, что авторы книги понимают эротетическую логику как грамматику и семантику вопросов, они развивают теорию вопросно-ответных отношений на базе описанного ими формального языка L и неформального метаязыка, в котором формулируются семантические характеристики вопросов и ответов. Однако возможны пути синтаксического определения различных вопросно-ответных предикатов в рамках формального метаязыка ML, содержащего L (с.м. прим. 3). Целесообразность изучения конструкций подобного рода вызвана тем, что корректное определение вопросов к информационным системам (и базам данных как их частному случаю) требует обогащения выразительной силы L (т. е. введения переменных новых сортов и специальных металогических предикатов). Весьма перспективным было бы такое определение вопросно-ответных предикатов в ML, которое бы допускало извлечение из них программ (см. в этой связи Непейвода H.H. [c.10]

Друзья настаивали на том, чтобы мы приписали себе честь обнаружения и доказательства искомой теоремы, видимо центральной во всей эротетической семантике. Однако, несмотря на то, что мы чувствительны к комплиментам, научная честность заставляет нас обратить внимание читателя на предвидение одним индийским логиком этого результата. [c.135]

Воспользуемся теиерь логическими операциями на L4, чтобы ввести вполне обычным образом семантику для языка, содержащего , / и Для произвольного сетапа s, т. е., напомним, для отображения атомарных формул в 4, можно продолжить S обычным индуктивным образом до отображения всех формул в 4 (прим. 10) [c.221]

Наконец, у нас есть логика, т. е. критерий вывода, который использует наш компьютер, чтобы производить выводы, содержащие конъюнкцию, дизъюнкцию и отрицание, а также, конечно, все, что может быть выражено посредством этих связок. Замечу, что эта логика имеет два основных свойства. Во-первых, что наиболее важно, она корнями уходит в практику. Мы уже объясняли, почему было бы хорошо, чтобы наш компьютер рассуждал в терминах четырех значений, и почему логика четырех значений должна быть такой, как она есть. Во-вторых, хотя отдельные шероховатости еще остались, очевидно, что наша оценка общезначимости вывода является математически строгой. Очевидно также, что компьютер, осуществляя вычисления в соответствии с таблицами истинности, может решать, является ли предложенный вывод общезначимым. Существует, однако, другая сторона деятельности логика, заключающаяся в кодифицировании выводов аксиоматическим или нолу-аксиоматическим способом, с тем чтобы вывод стал явным и соответственно удобным. Если вывод продолжает казаться таинственным, он неудобен. Этим я хочу сказать, что логик, задавая семантику, стремится, как правило, снабдить ее теорией доказательств, теорией, которая является непротиворечивой и полностью соответствует семантике. [c.225]

Во всяком случае, семантика, приданная связкам, распространяется на кванторы общности и существования очевидным образом, и я буду предполагать, что это уже сделано. Оказывается, что различные альтернативные возможности не требуют каких-либо различий в отношении логики (за исключением, очевидно, случая, когда область конечна и все объекты имеют имена) общезначимые следования первой степени из работы Ан)1ерсона и Белнапа [19651 также годятся (дополненные для конечного случая законом, в соответствии с которым конъюнкция, пробегающая по всей области, влечет соответствующее универсальное утверждение). [c.234]

Во введении авторы отмечают, что эротетическая логика специфична не теорией дедукции, а семантикой и грамматикой в связи с этим мы хотим подчеркнуть тот факт, что синтаксическое определение вопросно-ответных предикатов Лш,- в метаязыке ML дает возможность эротетической логике иметь специфическую теорию дедукции, зависящую как от выразительной силы ML (наличие тех или иных сортов переменйых и соответствующих их иерархий), так и от собственных логических средств ML (т. е. выбора классической или некоторых неклассических логи <). [c.274]

Центральное место в системе DENDRAL занимает программа, порождающая пространство поиска возможных химических структур. Эта программа ограничивает область поиска только правдоподобными структурами. Ограничения на структуры вводятся специалистом, выполняющим анализ, и могут включать такие факторы, как число атомов для каждого типа молекул и предполагаемые связи между атомами молекулы. На каждой стадии количество порождаемых структур может быть сокращено благодаря наложению нескольких ограничений, и пользователь имеет возможность в диалоге с программой задавать по своему желанию дополнительные ограничения, имеющие различное происхождение из теории графов (не рассматриваются симметричные структуры в связи с их уникальностью) из синтаксиса (определенные структуры неправдоподобны из-за валентности входящих в них атомов) из семантики (введение дополнительной информации, касающейся молекулы, полученной в результате других проверок и т. п.). [c.50]

Эти названия иллюстрируют, почему номенклатура циклических кетонов названа областью несчастной семантики [2]. Аномалии очевидны все соединения серии (44)—(46) названы как производные пиридина, хотя соединения (44) и (45) произведены от дигидропиридинов, а соединение (46) —от тетрагидропиридина соединение (48) получило в названии префикс дигидро , хотя оно производимо от того же самого тетрагидропиридина, что и (46). С химической точки зрения, в этой номенклатуре степень гидрирования родоначальной циклической системы не принимается в расчет. То же относится и к названию для (43), принятому в СА. Единственное, что имеет значение, это необходим ли обозначенный водород после введения оксогруппы и размещения в цикле максимального числа некумулированных двойных связей. [c.144]

Для создания псевдофизических логик необходимо построить формальную систему, учитывающую семантику отношений (времени, пространства и т. д.), и модели той физической реальности, которая отображается данной псевдофизической логикой. Например, логика времени должна включать формальную систему, позволяющую выводить временные отношения, неявно присутствующие в описании ситуации (на основании заложенных в память устройства базовых отношений и правил вывода), и систему де- [c.53]

Ссти-сцснарии представляют собой однородные СГ. Их используют для отображения логической взаимосвязи во времени отдельных работ (или операций), на которые разбивается выполнение некоторого задания. Вершины сетей-сценариев отображают некоторые объекты или технологические операции дуги — отношения строгого или нестрогого порядка с различной семантикой. Если вершины отображают технологические операции или виды работ, а дуги — отношения следования, то указанная сеть-сценарий представляет собой сетевой график, являюш,ийся эффективным средством составления планов. Примеры таких планов —план пуска ХТС после проведения ремонтных работ или план разработки проекта новой ХТС. [c.60]

В модели семантик предпочтения определены правила получения полных образцов из простых. В модели вводится понятие семантической близости образцов, которая измеряется совпадением классификаторов в сравниваемых образцах. Анализ текста осуществляется следующим образом с помощью маркеров (предлогов, союзов и т. д.) выполняется фрагментация текста. Затем словам выделенного фрагмента текста из словаря приписываются все их значения. Далее (без морфологии и синтаксиса) на фрагмент накладываются поочередно простые шаблоны. Образец считают наложившимся, если каждый из его элементов отображается на элементы какого-либо из значений некоторого слова. Затем применяют правила расширения, преобразующие простой образец в полный путем добавления слов, не вошедших в образец. Процедура усложняется тем, что может не подойти ни один образец. После получения полных образцов работают процедуры установления их близости (семантической). [c.80]

Варианты GAO называют трансформами ядерной цепочки, а их взаимопреобразование —трансформацией. Трансформация, меняя структуру цепочки, сохраняет ее семантику. [c.85]

Справочник химика 21

Химия и химическая технология