有没有一种面向描述智能体之间交互的编程语言？

Question

我想创建不同类型的进程，在这些进程中，代理之间进行交互。我想用一种特殊的语言来描述(定义，形式化)智能体之间的交互过程。换句话说，我想提供一个环境，在这个环境中，agents可以以某种方式相互作用，我想使用一种适合于这种方式的编程语言来描述交互方式。有这样的语言吗？

更具体地说，我们可以将代理视为网站的用户。网站的发展依赖于用户的行动(用户有一定的行动自由)。用户可以做什么以及作为他们的操作的结果发生了什么，应该用语言来描述。

Answer 1

通常，可能的操作集是通过接口中的方法固定的。您的意思是，在不同的时间，根据前面的操作，只应启用某些操作(如在执行任何其他操作之前必须登录)？

在这种情况下，您可以将其建模为组件(用户和系统)，相互通信，并通过状态机或序列图对交互进行建模。如果这就是你想要的，那么一个实际的实现可能就像将状态机编码成Java一样简单。

或者，您可能想看看工作流框架。但我认为您需要更多地阐明您的需求。

或者，您的意思是用户甚至可以引入新的操作？

Answer 2

Erlang是一个显而易见的答案，请参阅this 2004 paper或Autonomous Agents上的Wikibook文章等论文。

如果您喜欢在.Net环境中工作，那么especially .Net 4,可以认真研究一下Windows Workflow Foundation。上一代(2006)有一个有趣的paper on scaling and performance characteristics。