AIAI Projects and Applications


Collaborative Research Programmes | Applied Research Projects | Standards Activities


Collaborative Research Programmes

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


Index | About AIAI | People | Projects | Technologies | Working with AIAI | Publications | Clients