A Proof of Useful Work for Artificial Intelligence on the Blockchain.
Andrei LihuJincheng DuIgor BarjaktarevicPatrick GerzanicsMark HarvillaPublished in: CoRR (2020)
Keyphrases
- artificial intelligence
- expert systems
- intelligent systems
- ai methods
- theorem prover
- case based reasoning
- software engineering
- natural language processing
- theorem proving
- knowledge representation
- cognitive science
- intelligent agents
- ambient intelligence
- science fiction
- database
- engineering design
- information systems
- information processing
- computational intelligence
- fuzzy logic
- evolutionary algorithm
- website
- automated theorem proving