Kontrollerat naturligt språk
Kontrollerade naturliga språk ( CNL ) är delmängder av naturliga språk som erhålls genom att begränsa grammatiken och ordförrådet för att minska eller eliminera tvetydighet och komplexitet. Traditionellt faller kontrollerade språk in i två huvudtyper: de som förbättrar läsbarheten för mänskliga läsare (t.ex. icke-modersmålstalare), och de som möjliggör tillförlitlig automatisk semantisk analys av språket.
Den första typen av språk (ofta kallade "förenklade" eller "tekniska" språk), till exempel ASD Simplified Technical English , Caterpillar Technical English, IBM :s Easy English, används i branschen för att höja kvaliteten på teknisk dokumentation, och ev. förenkla den halvautomatiska översättningen av dokumentationen. Dessa språk begränsar författaren genom allmänna regler som "Håll meningar korta", "Undvik användningen av pronomen ", "Använd endast ordbokgodkända ord" och "Använd endast den aktiva rösten ".
Den andra typen av språk har en formell syntax och semantik, och kan mappas till ett befintligt formellt språk , till exempel första ordningens logik . Således kan dessa språk användas som kunskapsrepresentationsspråk , och skrivning av dessa språk stöds av helautomatiska konsistens- och redundanskontroller, frågesvar etc.
språk
Befintliga kontrollerade naturliga språk inkluderar:
- ASD förenklad teknisk engelska
- Försök kontrollerad engelska
- Flyg engelska
- Grundläggande engelska
- ClearTalk
- Common Logic Controlled engelska
- Distribuerad språköversättning esperanto
- E-Prime
- Français fondamental
- Gelisk formell engelska
- Interlingua-IL sive Latino sine flexione ( Giuseppe Peano )
- ModeLang
- Newspeak
- Bearbetbar engelska (PENG)
- Seaspeak
- Semantik av affärsordförråd och affärsregler
- Special engelska
Kodning
IETF har reserverat enkel som en BCP 47 variant undertagg för förenklade versioner av språk.