erohkohl/mlsolver
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
This tool helps researchers and logicians model how different agents in a system understand and interact with information. You provide descriptions of possible 'worlds' and how agents perceive them, and the tool helps you analyze what agents know or believe based on specific logical statements. It's designed for anyone studying multi-agent systems, knowledge representation, or the logic of information.
No commits in the last 6 months.
Use this if you need to formally describe the knowledge base of a multi-agent system and evaluate what agents know or can infer after an announcement.
Not ideal if you are primarily looking for a general-purpose graph database or a tool for numerical simulations, as its focus is on symbolic logic and knowledge states.
Stars
66
Forks
12
Language
Python
License
—
Category
Last pushed
Oct 14, 2017
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/agents/erohkohl/mlsolver"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Related agents
binghe/OSCAR
The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent
rios0rios0/mais
Multi Agent Intelligent System implemented in Java 7. Distributed AI and industrial automation...
CarsonScott/Automated-Logical-Systems
Distributed constraint satisfaction with recursive message-passing agents
berlinbrown/Squirm3ArtificialChemistry
Artificial Chemistry Examples based on Tim Hutton's work
gladir/VIE
Commande écrit en Pascal d'aide à l'Intelligence artificielle