Interested in the design of domain-specific, Controlled Natural Languages for requirements? @alvaro_veizaga will present our paper tomorrow Wednesday, 1 pm (EDT), at @ICSEconf
https://t.co/jdoxJ6BB5d
Ends logic part with-
“An especially intriguing idea here is to allow various forms of controlled natural language, such as Kowalski’s Logical English, thus making possible pseudo-natural language authoring without the drawbacks”
Welcome to Twitter, Prof Kowalski @RobertAKowalsk4
https://t.co/xjVAyyxN0h Context Matters in Semantically Controlled Language Generation for Task-oriented Dialogue Systems. (arXiv:2111.14119v1 [https://t.co/HW5RVw4UkE]) #NLProc
In "Logical English as a Programming Language for the Law", the famous Robert Kowalski et al. from Imperial College and other institutions will present the latest and most accomplished of his works on controlled natural languages (CNL) for law!
https://t.co/Axk8hQ1gk3
@pmddomingos We can constrain human speech just enough in contexts of commerce and science (only slightly more so than is done already!) and lose many of the pain points. Also, no need for energy inefficient NLP models! CNLs are much more easily mapped to 1st order logic, Symbolic AI.
@pmddomingos In historical real world scenarios going back many centuries simplified natural languages arose to ease the burden of multi-language cross cultural environments. Similarly, perhaps we may see the rise of many widely used Controlled Natural Languages for Human-AI use.
Prof Kowalski’s “Logical English” - controlled natural languages & #RulesAsCode
“Well-written legislation has logic programming form”
“We need a corpus of well-written examples. Legal applications are a good place to start”
Opportunity for drafters?
Slides https://t.co/8ZYlazRWIZ
Best Paper Award for the paper *Tailoring a Controlled Language Out of a Corpus of Maintenance Reports* presented at CNL 2021 with Tian Tian https://t.co/AUajwW2P8v
Bob Kowalski, one of the fathers of Logic Programming and Prolog, at #CNL2021: "I am very glad to be in this Controlled Natural Language community, because Controlled Natural Languages are the future of computing" #SemanticsConf
In the last slot of the session, Michael Hsiao is presenting his work on "Multi-Phase Context Vectors for Generating Feedback for Natural-Language Based Programming" at #CNL2021: https://t.co/4diLjdaM8k #SemanticsConf
The best paper award of #CNL2021 goes to Yannis Haralambous and Tian Tian for their paper "Tailoring a Controlled Language Out of a Corpus of Maintenance Reports". Congratulations! You can find the award-winning paper here: https://t.co/K6UmPJbqGg #SemanticsConf
Now Joel Cedric Lengeling talking at #CNL2021 on "Facilitating the application of Controlled Natural Language (CNL) to standardize communication in logistics and supply chain management": https://t.co/wRiwGVM7gS #SemanticsConf
Now Lloyd Rutledge speaking at #CNL2021 about "Toward a Reference Architecture for Traceability in SBVR-based Systems": https://t.co/XQIddhGGcF #SemanticsConf