Towards Modelling and Verification of Social Explainable AI.
Damian KurpiewskiWojciech JamrogaTeofil SidorukPublished in: ICAART (1) (2023)
Keyphrases
- artificial intelligence
- expert systems
- social interaction
- social networks
- social relationships
- case based reasoning
- model checking
- social context
- social media
- user generated
- planning systems
- social capital
- ai community
- data mining
- knowledge based systems
- intelligent systems
- knowledge representation
- website
- machine learning
- formal verification
- signature verification
- john mccarthy
- face verification
- collective intelligence
- learning community
- social networking