AIAI Projects and Applications

Collaborative Research Programmes | Applied Research Projects | Standards Activities

AUSDA - Analysis and unification of software development approaches
Funding: DTI JFIT Safety Critical Programme IED4/1/9318
Collaborators: Loughborough University of Technology
Industrial sponsors: British Gas, Civil Aviation Authority, HSE, Rolls-Royce & Associates, Wessex Water
Task: Analysis - assessment; Synthesis - modelling
Techniques: knowledge aquisition, systems modelling, knowledge based techniques
Enterprise - Enterprise modelling and integration
Funding: DTI ISIP Programme
Collaborators: IBM, Lloyd's Register, Unilever
Task: Synthesis - modelling
Techniques: process modelling, agents, ontologies
Euroknowledge - Knowledge sharing standards
Funding: ESPRIT P9806
Collaborators: ILOG, Cap Gemini Innovation, DTK, CISE, DEC, Coventry University, Swiss Bank Group, AI Intelligence
Task: Synthesis - modelling
Techniques: knowledge representation, ontologies
HARDY - a customisable, hypertext diagramming tool
Funding: AIAI, Hitachi Europe Ltd
Collaborators: none
Task: Synthesis - modelling
Techniques: hypertext, rule base
HPKB - European Knowledge Engineering Methods
Funding: US DARPA High Performance Knowledge Bases Program
Collaborators:
Task: modelling
Techniques: knowlege acquisition, CommonKADS, tool support
ISAT - Air campaign modelling and toolkit
Funding: DARPA Rome Laboratory Planning Initiative (ARPI)
Collaborators: ISX Corporation
Task: Synthesis - modelling
Techniques: process modelling, knowledge modelling, domain modelling, ontologies
O-Plan - exploring issues of co-ordinated command, planning and control
Funding: US DARPA Rome Laboratory Knowledge Based Planning & Scheduling Initiative
Collaborators:
Task: Synthesis - planning
Techniques: knowledge based techniques, ontologies, process modelling
PLINTH - support for authors and readers of technical documents
Funding: SERC GR/J59197 and the Scottish Office
Collaborators: originally Leeds University, EdCAAD, Queens University Belfast and the Scottish Office
Task: Synthesis - modelling
Techniques: semantic nets, hypertext, rule based
SDBA - a mediator between databases and the user
Funding: PSTI, Amoco, Conoco, UK Offshore Supplies Office
Collaborators: Simon Petroleum Technology
Task: Synthesis - modelling
Techniques: domain modelling, uncertainty
TBPM - task-based process management
Funding: EPSRC Systems Engineering for Business Process Change Programme GR/L42179
Collaborators: Loughborough University of Technology
Industrial sponsors: British Gas, ICI, Unilever
Task: Synthesis - modelling
Techniques: process modelling, agents, ontologies, co-ordination technologies
TOPKAT - knowledge acquisition toolkit
Funding: AIAI
Collaborators:
Task: Synthesis - modelling
Techniques: knowledge elicitation, hypertext, rule based, CommonKADS

Applied Research Projects

British Aerospace: EUMETSAT
Application: Aerospace - Mission planning and Scheduling
Task: Synthesis - planning & scheduling
Techniques: Constraint satisfaction
British Aerospace: Ghostwriter
Application: Aerospace - production of technical documentation
Task: Synthesis - planning & modelling
Techniques: natural language generation,
DRA Farnborough: Search & Rescue
Application: Military & Defence - Helicopter search and rescue operations
Task: Synthesis - planning & scheduling
Techniques: Knowledge elicitation, knowledge modelling, constraint satisfaction
AEA Technology, Exxon, HSE, Shell, Texaco: EGRESS
Application: Oil - safety of personnel in emergency situations
Task: Synthesis - modelling
Techniques: knowledge elicitation, behaviour modelling
European Space Agency: Optimum-AIV
Application: Aerospace - spacecraft assembly, integration and test
Task: Synthesis - planning & scheduling
Techniques: knowledge based techniques
Health & Safety Executive: Ease for Windows
Application: Public Sector - exposure to hazardous substances
Task: Analysis - assessment
Techniques: Knowledge elicitation, knowledge engineering, CommonKADS
Hitachi: TOSCA
Application: Engineering - job shop scheduling
Task: Synthesis - scheduling
Techniques: Constraint satisfaction
Pindar: Formation
Application: Publishing - layout of directories and catalogues
Task: Synthesis - configuration
Techniques: Knowledge based layout, domain specific language
PSTI, Enterprise, Shell, Amoco, Bow Valley, Elf-Enterprise: SPIRIT
Application: Oil - well test interpretation
Task: Analysis
Techniques: Knowledge based techniques
RAF Logistics Command: Expert Provisioner
Application: Procurement Decision Support Tool
Task: Analysis
Techniques: Knowledge based techniques

Standards Activities

NIST PSL - National Institute of Standards and Technology - Process Specification
PIF - Process Interchange Format Standards
SPAR - Shared Planning and Activity Representation
WfMC - Workflow Management Coalition