Diskussion:Semantic Gap

aus Wikipedia, der freien Enzyklopädie

Es stellt sich die Frage ob der erweiterte Kontext natürlicher Sprache im Vergleich zum Kontext formaler Sprachen als Grund für das Phänomen der Semantic Gap aussreichend und konkret genug ist. Die Semantic Gap tritt bei der Formalisierung eines Realwelt Problems auf, das mit der Unterstützung von Rechnern gelöst werden soll. Gegenwärtig steht für eine konkrete Realisierung lediglich die von Neuman Architektur zur Verfügung. Diese wiederum ist beschränkt auf das was mit einer Turingmaschine berechnbar ist. Es geht also formal darum eine Turingmaschine anzugeben, möglicherweise spielt daher aus Sicht der Informatik die Berechenbarkeit des Problems und die Ausdrucksmächtigkeit der zugrundeliegenden Sprache vielleicht sogar noch konkreter das Halteproblem eine Rolle, wenn man ein Ergebnis der Berechnung erwartet. Neben der formalen Seite der Semantic Gap muss muss natürlich die Anwenderseite betrachtet werden. Diese lässt sich der Natur der Sache gemäß nicht formalisieren und kann nur heuristisch erfasst werden. Wahrscheilich liegt das Problem daher auch im philosophischen Diskurs über Sinn und Bedeutung, und berührt das Problem der Abgeschlossenheit von Axiomensystemen. Aus diesem Grund wird es wohl auch keine formale Definition der Semantic Gap geben.

Abgerufen von „https://de.wikiup.org/index.php?title=Diskussion:Semantic_Gap&oldid=14793215“