Sökning: "epistemic logic"

Visar resultat 6 - 10 av 10 uppsatser innehållade orden epistemic logic.

  1. 6. Epistemic Logic for the Multi-Agent Knowledge-Based Subset Construction

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Carl Åkerman Rydbeck; [2021]
    Nyckelord :;

    Sammanfattning : We study multi-agent games on graphs, in relation to the multi-agent knowledgebased subset construction (MKBSC) – a mathematical tool for knowledgebased strategy synthesis. We consider the problem of applying a formal logic related to agent knowledge in this context. LÄS MER

  3. 7. Evaluation of Epistemic Uncertainties in Probabilistic Risk Assessments : Philosophical Review of Epistemic Uncertainties in Probabilistic Risk Assessment Models Applied to Nuclear Power Plants - Fukushima Daiichi Accident as a Case Study

    Magister-uppsats, KTH/Filosofi

    Författare :Omed A. Rawandi; [2020]
    Nyckelord :Probabilistic Risk Assessment; PRA; Probabilistic Safety Assessment; PSA; Uncertainty; Epistemic Uncertainty;

    Sammanfattning : Safety and risk assessment are key priorities for nuclear power plants. Probabilistic risk assessment (PRA) is a method for quantitative evaluation of accident risk, in particular severe nuclear core damage and the associated release of radioactive materials into the environment. LÄS MER

  4. 8. State and Process Tomography : In Spekkens' Toy Model

    Master-uppsats, Linköpings universitet/Informationskodning

    Författare :Andreas Andersson; [2020]
    Nyckelord :Spekkens Toy Model; Quantum information; Tomography; Quantun Simulation Logic; Quantum computation;

    Sammanfattning : In 2004 Robert W. Spekkens introduced a toy theory designed to make a case for the epistemic view of quantum mechanics. But how does Spekkens’ toy model differ from quantum theory? While some differences are well-established, we attempt to approach this question from a tomographic point of view. LÄS MER

  5. 9. Otro Mundo es Posible - Transcultural Tongues and Times of Change

    Kandidat-uppsats, Lunds universitet/Statsvetenskapliga institutionen

    Författare :Clara Nepper Winther; [2018]
    Nyckelord :Emancipatory social change; time horizons; social movements; indigenous resistances; concrete utopias; system critique; participatory ethnography; neocolonialism; ontology of the possible; indeterminacy; Marichuy; CNI; CIG; EZLN; Zapatismo; Law and Political Science;

    Sammanfattning : In an era of economic globalization shaped by hegemonic capitalism, resistance movements introduce different alternatives for a life beyond capitalism. The powerful and dominant system logic criticizes such movements for being utopian dreamers with no pragmatic sense of plausible social change. LÄS MER

  7. 10. A Real-Time Extension of the Formal Privacy Policy Framework

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Ivana Kellyérová; [2017-04-10]
    Nyckelord :privacy policy; social network; epistemic logic; real-time logic; temporal logic; formal framework;

    Sammanfattning : Online social networks (OSNs) have become an important part of people’s lives worldwide. Although users supply OSNs with large amounts of personal data, the ability to control the audience of one’s own information is often limited to a number of predefined and often unclear options. LÄS MER