Die Wichtigkeit von Reversibilität
Zur Beseitigung solcher Ungenauigkeiten wurden mehrere industrietaugliche Verfahren zusammengestellt, um geografische Informationen zu standardisieren. Geografische Daten können verschiedenen Informationsquellen entstammen, die teils inkompatibel sind. Die Wissenstheorie ermöglicht es, dass Informationen aus verschiedenen Quellen zusammengeführt werden und ein Interferenzergebnis liefern, anhand dessen Entscheidungen mit einer gewissen Sicherheit getroffen werden können. Dort, wo ein Hinzufügen neuer Informationen aus einer inkompatiblen Quelle eine Theorie uneinheitlich macht, werden Überprüfungsverfahren angewendet, um zu bestimmen, welche Informationen wieder entfernt werden müssen, um die Einheitlichkeit zu erhalten. Der Überprüfungsprozess kann als ein Sonderfall eines Verschmelzungsprozesses betrachtet werden, bei der verschiedene Quellen zusammenkommen. Die Überprüfung kann als die Verschmelzung zweier gewichteter Quellen gelten, bei der die Gewichte je nach Bedeutung zugeordnet sind; die Fusion ist jedoch generell komplexer als die Überprüfung. Das Wissen von intelligenten Agenten wird durch epistemische Zustände dargestellt, was dem griechischen Episteme (Wissen) entstammt. Die epistemischen Zustände werden oft mittels totaler Vorreihenfolgen dargestellt, durch die mehrere Vermutungen über das reale Wort auf Grundlage verfügbarer Informationen verschlüsselt sind. Im Projektzusammenhang wurde die Verschlüsselung totaler Vorreihenfolgen auf Polynomgrundlage vorgeschlagen, wodurch die Überprüfungsregeln reversibel sind. In diesem Ansatz werden die gesamten Vorreihenfolgen durch mit einer lexikografischen Reihenfolge versehene Polynome verschlüsselt. Somit wird die Formalisierung des Wechsels von totalen Vorreihenfolgen anhand der eingehenden Beobachtungen möglich. Da zudem jede Interpretation ein Polynomgewicht erhält, kann die Beobachtungsreihenfolge zurückverfolgt und auch auf vorige Vorreihenfolgen zurück geschlossen werden. Zudem wird durch gewichtete (oder mehrschichtige) Wissensgrundlagen ein alternativer Ansatz über die epistemischen Zustände geliefert. Die Gewichte sind Polynome, mit denen eine totale Vorreihenfolge wiederhergestellt werden kann. Die gewonnenen Ergebnisse über die Umkehrbarkeit bei Überprüfungen haben den Weg für die Hinzufügung der Eigenschaft der Reversibilität bei einigen bekannten Verschmelzungsmechanismen in semantischen und syntaktischen Ansätzen geebnet.
