Эмпирические теории не состоят исключительно из суждений, которые могут быть проверены экспериментально, а включают комбинации аналитических и эмпирических суждений. Синтаксическую или логическую часть такой теории можно вычленить и изучать отдельно от эмпирической. Этот процесс обычно называется аксиоматизацией или формализацией теории, а его результат носит название аксиоматической или формальной системы. Таким образом, очевидно, что а) формальная теория per se (сама по себе) не является эмпирической теорией, и б) для того чтобы формальная теория могла использоваться в эмпирической науке, необходимо также задать семантические правила. [c.98]
На этой схеме в левой части даны блоки информационных процессов, в правой - блоки процедур. Блок в виде прямоугольника изображает процесс или процедуру, в которых преобладают ручные или традиционные операции. Овальная форма блоков соответствует автоматическим операциям, производимым с помощью технических средств (ЭВМ и средств передачи данных). В верхней части схемы информационные процессы и процедуры осуществляют преобразование информации, имеющей ярко выраженное смысловое содержание. Синтаксический аспект информации находится здесь на втором плане. В этом случае говорят о преобразовании собственно информации.В нижней части схемы производится преобразование данных, -т.е. информации, представленной в машинном виде. И на этом уровне представления преобладает синтаксический аспект информации. [c.50]
В логических схемах синтаксис задается набором правил построения правильных синтаксических выражений, а семантика - набором правил преобразования выражений и разрешающей процедурой, позволяющей однозначным образом и за конечное число шагов определить, является ли данное выражение семантически правильным. Преимуществами логических схем представления знаний являются высокий уровень модульности знаний, лаконичность представления, наличие тела анализа и определение понятия логического вывода, позволяющее получить формальным путем новые знания. [c.250]
Метаязык Бэкуса - это список синтаксических правил или, как их иногда называют, правил подстановки, имеющих вид U —>у, где>> - строка символов, каждый символ которой принадлежит либо формальному языку, либо описывающему его метаязыку U - символ, принадлежащий метаязыку. [c.187]
Заметим, что V - множество бесконечное. Выше отмечалось, что грамматика формальных языков в настоящее время подразделяется на две части синтаксис и семантику. Для описания семантики общепринятого формализованного языка пока нет. Для описания синтаксических правил наибольшее распространение получил метаязык Бэкуса. [c.190]
Множество всех синтаксических правил конкретного формального языка, записанных на некотором метаязыке (например, языке Бэкуса), обозначим буквой Р. [c.190]
К типу 0 он отнес языки, на синтаксические правила которых не наложено никаких ограничений. [c.194]
К типу 1 принадлежат языки, синтаксические правила которых могут только следующий вид [c.194]
Этот тип языка называется контекстно зависимым, так как синтаксическое правило справедливо только в контексте строк, окружающих А, т.е. х и у. [c.195]
К типу 2 относятся языки, синтаксические правила которых могут быть представлены только в виде [c.195]
В языках типа 3 синтаксические правила строго ограничены одной из форм А —> В или А ВС, где A, eV , В VT, [c.195]
Для грамматики языка документов второго уровня, устанавливающей правила расположения реквизитов по полю формы документа, характерно усложнение синтаксической части. Синтаксические правила могут быть общими для большинства унифицированных форм, поскольку они не связаны непосредственно с содержанием конкретной унифицированной формы. [c.75]
Многие программы накладывают ограничения на порядок слов, пунктуацию и требуют обязательного выбора одного значения параметра из множества возможных. Здесь описываются также синтаксические правила или даются ссылки на соответствующий документ в разд. 4. Г ВшС. [c.273]
Работы по унификации Документов включают установление номенклатуры действующих форм построение единой модели документов для групп однородных задач с использованием, как правило, формуляра-образца разработку структур документов создание общих синтаксических правил построения документа определение методов контроля информации документа. [c.18]
Структурные признаки, называемые так же лингвистическими, синтаксическими, представляют собой непроизводные элементы (символы) структуры объекта, конгломераты непроизводных элементов и их отношения. Описание образов распознаваемых элементов среды можно осуществить на некотором языке непроизводных элементов и их отношений . Правила составления образов на этом языке называют грамматикой. Существует множество различных типов грамматик, применяемых для описания структуры образов распознаваемых элементов среды. При этом, распознаваемый элемент среды представляется в виде совокупности символов принятой грамматики, т.е. предложения. На этапе функционирования системы распознавания по составленному предложению распознаваемого образа устанавливается его принадлежность к образам, задаваемым соответствующей грамматикой. Структурные [c.260]
Описывающие теории оцениваются двумя различными способами в зависимости от того, имеют ли они эмпирическое содержание. Синтаксические теории — всегда описывающие теории, которые, по определению, не имеют эмпирического содержания. Они подтверждаются самой логикой. Так, равенство 2 (у+3) = 2у + 6 справедливо, так как оно вытекает из принятых правил математики. Точно так же прибыль составит 500 дол., если доход равен 800 дол., а издержки — 300 дол., но не потому, что это определено экспериментально, а потому, что это следует из общепринятых правил учета. Многие из бухгалтерских утверждений попадают в эту категорию и признаются истинными исключительно по синтаксическим причинам. В качестве примера рассмотрим вопрос о том, является ли некий конкретный объект, например отработанная скважина, активом или нет. Возможен следующий путь рассуждения [c.22]
Синтаксический подход к прибыли предполагает ее рассмотрение с точки зрения правил ее определения семантический — через ее связь с основополагающими экономическими реалиями прагматический — с позиции ее использования инвесторами независимо от того, как она измерена и определена. В данной главе исследуется каждый их этих подходов. [c.203]
В клетки ЭТ могут быть введены текст, цифры и формулы. Во всех табличных процессорах существуют синтаксические соглашения, позволяющие отличить формульно-цифровую информацию от текстовой, которых должен придерживаться пользователь, если хочет добиться правильных результатов. Обычно синтаксические правила интуитивно понятны и легко запоминаются (например, для задания текстовой информации ей должны предшествовать кавычки и т.п.). [c.193]
Множество Р есть множество синтаксических правил. С их помощью из элементов образуют синтаксически правильные совокупности. [c.560]
Множество В есть множество правил вывода. Применяя их к элементам А, можно получить новые синтаксически правильные совокупности, к которым снова можно применять правила из В. Так формируется множество выводимых в данной формальной системе совокупностей. Отсюда следует, что именно правила вывода являются наиболее сложной составляющей формальной системы. [c.560]
Определим металингвистические правила описания синтаксических конструкций языка АЭФГ. Фигурные скобки в формате означают, что нужно выбрать один из элементов, указанных в этих скобках по вертикали, квадратные скобки [ ] — что заключенный в эти скобки элемент может быть опущен. Многоточие показывает, что элемент формата, за которым оно следует, может быть повторен неограниченное число раз. [c.35]
Тривиальным синтаксическим приемом мы можем ассоциировать лабораторию 5 с Чикаго, Стэнфорд с Сан-Франциско и т. д. Действия робота по достижению того или иного пункта попарно подобны. Но ИСХОДНЫЙ ОТОБРАЖАТЕЛЬ или РАСШИРИТЕЛЬ должен был бы знать семантики (географию) этих констант (по отношению к Стзнфордскому исследовательскому институту) и действия робота для оценки того, какие задачи адекватно аналогичны и какие правила действий должны быть экстраполированы на нерешенную задачу. [c.510]
Повторяется содержание разделов 3 — 3.1.3 соответствующих ВшС с добав- нием новых обозначений, терминов и синтаксических правил, используемых [c.285]
Основным глобальным стандартом в системе EDI является UN/ EDIFA T, утвержденный ЕЭК ООН и ISO. Стандарт UN/EDIPA T базируется на международном стандарте синтаксических правил (ISO 9735) и международном стандарте Справочника элементов торговых данных (ISO 7372). Он представляет собой набор принципов обмена информацией между промышленными предприятиями, экспортерами, снабженческими организациями, дистрибьюторами, розничными торговцами, брокерами, агентами, экспедиторами, перевозчиками, банками, страховыми компаниями, административными и правительственными организациями и институтами. Стандарт формирует однообразно построенные сообщения, которые базируются на международных стандартах, заменяет традиционные бумажные документы на электронные каталоги (файлы). Преимуществами использования стандарта UN/EDIFA T является ускорение информационных логистических потоков, адаптация к различным архитектурам ЭВМ и телекоммуникационным сетям и повышение на этой основе конкурентоспособности предприятий. [c.371]
Реклама не терпит многословия и усложненно-аморфных синтаксических оборотов, так как по своей природе должна быть динамичной (должна призывать к действию). Как правило, в текстовой рекламе преобладают простые предложения, способствующие повышению усвояемости рекламного обращения, усилению экспрессивности. Фразы более сложного синтаксического строения надо чередовать с простыми предложениями (из 3—4 слов). Краткий текст лучше воспринимается читателем [c.166]
Синтаксические правила Р используются для того, чтобы из базовых элементов строить такие их совокупности, которые в рамках данной формальной системы считаются синтаксически правильными совокупностями. На множество синтаксических правил нет особых ограничений. Требуется только наличие конструктивной процедуры л3, которая давала бы однозначный ответ на вопрос является ли данная совокупность базовых элементов синтаксически правильной или нет. [c.33]
Наконец, семантические правила П (по-другому они называются правилами вывода) расширяют, если это возможно, множество аксиом, добавляя к ним новые синтаксически правильные совокупности. Множество, получаемое после применения семантических правил к аксиомам, носит название множества семантически правильных совокупностей. [c.33]
На рис. 1.8 условно показан результат работы формальной системы, которая выступает как автономный генератор. Процедуры порождения множества синтаксически правильных совокупностей, основанные на произвольном применении правил Р, и процедуры порождения множества семантически правильных [c.33]
Пример 1.4. Вернемся снова к коробке детских кубиков, содержащей всего шесть кубиков. Каждый кубик есть базовый элемент. Легко убедиться, что существуют лх и я2, позволяющие отличать один кубик от другого (по несовпадающему рисунку хотя бы на одной грани двух сравниваемых кубиков) и отличать кубики из других наборов (например, по несовпадению концевых точек линий или границ между цветами на всех шести гранях данного кубика со всеми другими кубиками набора, если нет более простого признака типа другого размера кубика). Система синтаксических правил такова, что она считает синтаксически правильными любые совокупности кубиков, в которых все шесть кубиков выложены в виде прямоугольника 2x3 или 3x2. Ясно, что существует конструктивная процедура п3. Система аксиом совпадает с такой совокупностью кубиков, которая соответствует одной из приложенных к коробке картинок (эта картинка как бы фиксируется в виде начальной позиции). Правила П дают возможность получать из исходной картинки новые картинки (думаю, что читатели в детстве сами строили эти правила). И, наконец, ясно, что существует конструктивная процедура л4, ибо определение всех семантически правильных совокупностей содержится в наборе шести картинок, приложенных к набору. Следовательно, мы имеем дело с разрешимой формальной моделью. [c.34]
Эти правила позволяют для любой синтаксически правильной формулы исчисления высказываний приписать некоторое интерпретирующее значение. Нетрудно проверить, что всем аксиомам, перечисленным в примере 1.5, эти правила при любых интерпретациях входящих в них базовых элементов приписывают значение Истина . Семантические правила, приведенные в том же примере, не могут изменить значение формул, к которым они применяются. Таким образом, все формулы, которые выводятся из аксиом, также всегда имеют интерпретирующее значение Истина . Можно доказать, что аксиомы и правила вывода, приведенные нами, обладают свойством полноты в том смысле, что любая формула исчисления высказываний, которая имеет значение Истина , выводима из этого множества аксиом с помощью имеющихся семантических правил. А это означает, что исчисление высказываний, рассмотренное нами, является разрешимой формальной системой. Процедура л4 состоит в проверке того, что при любых интерпретациях базовых элементов проверяемой формулы она принимает значение Истина . Если это не так, то проверяемая формула не принад- [c.36]
Наконец, изменения синтаксических правил могут свидетельствовать, что язык описания ситуаций на объекте управления, полные знания о нем и процедурах управления оказался слишком бедным. В него необходимо ввести новые способы образования функций, отношений типовых сообщений. Функции такого из- рис. 1.9 менения выполняют правила ХР- Правила Хг добавляют в список исходных понятий, отношений или функций новые элементы или исключают из него те, которые оказались ненужными для целей управления. [c.39]