Controlled Natural Language: Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers: Lecture Notes in Computer Science, cartea 5972

În ecosistemul procesării limbajului natural și al reprezentării cunoștințelor, volumul Controlled Natural Language reprezintă o resursă tehnică esențială pentru înțelegerea modului în care restricționarea gramaticii și a vocabularului poate elimina ambiguitatea. Ne-a atras atenția în mod deosebit accentul pus pe limbajele cu bază logică formală, care pot fi mapate direct pe logica de ordinul întâi, facilitând astfel verificarea automată a consistenței și interogarea datelor. Găsim în acest volum detalii despre implementarea limbajelor controlate în framework-uri precum Grammatical Framework (GF) și utilizarea lor în Web-ul Semantic.

Structura cărții reflectă o progresie de la aspectele lingvistice fundamentale — precum rezoluția anaforei și predictibilitatea — către instrumente și aplicații practice. Sunt documentate proiecte de anvergură, cum este Naproche, destinat verificării demonstrărilor matematice, sau Rabbit, un instrument utilizat pentru autorarea ontologiilor OWL. Dacă Controlling Language in Industry de Stephen Crabbe v-a oferit cadrul teoretic și istoric al limbajelor controlate în producție, această lucrare oferă instrumentele practice și formale necesare pentru a construi sisteme de reprezentare a cunoștințelor.

Editorul Norbert E. Fuchs poziționează acest volum în continuarea preocupărilor sale pentru programarea logică, vizibile în lucrări anterioare precum Logic Programming in Action. Spre deosebire de Logic Program Synthesis and Transformation, care se concentra pe generarea de cod, volumul de față explorează interfața dintre limbajul uman și formalismul logic, oferind soluții concrete pentru interfețe inteligente și baze de date bazate pe ontologii.