AIAI Seminar - Monday, 6 November 2023 - Talk by Dave Robertson

Speaker:      Dave Robertson

Title:              Requirements Specification for AI Systems

Abstract: 

Regulation of AI has become a national and global issue.  The speed of progress, particularly in inductive systems, has spurred governments into action (with the UK’s AI Safety Summit taking place the week before this seminar).  Governments are drafting policy and guidance, and we can look forward to robust debate on ethics and hazards of emerging technologies.  However, for people assembling systems with AI components, there is very little advice on the sort of requirements specification that might support a case for procurement and deployment of a complex, AI-based system.  I will discuss the scope for formal requirements specification in this area, as an overlay to conventional requirements specification, and discuss the relationship between this and informal requirements specification.