安娜·齐安波里尼;伊芙琳娜·拉姆;塞萨尔·斯特凡内利;保罗·梅洛 通过多标题子句实现基于黑板和对象的系统。 (英语) Zbl 0888.68030号 计算。Artif公司。因特尔。 16,第4期,401-423(1997). 摘要:本文提出了一种支持和集成基于黑板和对象的多代理模型的分布式体系结构。该体系结构基于具有多标题子句、提交选择行为和受限and并行性的并发逻辑语言。基于黑板的应用程序被映射到一组多头子句中,这些子句表示通过公共(可能是分布式)工作内存进行通信的逻辑代理。对象是进程的簇,对象的状态由逻辑变量表示,对象之间的消息传递通过多头子句进行,继承作为子句的并集获得。由于底层并发语言的并行性,我们获得了一个高度利用并行性的分布式实现。 MSC公司: 68N17号 逻辑编程 68甲15 编程语言理论 68层35 人工智能语言和软件系统理论(基于知识的系统、专家系统等) 关键词:并行编程语言;知识库;并发逻辑语言;多标题子句 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciampolini}等人,计算。Artif公司。智力。16,第4号,401--423(1997;Zbl 0888.68030)