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

Теория грамматических систем — это область теоретической информатики , которая изучает системы конечных наборов формальных грамматик, порождающих формальный язык . Каждая грамматика работает со строкой, так называемой последовательной формой , которая представляет среду. Таким образом, грамматические системы могут использоваться как формализация децентрализованных или распределенных систем агентов искусственного интеллекта . ^[1]

Позволять $\mathbb {A}$ быть простым реактивным агентом, движущимся по столу и пытающимся не упасть со стола с двумя реакциями: t для поворота и ƒ для движения вперед. Набор возможных вариантов поведения $\mathbb {A}$ тогда можно описать как формальный язык

\mathbb {L_{A}} =\{(f^{m}t^{n}f^{r})^{+}:1\leq m\leq k;1\leq n\leq \ell ;1\leq r\leq k\},

где ƒ можно выполнить максимально k раз, а t можно выполнить максимально ℓ раз, учитывая размеры стола. ^[2]

Позволять $\mathbb {G_{A}}$ быть формальной грамматикой ^{[ объяснить ]} который порождает язык $\mathbb {L_{A}}$ . Поведение $\mathbb {A}$ затем описывается этой грамматикой. ^{[ нужны разъяснения ]} Предположим, $\mathbb {A}$ имеет архитектуру включения ; каждый компонент этой архитектуры также может быть затем представлен как формальная грамматика, и окончательное поведение агента затем описывается этой системой грамматик . ^{[ нужны разъяснения ]}

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

Если грамматики взаимодействуют вместе и работают в общей последовательной форме, это называется грамматической системой Cooperating Distributed (DC) . Общая последовательная форма — это концепция, аналогичная подходу «доски» в ИИ . ^[1] который вдохновлен идеей, что эксперты вместе решают какую-то проблему, делясь своими предложениями и идеями на общей доске.

Каждая грамматика в грамматической системе также может работать со своей собственной строкой и взаимодействовать с другими грамматиками в системе, отправляя их последовательные формы по запросу. Такая грамматическая система тогда называется грамматической системой параллельного общения (ПК) . ^[1]

ПК и DC вдохновлены распределенным искусственным интеллектом. Если между грамматиками нет связи, система близка к децентрализованным подходам в ИИ. Подобные грамматические системы иногда называют колониями или эко-грамматическими системами, в зависимости (помимо прочего) от того, меняется ли окружающая среда сама по себе (эко-грамматическая система) или нет (колонии). ^[1]

См. также

Ссылки

^ Jump up to: ^а ^б ^с ^д Юдит Чима (2002). Исследования простых экограмматических систем (кандидатская диссертация). Университет Этвеша Лоранда .
^ Йирку, Петр; Келемен, Йозеф (1996). Главы когнитивной науки (на чешском языке). Экономический университет, Прага . ISBN 80-7079-787-8 .

[gramsysdis-1] Jump up to: ^а ^б ^с ^д Юдит Чима (2002). Исследования простых экограмматических систем (кандидатская диссертация). Университет Этвеша Лоранда .

[kelemenjirku1996-2] Йирку, Петр; Келемен, Йозеф (1996). Главы когнитивной науки (на чешском языке). Экономический университет, Прага . ISBN 80-7079-787-8 .

[1]

[2]