Gödel‘s incompleteness theorem tells that the power of AI systems is limited The power of AI domains depends on bias mitigation that influences the computational tractability 1 AI domain: Training sample for a NN Training sample may contain syntactic and semantic bias
New features are represented as integrity contraints
Semantic bias mitigation and new features and their reformulation as integrity contraints