Kontrollerede naturlige sprog (Controlled natural languages, CNLs) er delmængder af naturlige sprog, der opnås ved at begrænse grammatik og ordforråd for at reducere eller eliminere tvetydighed og kompleksitet. Traditionelt set falder kontrollerede sprog i to hovedtyper: de, der forbedrer læsbarheden for menneskelige læsere (f.eks. ikke-modersmålstalende), og de, der muliggør pålidelig automatisk semantisk analyse af sproget.
Den første type sprog (ofte kaldet "forenklede" eller "tekniske" sprog). De inkluderer ASD Simplified Technical English, Caterpillar Technical English og IBM 's Easy English. Disse sprog bruges i branchen for at øge kvaliteten af teknisk dokumentation og gøre det muligt at forenkle den semiautomatiske oversættelse af dokumentation. Disse sprog sætter regler op for forfatteren med generelle regler som "Hold sætninger korte", "Undgå brugen af pronominer ", "Brug kun ordbogsgodkendte ord" og "Brug kun aktiv form ".
Den anden type sprog har en formel syntaks og formel semantik og kan knyttes til et eksisterende formelt sprog, som førsteordenslogik . Således kan disse sprog bruges som vidensrepræsentationssprog, . Skrivning af disse sprog understøttes af fuldautomatiske konsistens- og redundanstjek, besvarelse af forespørgsler osv.
Sprog Eksisterende kontrollerede naturlige sprog omfatter:
ASD Simplified Technical English Attempto Controlled English Aviation English Basic English ClearTalk z Distributed Language Translation Esperanto Easy Japanese E-Prime Français fondamental Gellish Formal English Interlingua-IL sive Latino sine flexione (Giuseppe Peano) Logical English ModeLang Newspeak (fictional) Processable English (PENG) Seaspeak Semantics of Business Vocabulary and Business Rules Special English
Kodning IETF har reserveret som en BCP 47 -variantundertag til forenklede versioner af sprog.
Kategori:Sprog