NBN ISO/IEC 24707:2021

Dit document specificeert een familie van logische talen die zijn ontworpen voor gebruik in de representatie en
uitwisseling van informatie en gegevens tussen ongelijksoortige computersystemen.
De volgende kenmerken zijn essentieel voor het ontwerp van dit document.
— Talen in de familie hebben declaratieve semantiek. Het is mogelijk om de betekenis van te begrijpen
uitdrukkingen in deze talen zonder een beroep te doen op een tolk voor het manipuleren van die uitdrukkingen.
— Talen in de familie zijn logisch veelomvattend – in de meest algemene zin voorzien ze in de
uitdrukking van willekeurige logische zinnen van de eerste orde.
— Talen in de familie zijn vertaalbaar door een semantiekbehoudende transformatie naar een gemeenschappelijk
Op XML gebaseerde syntaxis, die de uitwisseling van informatie tussen heterogene computersystemen vergemakkelijkt.
Het volgende valt binnen de reikwijdte van dit document:
— representatie van informatie in ontologieën en kennisbanken
— specificatie van uitdrukkingen die de input of output zijn van inferentie-engines
— formele interpretaties van de symbolen in de taal.
Het volgende valt buiten het bestek van dit document:
— specificatie van bewijstheorie of gevolgtrekkingsregels
— specificatie van vertalers tussen de notaties van heterogene computersystemen
— computergebaseerde operationele methoden voor het verschaffen van relaties tussen symbolen in de logische
" universum van discours" en individuen in de " echte wereld" .
Dit document beschrijft de syntaxis en semantiek van Common Logic.
Dit document definieert een abstracte syntaxis en een bijbehorende modeltheoretische semantiek voor een specifiek
uitbreiding van de eerste orde logica. De bedoeling is dat de inhoud van elk systeem dat eerste-orde logica gebruikt, kan
in dit document vertegenwoordigd zijn. Het doel is om de uitwisseling van op logica gebaseerde eerste orde te vergemakkelijken
informatie tussen systemen.
Problemen met betrekking tot de berekenbaarheid bij gebruik van dit document (waaronder efficiëntie, optimalisatie, enz.) zijn dat niet
aangesproken.