A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms

Caruso, Simone; Dodaro, Carmine; Maratea, Marco; Tarzariol, Alice

doi:10.24963/ijcai.2025/490

A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms

Simone Caruso, Carmine Dodaro, Marco Maratea, Alice Tarzariol

Download BibTeX Cite

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. Main Track. Pages 4401-4409.

https://doi.org/10.24963/ijcai.2025/490

Keywords

Knowledge Representation and Reasoning: KRR: Knowledge representation languages
Knowledge Representation and Reasoning: KRR: Logic programming
Knowledge Representation and Reasoning: KRR: Other
Knowledge Representation and Reasoning: KRR: Non-monotonic reasoning

Abstract

Languages for Knowledge Representation and Reasoning, such as ASP, CP, and SMT, excel at solving some complex problems, but encoding them into a higher-level language may be more profitable, leaving these formalisms as targets for solving. Recent studies aim to convert controlled natural languages into formal representations, yet these solutions are often tailored to specific languages and require significant effort.

This paper introduces a general framework that generates grammars for target representation languages, enabling the translation of problems stated in CNL into formal representations. The related system, CNLWizard, offers a flexible, high-level approach to defining desired grammars, significantly reducing the time and effort needed to create custom grammars. Finally, we demonstrate the system's effectiveness through an experimental analysis.

Simone Caruso, Carmine Dodaro, Marco Maratea, and Alice Tarzariol. 2025. A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25. IJCAI, 4401–4409. https://doi.org/10.24963/ijcai.2025/490

@inproceedings{ijcai2025p490,
  title     = {A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms},
  author    = {Caruso, Simone and Dodaro, Carmine and Maratea, Marco and Tarzariol, Alice},
  booktitle = {Proceedings of the Thirty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-25}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {James Kwok},
  pages     = {4401--4409},
  year      = {2025},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2025/490},
  url       = {https://doi.org/10.24963/ijcai.2025/490},
}

TY  - CPAPER
TI  - A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms
AU  - Caruso, Simone
AU  - Dodaro, Carmine
AU  - Maratea, Marco
AU  - Tarzariol, Alice
T2  - Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2025
SP  - 4401
EP  - 4409
DO  - 10.24963/ijcai.2025/490
UR  - https://doi.org/10.24963/ijcai.2025/490
ER  -