Undermining Mental Proof: How AI Can Make Cooperation Harder by Making Thinking Easier.
Zachary WojtowiczSimon DeDeoPublished in: CoRR (2024)
Keyphrases
- artificial intelligence
- cooperative
- human intelligence
- np complete
- knowledge representation
- expert systems
- neural network
- knowledge representation and reasoning
- ai systems
- computational intelligence
- ai community
- artificial intelligent
- case based reasoning
- intelligent systems
- first order logic
- theorem prover
- information exchange
- lower bound
- john mccarthy