A Principled Approach to Grammars for Controlled Natural Languages and Predictive Editors

Kuhn, Tobias

doi:10.1007/s10849-012-9167-z

Cited by 22 publications

(16 citation statements)

References 32 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In addition, rules need to be found so as to process groups of tokens so as to know which one is a compound noun and which one is a noun phrase, in order to process them correctly. Hopefully then also sufficient insight is gained to construct a set of requirements for the grammar and either practical ones might be extended, such as the CFG of Ukwabelana (Spiegler et al, 2010), explorations of (Zeller, 2005) worked out in detail, or a natural language-independent approach like in (Kuhn, 2013) may be adjusted, or a new one devised to handle the syntactic elements to generate sentences with the intended semantics.…”

Section: Discussionmentioning

confidence: 99%

Proceedings of the 9th International Natural Language Generation conference

Kok

2016

View full text Add to dashboard Cite

Section: Discussionmentioning

confidence: 99%

Proceedings of the 9th International Natural Language Generation conference

Kok

2016

View full text Add to dashboard Cite

“…This problem can be mitigated by means of specialized text editors (e.g., as provided by the Grammatical Framework [44], [45,Chap. 7] or Attempto Controlled English [15,25]) which guide the user towards writing acceptable sentences. Adding specific language constructs for static infrastructure analysis of railway designs ensures that the level of abstraction is close to the original regulation text.…”

Section: Future Workmentioning

confidence: 99%

Efficient verification of railway infrastructure designs against standard regulations

Luteberget

Johansen

2017

Form Methods Syst Des

View full text Add to dashboard Cite

In designing safety-critical infrastructures s.a. railway systems, engineers often have to deal with complex and large-scale designs. Formal methods can play an important role in helping automate various tasks. For railway designs formal methods have mainly been used to verify the safety of so-called interlockings through model checking, which deals with state change and rather complex properties, usually incurring considerable computational burden (e.g., the state-space explosion problem). In contrast, we focus on static infrastructure models, and are interested in checking requirements coming from design guidelines and regulations, as usually given by railway authorities or safety certification bodies. Our goal is to automate the tedious manual work that railway engineers do when ensuring compliance with regulations, through using software that is fast enough to do verification on-the-fly, thus being able to be included in the railway design tools, much like a compiler in an IDE. In consequence, this paper describes the integration into the railway design process of formal methods for automatically extracting railway models from the CAD railway designs and for describing relevant technical regulations and expert knowledge as properties to be checked on the models. We employ a variant of Datalog and use the standardized "railway markup language" railML as basis and exchange format for the formalization. We developed a prototype tool and integrated it in industrial railway CAD software, developed under the name RailCOMPLETE . This on-the-fly verification tool is a help for the engineer while doing the designs, and is not a replacement to other more heavy-weight software like for doing interlocking verification or capacity analysis. Our tool, through the export into railML, can be easily integrated with these other tools. We apply our tool chain in a Norwegian railway project, the upgrade of the Arna railway station.

show abstract

“…The reader is invited to consult a detailed synthesis and classification of CNL principles and projects given in (Kuhn, 2014). Furthermore, investigations on grammars for CNL is investigated in (Kuhn, 2013). More specialized analysis for critical systems are given in e.g.…”

Section: Related Workmentioning

confidence: 99%

Features of an Error Correction Memory to Enhance Technical Texts Authoring in LELIE

Saint-Dizier¹

2015

International Journal of Knowledge Content Development & Te

View full text Add to dashboard Cite

In this paper, we investigate the notion of error correction memory applied to technical texts. The main purpose is to introduce flexibility and context sensitivity in the detection and the correction of errors related to Constrained Natural Language (CNL) principles. This is realized by enhancing error detection paired with relatively generic correction patterns and contextual correction recommendations. Patterns are induced from previous corrections made by technical writers for a given type of text. The impact of such an error correction memory is also investigated from the point of view of the technical writer's cognitive activity. The notion of error correction memory is developed within the framework of the LELIE project an experiment is carried out on the case of fuzzy lexical items and negation, which are both major problems in technical writing. Language processing and knowledge representation aspects are developed together with evaluation directions.

show abstract

A Principled Approach to Grammars for Controlled Natural Languages and Predictive Editors

Cited by 22 publications

References 32 publications

Proceedings of the 9th International Natural Language Generation conference

Proceedings of the 9th International Natural Language Generation conference

Efficient verification of railway infrastructure designs against standard regulations

Features of an Error Correction Memory to Enhance Technical Texts Authoring in LELIE

Contact Info

Product

Resources

About