|
|
|
|
|
|
|
|
|
Грамматика формальная
| Глоссарий по искусственному интеллекту |
Четверка , в которой s - аксиома г.ф.; a - множество нетерминальных символов; b - множество терминальных символов; p - правила вывода. объектами, с которыми работает г.ф., являются цепочки, состоящие из терминальных и нетерминальных символов. правила вывода имеют вид, где и цепочки символов. при этом содержит хотя бы один нетерминальный символ. функционирование г.ф. всегда начинается с цепочки, состоящей из единственного символа s. применение правила к цепочке заключается в замене всех вхождений (или только самого левого вхождения) в на . процесс заканчивается, когда ни одно из правил вывода к данной цепочке неприменимо. такие заключительные цепочки входят в язык, порождаемый данной г.ф. в синтаксически правильных г.ф. в язык входят только те цепочки, которые состоят полностью из терминальных символов. г.ф. широко используются в синтаксических моделях для естественных языков и в лингвистических процессорах. они являются частным случаем формальных систем. в зависимости от ограничений, накладываемых на структуру правил вывода, выделяются различные типы г.ф.
|
|
Грамматик, русский
Грамматика, русский
- (греч . grammatike, от gramma - буква, написание), 1) строй языка, т. е. система языковых форм, способов словопроизводства, синтаксических конструкций, образующих основу для языкового общения. 2) раздел языкознания, изучающий строй языка, его законы. грамматика объединяет словообразование, морфологию и синтаксис.
- Совокупность правил формирования правильных предложений в рамках рассматриваемого языка.
Грамматика, казахский
Лингв
Грамматика автоматная, русский
Формальная грамматика, у которой правила вывода имеют вид
Грамматика без контекстуальных ограничений, русский
Грамматика контекстно-связанная, русский
Формальная грамматика, для которой существуют такие цепочки что и имеют место правила и к.с. обладают свойством сохранения длины цепочки. цепочки, получаемые после применения любого правила, либо сохраняют длину исходной цепочки, либо увеличивают ее. г.к.с. порождаются линейно-ограниченными автоматами. и для каждой г.к.с. может быть построен воспроизводящий ее линейно-ограниченный автомат.
Грамматика матричная, русский
Формальная грамматика, у которой в качестве правил вывода выступают фиксированные по порядку применения совокупности правил вывода обычных грамматик. эти совокупности, называемые матричными правилами вывода, могут пересекаться между собой по общим правилам вывода, входящим в матричные правила вывода. г.м. используются при описании параллельных процессов и языков программирования для устройств, обеспечивающих параллельное выполнение программ.
Грамматика падежная, русский
Грамматика предикатно-аргументной структуры предложения. аргументами такой структуры являются имена, для которых можно указать глубинные падежи (обобщенные отношения между содержанием глагола и содержанием той или иной из именных групп).
Грамматика пор-рояля, русский
«всеобщая и рациональная грамматика пор-рояля» (1660 г.), авторами которой являются антуан арно и клод лансло, содержащая целостную лингвистическую концепцию, в основу которой были положены общие принципы порождения речи
Грамматика с контекстуальными ограничениями, русский
Грамматика сетевая, русский
Грамматика расширенных сетей переходов - подкласс трансформационных грамматик. в настоящее время под г.с. понимается упорядоченная тройка fs = < v,z n >, где v - описание лексиконов обрабатываемого языка; z - описание нестандартных функций, повышающих эффективность обработки; n - описание расширенной сети переходов (специального графа, с помощью которого представляется анализатор языка).
Грамматикалану, казахский
Лингв, грамматикализация
Формальная грамматика, русский
Формальная логика, русский
, см. логика.
Формальная модель политики безопасности, русский
Модель политики безопасности, выраженная точным, возможно математическим образом, включающим начальное состояние системы, способы перехода системы из одного состояния в другое и определение "безопасного" состояния системы. еще - математически строгое описание политики безопасности. подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. чтобы быть принятой как основа двб (tcb), модель должна содержать формальное доказательство следующих положений: начальное состояние системы является безопасным; если все условия безопасности, определяемые моделью, выполнены, то все последующие состояния системы также будут безопасными. примером формальной модели является модель белла-лападула. функциональные требования (спецификации функций безопасности) - подмножество функций ис, относящихся к обеспечению зи. 79 функция скорость-погрешность [ratedistortion function] – часто переводится как энтропия. зависимость предельной скорости кодирования источника с критерием верности ("coding with fidely criterion") от погрешности воспроизведения сообщений.
Формальная речь, русский
Формальная система, русский
Формальная экспертиза заявки, русский
Экспертиза заявки, проводимая патентным ведомством на наличие в ней необходимых документов, соблюдение установленных требований к ним и отнесение заявленного предложения к объектам, котор
Формально обязанный, русский
Формальное отношение, русский
Функционирование, русский
Начинается, русский
Применение, русский
Применение , в применении
Неприменимо, русский
Зависимости, русский
1. разновидность параметрического проектирования. 2. правила, определяющие положение, наклон, касательность, размеры и отношения между объектами в геометрии
|
Шкала осгуда, русский
Шкала, использующая пары слов-антонимов (острый - тупой, хороший - плохой и т. п.), стоящие на концах шкалы. средняя позиция шкалы является нейтральной. кроме того, имеется еще несколько промежуточных делений, как правило, не обозначаемых никакими словами. ш.о. используется в психологических экспериментах, связанных с выявлением особенностей индивидуального психосемантического пространства испытуемых. (см. также пространство осгуда.)
Система объяснения, русский
Часть экспертной системы, предназначенная для разъяснения пользователю по его просьбе способа, которым получено решение. с.о. дает ответы на вопросы трех типов. "как-вопросы" заставляют систему объяснять путь решения. "почему-вопросы" вызывают у с.о. необходимость в пояснении, почему получено именно это решение, а не какое либо другое. "что-вопросы" требуют от с.о. выдачи всей имеющейся в экспертной системе информации относительно объекта или явления, к которому относится "что-вопрос". для ответов на подобные вопросы в с.о. имеется набор специальных процедур и рабочая память, в которой в процессе поиска решения формируется информация, необходимая для ответа на вопросы пользователя. с с.о. связана система доверия, увеличивающая объяснительную силу экспертной системы.
|
|
|
|
|
|
|
