澳大利亚人工智能研究所（AAII）是一家由政府资助的研究与开发实验室，位于维多利亚州墨尔本，自1988年运营至1999年。其主要研究重点是探索人工智能并将其商业化，特别侧重于智能软件代理。该研究所开发了多个著名的软件系统，包括过程推理系统（PRS）、分布式多代理推理系统（dMARS）以及智能全空任务模型（SWARMM）。
历史
AAII于1988年作为霍克政府的一项倡议成立，得到了Computer Power Group、SRI International和维多利亚州政府的支持。创始主任是Michael Georgeff，他来自SRI International，带来了PRS的经验和对智能代理的愿景。该研究所最初位于墨尔本郊区的Carlton，后来迁至市中心更大的办公场所，占据了Latrobe街和Russell街拐角处一栋办公楼的两层。在其鼎盛时期，AAII雇佣了超过40名员工。
在20世纪90年代末，该研究所分拆出Agentis International（后更名为Agentis Business Solutions）以将其开发的技术商业化。此外，几位前员工成立了Agent Oriented Software（AOS）以推进代理技术，开发了JACK智能代理。AAII于1999年关闭，剩余员工和知识产权被转移至Agentis International。
项目
AAII参与了多种软件和商业项目。过程推理系统（PRS）是与SRI International合作开发并应用的。分布式多代理推理系统（dMARS）是一个面向代理的开发与实现环境，用于构建复杂、分布式、时间关键的系统，作为PRS的C++扩展开发。智能全空任务模型（SWARMM）是一个面向代理的仿真系统，与国防科学技术组织（DSTO）的空中作战部门（AOD）合作开发。
使用智能调度实现最优飞机排序（OASIS）系统是一个用PRS编写的空中交通管理系统，用于估算飞机到达时间、确定最优着陆顺序，并提醒操作员采取必要行动。它旨在减少拥堵并最大化跑道利用率。为悉尼机场开发的原型系统HORIZON使用了dMARS。为Optus构建的单点接触（SPOC）系统，基于dMARS的多层架构，帮助客户服务代表实现以单点接触解决98%客户查询的目标。
技术说明
在其存续期间，AAII发布了超过75份公开技术说明。著名示例包括Anand S. Rao和Michael P. Georgeff的《线性时间与分支时间意图逻辑中的不对称论题与副作用问题》（AAII技术说明13，1991年）、《在BDI架构中建模理性代理》（技术说明14，1991年）以及《智能实时网络管理》（技术说明15，1991年）。Michael P. Georgeff撰写了《情境推理与理性行为》（AAII技术报告21，1991年）。Rao和Georgeff还发表了《BDI代理：从理论到实践》（AAII技术报告56，1995年），该文成为信念-愿望-意图软件模型领域中广泛引用的作品。
遗产
AAII对智能代理和信念-愿望-意图（BDI）架构的发展做出了重要贡献，影响了后续的研究和商业应用。其在过程推理系统和多代理系统方面的工作为后来的技术奠定了基础。该研究所于1999年关闭，标志着一个时代的结束，但其知识产权和人员通过分拆公司得以延续，确保了其研究方向的持续发展。
参见
- 分布式多代理推理系统
- 信念-愿望-意图
- 过程推理系统