Trustworthy AI and the Logics of Intersectional Resistance.
Bran KnowlesJasmine FledderjohannJohn T. RichardsKush R. VarshneyPublished in: FAccT (2023)
Keyphrases
- artificial intelligence
- expressive power
- modal logic
- ai systems
- intelligent systems
- inference rules
- case based reasoning
- neural network
- artificial intelligent
- ai community
- knowledge representation and reasoning
- knowledge based systems
- computational intelligence
- knowledge representation
- expert systems
- theorem prover
- lecture notes in artificial intelligence
- proof theory
- propositional dynamic logic
- human intelligence
- information systems
- ai methods
- machine learning
- real time
- propositional calculus