erohkohl/mlsolver

Issues

• Documentation

  #30 opened 2 years ago by decadenza
  0

• License ?

  #29 opened 4 years ago by suprafun
  0

• Replace box, diamond, and, or UTF-8 chars in __repr__()

  #28 opened 7 years ago by erohkohl
  1

• Tableau calculus: construct Kripke structure from modal logic formula.

  #21 opened 7 years ago by erohkohl
  0

• Print tableau with module in ./scripts directory.

  #22 opened 7 years ago by erohkohl
  0

• Add tableau rules and example to README.md.

  #23 opened 7 years ago by erohkohl
  0

• tableau.py return minimal Kripke Structure, that solves modal logic formula

  #26 opened 7 years ago by erohkohl
  0

• formula.py: implement commutative property in __eq__() for And- and Or-operator.

  #25 opened 7 years ago by erohkohl
  0

• Refactor code style, remove empty line and add module comment.

  #24 opened 7 years ago by erohkohl
  0

• Modelling example with three wise men.

  #2 opened 7 years ago by erohkohl
  0

• Add box_all (star) operator and apply it to example.

  #14 opened 7 years ago by erohkohl
  0

• Implement semantic of Diamond_a operator.

  #15 opened 7 years ago by erohkohl
  0

• Add reflexive edges to nodes in networkx's graph.

  #13 opened 7 years ago by erohkohl
  0

• Add border to nodes of networkx's graph.

  #12 opened 7 years ago by erohkohl
  0

• Plot graphs with Framework.

  #8 opened 7 years ago by erohkohl
  1

• And, Or operator with *agrs and multiple length.

  #20 opened 7 years ago by erohkohl
  0

• Replace models knowledge base with list or set.

  #19 opened 7 years ago by erohkohl
  0

• Remove minimum number of worlds from ks, thus formula is satisfiable in all worlds.

  #18 opened 7 years ago by erohkohl
  0

• Determine power set of all worlds.

  #17 opened 7 years ago by erohkohl
  0

• Add abstract base class LogicOperation and subclass Atom, Box,....

  #16 opened 7 years ago by erohkohl
  1

• Check integration of custom Box and Diamond operators in SymPy.

  #7 opened 7 years ago by erohkohl
  0

• Add Box_a and it's semantics to formula.

  #11 opened 7 years ago by erohkohl
  0

• Wirte setup.py to run test suite in travis ci and get coverage report.

  #3 opened 7 years ago by erohkohl
  0

• Replace {('p', False)} with Dictionary.

  #10 opened 7 years ago by erohkohl
  0

• Divide test cases into multiple modules.

  #9 opened 7 years ago by erohkohl
  0

• Modelling Diamond operator.

  #6 opened 7 years ago by erohkohl
  0

• Semantic: phi = Box p over KS( W = {1, 2}, V(1)={}, V(2) = {p}, R = {(1,2)})

  #5 opened 7 years ago by erohkohl
  0

• Semantic: phi = Box p over KS( W = {1}, V(1) = {}, R = {})

  #4 opened 7 years ago by erohkohl
  0

• Implement semantic of formula phi = p over KS( W = {1}, V = {(p,1)}, R = {}).

  #1 opened 7 years ago by erohkohl
  0