Towards Modelling and Verification of Social Explainable AI.
Damian KurpiewskiWojciech JamrogaTeofil SidorukPublished in: CoRR (2023)
Keyphrases
- artificial intelligence
- expert systems
- social networks
- social interaction
- ai systems
- model checking
- intelligent systems
- computational intelligence
- case based reasoning
- face verification
- learning community
- formal methods
- formal verification
- social media
- knowledge representation and reasoning
- social networking
- john mccarthy
- knowledge based systems
- machine intelligence
- data sets
- social relationships
- social web
- social behavior
- social capital
- knowledge representation
- machine learning
- ai technologies
- social responsibility
- data mining