智能决策支持软件
AOS提供了一些开发自主系统的产品。JACK@
JACK@应用程序由一系列自主的代理集合组成，这些代理在环境中获得输入，并与其他代理进行交互。这为系统开发者提供了强大的封装形式。每个代理由其目标、知识和社会能力所定义，并在封装的环境中自主的执行它的功能。这是一种开发动态和复杂环境程序的有效方法。每个代理负责实现各自的目标，对事件作出反应并在系统中与其他代理进行交互。没有必要去明确地为整个系统的相互作用进行编程，更确切的说，这种相互作用是作为这些代理单独的目标和能力的副产品形式产生的。
JACK是开发、运行和整合商业级别多代理系统的一种成熟的跨平台的环境。它建立在完全的符合逻辑的基础上：BDI（信念\欲望\意向）。BDI是一种直观的、非常有作用的抽象概念，这种抽象允许开发者应对问题的复杂性。在JACK中，代理是由它们的信念（它们知道什么和它们知道如何做什么），它们的欲望（它们想达到什么目标），和它们的意向（当前它们积极获取的目标）。
由于完全用javaTM语言编译，JACK非常便捷，能在任何环境——从掌上电脑（PDAs）到高端的多CPU服务器——下运行。它的Java基础意味着JACK可以通过多个CUP进行多线程运行，拥有独立于平台的用户界面，并且很容易与第三方程序库进行整合。
关键属性：
轻便高效的跨平台基础
低资源要求，设计用来在低端硬件上处理数百个代理
透明的代理间的交互
图形化的代理开发工具
JACKTeamsTM
JACKTeamsTM支持自主团队的定义。每个团队作为带着来自它组成的代理的不同信念的实体存在。这支持很广泛的团队算法并且允许社会关系和不同组内成员协作的代表。
这个团队扩展提供了面向团队的建模构架。面向团队的编程是在多代理系统中的工程小组行动的直观的典范。面向团队的编程在概念上非常强大，因为它允许软件工程师来具体化程序：
团队能够做什么
成立一个特别类型的团队需要哪些组成部分；
团队是否愿意在其他团队中承担特别的角色；
在团队成员中协调的行为；和团队知识
C-BDITM
C-BDITM实现了能够对行动进行合适推理的BDI（信念/欲望/意向）模型——这个模型常常指的是智能软件代理或者BDI代理。C-BDITM为自主系统和交通工具市场而设计。这个市场要求产品具有适当发展和安全标准的证明文件。AOS现存JACK@产品用JavaTM编写，因而，目前来说不能成为这样的证明系统的一部分。在C-BDI中的“C”代表可证明的。
初始的试样版本已经用C编程语言通过AOS开发出来，并且正在被关键用户评估。C-BDI系统正在用Ada语言开发，来保证它能符合要求的自主和安全重要系统的标准。
为什么自主系统开发工程师对C-BDI和它基本的智能软件代理概念感兴趣？
允许软件的抽象概念水平升级，从面向过程的变成到面向代理的变成。
提供一种更自然地对不同理性实体间关系建模的方法
使在证明文件系统中引进决策支持能力更加划算
基于已经被航空航天业接受的Ada语言
利用已被证明的编译程序
用Ada编程语言实现BDI（信念/欲望/意向）模型
将在主要实时操作系统中运行，例如Greenhill Integrity，WindRiver VxWorks，QNX和RT-Linux
C-BDI将在2011年上市。
CoJACKTM
CoJACKTM是一种有认知能力的结构，用来给人类行为多样化建模。它在仿真系统中使用，来支持真实的行动者。
CoJACK给人类认知系统的结构属性建模。像这样，它限制了这个能只通过允许合适它结构界限的模型的定义来实现的模型。这提供了一个有意义的条件，特别是方法来给人类行为建模：作为认知理论，CoJACK提供一个原则性的能测试的架构来实现真实的行动者。
智能决策支持软件
真的额啊 ～～～
页:
[1]