Controlled Natural Language: Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers

زبان‌های طبیعی کنترل‌شده (CNL) زیرمجموعه‌ای از زبان‌های طبیعی هستند که با سخت‌گیری گرامر و واژگان به منظور کاهش یا حذف ابهام و پیچیدگی به دست می‌آیند. به طور سنتی، زبان‌های کنترل‌شده به دو نوع عمده تقسیم می‌شوند: زبان‌هایی که خوانایی را برای خوانندگان انسانی ثابت می‌کنند، و زبان‌هایی که امکان تحلیل معنایی خودکار قابل اعتماد زبان را فراهم می‌کنند. [. . . ] زبان های نوع دوم مبنای منطقی رسمی دارند، یعنی. ه. آنها یک نحو رسمی و معنایی دارند و می توانند به یک زبان رسمی موجود، مانند منطق مرتبه اول نگاشت شوند. بنابراین، آن زبان‌ها را می‌توان به‌عنوان زبان‌های بازنمایی دانش مورد استفاده قرار داد، و نوشتن آن زبان‌ها توسط بررسی‌های کاملاً خودکار سازگاری و افزونگی، پاسخ‌گویی به پرسش و غیره پشتیبانی می‌شود. و در بسیاری از حوزه های کاربردی مختلف، اخیراً در وب معنایی استفاده شده است. کارگاه CNL 2009 به بحث در مورد شباهت ها و تفاوت های زبان های طبیعی کنترل شده موجود از نوع دوم، پیشرفت های احتمالی در این زبان ها، روابط با سایر زبان های نمایش دانش، پشتیبانی ابزار، برنامه های کاربردی موجود و آینده و موارد دیگر اختصاص داشت. موضوعات مورد علاقه.

Controlled natural languages (CNLs) are subsets of natural languages, obtained by - stricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. Traditionally, controlled languagesfall into two major types: those that - prove readability for human readers, and those that enable reliable automatic semantic analysis of the language. [. . . ] The second type of languages has a formal logical basis, i. e. they have a formal syntax and semantics, and can be mapped to an existing formal language, such as ?rst-order logic. Thus, those languages can be used as knowledge representation languages, and writing of those languages is supported by fully au- matic consistency and redundancy checks, query answering, etc. Wikipedia Variouscontrollednatural languagesof the second type have been developedby a n- ber of organizations, and have been used in many different application domains, most recently within the Semantic Web. The workshop CNL 2009 was dedicated to discussing the similarities and the d- ferences of existing controlled natural languages of the second type, possible impro- ments to these languages, relations to other knowledge representation languages, tool support, existing and future applications, and further topics of interest.