Formal Specification of Performance Metrics for Intelligent Systems