Topic: "multi-modal-logic"
erohkohl/mlsolver
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
Language: Python - Size: 3.54 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 52 - Forks: 10
PluralityNET/Project.GodAndAdam.Distributed Fork of openmindproject/Project.GodAndAdam.Distributed
New shape for my old GOD_AND_ADAM system
Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 2
Related Topics
artificial-intelligence
2
tableau-calculus
1
multi-agent-systems
1
modal-logic
1
kripke-structure
1
knowledge-based-systems
1
symbolic-artificial-intelligence
1
symbolic-ai
1
symbolic
1
pluralitynet
1
multi-type-valued-logic-statements
1
multi-modal-logics
1
multi-modal
1
logics
1
logic
1
hypothesis-testing
1
hypothesis-and-selection
1
hypotheses
1
axiom-hypothesis
1
axiom-hypotheses
1
all-inclusive-approach
1
all-inclusive
1
ai-forecasting-and-planning
1
ai
1