语法系统理论

语法系统理论是理论计算机科学的一个领域，研究生成形式语言的形式语法有限集合的系统。每个语法都在一个字符串上工作，一个所谓的顺序形式，代表一个环境。因此，语法系统可以作为人工智能中分散的或分布式的代理系统的形式化。{displaystyle`mathbb{A}}的语法。}有一个subsumption架构；那么这个架构的每个组成部分也可以表示为一个形式化的语法，然后代理人的最终行为就由这个语法系统来描述。右边的模式描述了这样一个语法系统，它共享一个代表环境的共同字符串。共享的顺序形式由每个语法依次改写，它可以代表一个组件，也可以一般代表一个代理。

如果语法在一起交流并在一个共享的顺序形式上工作，它就被称为合作分布式（DC）语法系统。共享顺序形式是一个类似于人工智能中的黑板方法的概念，它的灵感来自于专家们一起解决一些问题的想法，同时他们在一个共享的黑板上分享他们的建议和想法。语法系统中的每个语法也可以在自己的字符串上工作，并通过按要求发送它们的顺序形式与系统中的其他语法沟通。这样的语法系统就被称为平行通信（PC）语法系统。PC和DC是受分布式人工智能的启发。如果语法之间没有通信，该系统就接近于人工智能中的分散式方法。这类语法系统有时被称为殖民地或生态语法系统，这取决于（除此之外）环境是否在自行变化（生态语法系统）或不变化。