Project

General

Profile

« Previous | Next » 

Revision 9609611d

ID9609611d6dd84656e00411548015b5f9881c65da
Parent e0f19999
Child 9944c81b

Added by Thorsten WiƟmann almost 2 years ago

Fix CL for diamond formula sets with all agents

For the case of two (or more) diamond formulas who all mention the full
agent list, no rule was created, because the former CL algorithm only
created rules for proper subsets of the agent list. This adds the
missing rule and lets cool correctly answer the following query:

$ ./coalg.native sat CL --agents '1' <<< '(~[{1}] p) & ~[{1}] ~p'
unsatisfiable

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences