epistemic-logic

There are 2 repositories under epistemic-logic topic.

jrclogic / SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.
model-checking symbolic logic epistemic-logic haskell
Language:Haskell 39
hintikkasworld / hintikkasworld
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
logic logic-game modal-logic epistemic-logic dynamic-logics artificial-intelligence ijcai-18 agents
Language:TeX 12
sileod / llm-theory-of-mind
Testing Theory of Mind (ToM) in language models with epistemic logic
language-model theory-of-mind tom chatgpt gpt-4 llm epistemic-logic modal-logic epistemic-reasoning dataset natural-language-inference english natural-language natural-language-processing nli nlp pal social-reasoning public-announcement-logic muddy-children
Language:Python 12
sysulic / MEPK
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
epistemic-logic planner
Language:C++ 8
vezwork / modallogic
Epistemic Logic Playground
epistemic-logic epistemology interactive logic playground
Language:JavaScript 6
vittau / kripfy
A Kripke structure modelling framework
logic modal-logic epistemic-logic kripke-structure
Language:TypeScript 5
Guigui14460 / multi-agents-knowledge-based-programs-interpreter
Interprets multi-agent knowledge-based programs to solve puzzles like the Muddy Children Problem
interpreter knowledge-based-reasoning multi-agents symbolic-ai knowledge-based-program logic-raisonning epistemic-logic kripke-structure modal-logic dynamic-epistemic-logic university-of-caen
Language:Java 4
m4lvin / mchlpe
🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever
model-checking puzzle agent-types haskell epistemic-logic
Language:Haskell 4
deepshig / mastermind
Master mind Board Game implemented in Python
mastermind guesses players game artificial-intelligence epistemic-logic multiagent-systems multi-agent-systems multi-agent-simulation multi-agent-system common-knowledge pytests mlsolver modal-logic knowledge-base knowledgebase knowledge-management knowledge-based-systems
Language:Python 3
paulsilm / PDDLtoDEL
Repository for my Bachelor's thesis of converting PDDL descriptions to DEL.
pddl epistemic-logic translation haskell planning-algorithms
Language:Haskell 3
m4lvin / GoMoChe
🗣️📞 Gossip Model Checking
epistemic-logic model-checking haskell distributed-systems gossip protocol
Language:Haskell 2
sysulic / EPK
A complete epistemic planner without the epistemic closed world assumption
epistemic-logic planner
Language:C++ 2
Wehzie / 2021-lamas
2021 Project for Logical Aspects of Multi-Agent Systems
multi-agent-systems gofish epistemic-logic logic game game-development
2
Isabelle778 / LogicPhilosophyWorkspace
Um estudo sobre Filosofia da Lógica; Overview do método de Newton da Costa, Gödel, Morgan, Dummett, Frege, Leibniz, Peirce, Orman Quine, Ludwig Wittgenstein
epistemic-logic kripke doxastic deontic-logic epistemic temporal-logic modal-logic propositional-logic fuzzy-logic paraconsistent
1
lsickert / epistemic-cluedo
The game of Cluedo modeled in epistemic logic. This project is part of the course Logical Aspects of Multi-Agent Systems by the University of Groningen 2022
cluedo epistemic-logic game
Language:Python 1
mastermindML / mastermind
MASTERMIND agent creation for controlled agency using aGLM BDI and RAGE
aglm autonomous epistemic-logic epistemology general learning mastermind nonmonotonic agile-development augmentation intelligence
Language:Python 1
Twelvelines / MCCAL
Model Checker with Coalition Announcement Logic
model-checking modal-logic epistemic-logic multi-agent-systems coalition-announcement-logic antlr java
Language:Java 1
purbancz / PhD
Selected logical aspects of apophatic theology | The PhD thesis in philosophy written in 2022 (in Polish) under the supervision of Adam Olszewski.
analytic-philosophy epistemic-logic intuitionistic-logic language liar logic mereology negation negative order-theory paradox philosophy semantics set-theory theology
Language:TeX 0
RamonMeffert / epistemic-group-gossip
A project for the 2020–2021 AI master's course Logical Aspects of Multi-Agent Systems at the university of Groningen.
gossip haskell epistemic-logic
Language:Haskell 0