# meeting 2022-11-17
- vervolg op [[meeting 2022-11-10]]
- onafgewerkte todo's van vorige
- [ ] level 0 in mensentaal schrijven
- [ ] voortgangsraport beginnen
- vooral skelet schrijven
- [ ] kijken naar rule engines
- [ ] regels van simpelste spel uitwerken in een regeltaal
- volledig open kaarten
- nieuwe todo's
- [ ] beslis tussen state sync of consensus management
- wat in het voortgangsrapport?
- overview in verhaaltje zetten
- vragen om te beantwoorden
1. Probleemstelling: wat is de wetenschappelijke vraag en hoe wil je dit aanpakken
- wat?
- decentraal
- solid (persistence)
- Linked Data Notifications (messaging system)
- verifiable
- rules
- consensus
- verifiable credentials?
- hoe?
- decentraal
- evaluating messaging systems in current SOTA
- Using persistent Web storage (Solid)
- (what are storage requirements)
- evaluating usefullness of techniques such as blockchain
- verifiable
- Using shared rulesets to verify (eventual) consistency
- Providing dynamic rule language to model different setups (games)
- Managing user consensus in the system
- where do we need stuff such as verifiable credentials / blockchain?
- trust in the system (where are the areas of trust in such a system)
2. Wat is de "state-of-the-art", m.a.w. welke technieken worden hier momenteel voor gebruikt
- Storage
- Web, decentalized, auth, (RDF - generic info)
- Messaging
- decentralized networks, sync state between all agents
- Rules
- internal game logic? - generic rule languages / modelling - dynamic game states / ... - RDF + surfaces
- Verifiable data (vc, blockchain, ...)
- Verifiable credentials
- digital signatures
3. Doelstelling: hoe zal je thesis nieuwe kennis opleveren ?
- Consensus in a decentralized network based on different rulesets
- consensus management in decentralized network
- rulesets can change between different executions
- single execution with dynamic state
4. Eventueel al de eerste resultaten
- ontology
- spelverloop (theoretical outline)
5. Planning voor het tweede semester
- IMPLEMENTATION
- thesis schrijven

## Work Packages (moet van Dexa, verplicht! heel professioneel*)
- Persistence - **surface level**
- Hoe sla ik mijn data op zodat het beschikbaar is voor het netwerk
- Solid
- Data / resource modeling (ontology)
- RDF

- State sync
- Linked Data Notifications (messaging)
- State modeling (ontology)
- Acknowledgements of state updates
- Hoe ga je door naar volgende beurt - literature reserach

- Consensus management
- Linked Data Notifications (messaging)
- Rules modelling - literature, rdf + surfaces
- Rule execution ([EYE reasoner](https://github.com/josd/eye) / other reasoner?)
- Consensus over state according to rules
- log what goes wrong and pass to other players?
- Eventual consistency
- Hindsight processing

- Data veriability - **skip or surface level**
- Digital signature and Verifiable credentials
- Blockchain
- Dealer card distribution process
- Check played cards are correct