[Zurück]

S. Woltran:
"Strong Equivalence in Argumentation";
Vortrag: CLIMA XI - 11^th International Workshop on Computational Logis in Multi-Agent Systems, Lisbon, Portugal (eingeladen); 16.08.2010 - 17.08.2010; in: "Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA", J. Dix, J. Leite, G. Governatori, W. Jamroga (Hrg.); Lecture Notes/ Springer, 6245 (2010), ISBN: 978-3-642-14976-4; S. 14.

The problem of equivalence has received substantial attention
in the knowledge-representation (KR) community in the past several
years. This is due to the fact that the replacement theorem from
classical logic does not necessarily hold in typical (non-monotonic) KR formalisms. In fact, the problem is as follows: Consider a theory S is replaced by another theory S within a larger knowledge base T. Naturally, one wants to ensure that the resulting knowledge base (T \ S) ∪ S has the same meaning as T. But this is not guaranteed by standard equivalence between S and S under nonmonotonic semantics, and therefore, stronger notions of equivalence are required. In particular, the following definition of equivalence guarantees that a replacement as discussed above is faithful: two theories S and S are called strongly equivalent, if and only if S ∪ T and S ∪ T have the same same meaning for each theory T.

http://dx.doi.org/10.1007/978-3-642-14977-1