Message3323

Author malte
Recipients gabi, malte, patrik
Date 2014-08-18.11:06:54
Content
> Just to clarify: This is only a translator issue? In other words, provided a
> "direct" translation of axioms (i.e., just grounding and simplifying them to
> the required form), the basic search framework (successor generator, etc)
> should work?

Possibly; I'm not entirely sure. It could be the case that some of the later
code relies on the presence of the negated axioms for relevance analysis, i.e.,
the preprocessor might wrongly determine that a variable is irrelevant if the
negated axiom rules are absent. I hope I'll be able to look into this on Wednesday.
History
Date User Action Args
2014-08-18 11:06:54maltesetmessageid: <1408352814.59.0.960245707648.issue453@unibas.ch>
2014-08-18 11:06:54maltesetrecipients: + malte, gabi, patrik
2014-08-18 11:06:54maltelinkissue453 messages
2014-08-18 11:06:54maltecreate