Formal Model of Trustworthy Artificial Intelligence Based on Standardization.
Eduard ManziukOlexander BarmakIurii KrakOlexander MazuretsTetiana SkrypnykPublished in: IntelITSIS (2021)
Keyphrases
- formal model
- artificial intelligence
- intelligent systems
- case based reasoning
- machine learning
- security properties
- formal models
- ai methods
- computational intelligence
- intelligent agents
- expert systems
- knowledge representation
- knowledge based systems
- predicate calculus
- ai systems
- ai technologies
- probabilistic knowledge
- knowledge representation and reasoning
- cognitive psychology
- formal methods
- cognitive science
- ambient intelligence
- software engineering
- computer science