XAI Specification Frameworks: From Natural Language to Formal Explainability Requirements

Key Points

• The aim is to develop structured frameworks for explainability in AI, translating informal language into formal requirements.
• Analysis of existing XAI specification frameworks
• Development of a transition model from natural language to formal specifications
• Evaluation of frameworks for clarity and applicability
• Identified key elements for effective explainability frameworks
• Proposed models enhance the clarity of formal requirements
• Frameworks facilitate better understanding and implementation of explainable AI