NBN ISO/IEC 24707:2021

Dieses Dokument spezifiziert eine Familie von Logiksprachen, die für die Verwendung in der Darstellung und entwickelt wurden
Austausch von Informationen und Daten zwischen unterschiedlichen Computersystemen.
Die folgenden Merkmale sind für die Gestaltung dieses Dokuments wesentlich.
— Sprachen in der Familie haben eine deklarative Semantik. Es ist möglich, die Bedeutung von zu verstehen
Ausdrücke in diesen Sprachen ohne Rückgriff auf einen Dolmetscher zur Manipulation dieser Ausdrücke.
— Sprachen in der Familie sind logischerweise umfassend – in ihrer allgemeinsten Form sorgen sie für die
Ausdruck beliebiger logischer Sätze erster Ordnung.
— Sprachen in der Familie sind durch eine semantikerhaltende Transformation in ein Gemeinsames übersetzbar
XML-basierte Syntax, die den Informationsaustausch zwischen heterogenen Computersystemen erleichtert.
Folgendes fällt in den Geltungsbereich dieses Dokuments:
— Darstellung von Informationen in Ontologien und Wissensdatenbanken
– Spezifikation von Ausdrücken, die die Eingabe oder Ausgabe von Inferenzmaschinen sind
— formale Interpretationen der Symbole in der Sprache.
Folgendes liegt außerhalb des Geltungsbereichs dieses Dokuments:
— Spezifikation der Beweistheorie oder Inferenzregeln
— Spezifikation von Übersetzern zwischen den Notationen heterogener Computersysteme
— computergestützte Betriebsmethoden zur Bereitstellung von Beziehungen zwischen Symbolen im Logischen
„Universum des Diskurses“ und Individuen in der „realen Welt“.
Dieses Dokument beschreibt die Syntax und Semantik von Common Logic.
Dieses Dokument definiert eine abstrakte Syntax und eine zugehörige modelltheoretische Semantik für ein bestimmtes
Erweiterung der Logik erster Ordnung. Die Absicht besteht darin, dass der Inhalt jedes Systems, das Logik erster Ordnung verwendet, möglich ist
in diesem Dokument dargestellt werden. Der Zweck besteht darin, den Austausch auf Logikbasis erster Ordnung zu erleichtern
Informationen zwischen Systemen.
Es gibt keine Probleme im Zusammenhang mit der Berechenbarkeit mithilfe dieses Dokuments (einschließlich Effizienz, Optimierung usw.).
angesprochen.