Show warning if output is subject to logic of here-and-there #22

New Issue

patrick · 2019-01-13T16:53:04+01:00

patrick commented

2019-01-13 16:53:04 +01:00

With the new translation scheme, the generated output has to be generally interpreted under the semantics of the logic of here-and-there. Horn programs are an exception because for those, the classical logic and the logic of here-and-there coincide.

However, for programs with negation or choice rules, the translation obtained with the new scheme must not be understood in terms of classical logic. In this case, a warning should be printed that explicitly states that the output is only valid if understood in the logic of here-and-there.

With the new translation scheme, the generated output has to be generally interpreted under the semantics of the logic of here-and-there. Horn programs are an exception because for those, the classical logic and the logic of here-and-there coincide. However, for programs with negation or choice rules, the translation obtained with the new scheme *must not be understood in terms of classical logic.* In this case, a warning should be printed that explicitly states that the output is only valid if understood in the logic of here-and-there.

patrick added this to the anthem 0.2.0 milestone 2019-01-13 16:53:04 +01:00

patrick self-assigned this 2019-01-13 16:53:04 +01:00

patrick added the

enhancement

label 2019-01-13 16:53:04 +01:00

patrick commented

2019-01-16 02:38:08 +01:00

Implemented for cases where anthem finds a choice rule or negative literals in bodies.

patrick closed this issue

2019-01-16 02:38:08 +01:00

Sign in to join this conversation.