Hvad er et naturligt sprog ved beregning?

Når folk taler om naturligt sprog i computing, henviser de til et programmeringssprog, der indeholder konstruktioner og syntaks, der spejler normal menneskelig tale. Det primære formål med ethvert naturligt sprog er at give en programmør mulighed for at bruge sproglige regler og vilkår, som han eller hun allerede er kendt for at kommunikere handlingsmæssige instruktioner til en computer. På grund af kravet om slutbrugerens forklaring og udnyttelse af et allerede kendt og talesprog, har naturlige sprog som programmering i logik (Prolog) eller Lisp en tendens til at være mere iboende kompliceret end andre programmeringssprog, afhængigt af højere orden eller symboliske abstraktioner af, hvad computeren kan forstå og handle på. Med andre ord, jo lettere er det for slutbrugeren at oprette et computerprogram uden at skulle kende et struktureret proceduresprog eller et andet sprog end det, han eller hun allerede taler, jo mere kompliceret skal det naturlige sprogprogrammotor være at støtte ytringsfriheden.

Naturlige sprog indeholder parsers og databaser. Databaserne bestemmer, hvilken handling computeren skal udføre baseret på instruktionen, og parseren bestemmer i hvilken rækkefølge syntaks skal udføres. Hvis brugeren for eksempel skriver "Tilføj to og to", skal parseren skelne mellem substantiv og verb, forstå, hvad verbets handling skal udføre, søge i databasen efter et passende svar og derefter producere et output, der tilfredsstiller instruktion. Hvis brugeren skriver "Tilføj to til to", skal parseren være i stand til at forstå, at "og" og "til" angiver, at den samme handling skal ske og derefter give det samme resultat.

Tilhængere af programmering med naturligt sprog hævder, at fordi naturlige sprog har en tendens til at være ikke-procedurelle, kan nybegynderprogrammer producere meningsfulde programmer og opnå betydelige resultater i kortere tidsrammer, end de gør, når det er nødvendigt for at skabe procedurealgoritmer, der fører til de samme resultater. Med programmering af naturligt sprog lærer de studerende at udtrykke en logisk notation af fakta. Prolog-programmer består af en database, sammenhængen mellem databaseelementer og alle grænsevilkår, der bestemmer, hvilke svar der er acceptable.

Noam Chomskys forskning og publikationer vedrørende sproglig teori og anvendelse inkluderer diagrammatiske undersøgelser af syntaksstrukturen i et sprog. Prolog- og Lisp-parserne opfører sig meget på samme måde og logisk sorterer instruktionen i dens komponenter og vurderer handlingen, der skal udføres som et resultat af parsningen. De fleste naturlige sprog er skrevet til engelsk input og output, selvom der er mange bestræbelser på at støtte lokalisering af andre sprog.