---
# System prepended metadata

title: meeting 2022-11-17

---

# 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