Difficulty Scaling in Proof of Work for Decentralized Problem Solving.
Pericles PhilippopoulosAlessandro RicottoneCarlos G. OliverPublished in: Ledger (2020)
Keyphrases
- cooperative
- information processing
- proof planning
- hierarchical problem solving
- multi agent
- artificial intelligence
- distributed problem solving
- concept formation
- theorem prover
- complex problem solving
- analogical reasoning
- distributed systems
- data sets
- solving problems
- peer to peer
- case based reasoning
- theorem proving
- knowledge structures
- explanation based learning
- engineering design
- distributed agents
- decision making
- linear logic
- database
- information retrieval
- information systems
- proof theory
- automated theorem proving
- case based reasoning systems
- learning environment
- scaling factors
- control knowledge
- cognitive model