Controlled Natural Language in a Game for Legal Assistance

Camilleri, John J.; Pace, Gordon J.; Rosner, Michael

doi:10.1007/978-3-642-31175-8_8

Cited by 3 publications

(2 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The use of controlled natural languages (CNL) [219] has been proposed in different works in order to facilitate bridging the gap between the natural language description of the original document and a more formal representation in the form of a formal language [14,89,91,238]. In a legal specification setting, there is initial work in this direction, but we are still far from reaching this goal [86,90,91].…”

Section: Contracts: Normative Documentsmentioning

confidence: 99%

A survey of challenges for runtime verification from advanced application domains (beyond software)

Sánchez

Schneider

Ahrendt

et al. 2019

Form Methods Syst Des

Self Cite

View full text Add to dashboard Cite

Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors. Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor.Most of the applications in runtime verification have been focused on the dynamic analysis of software, even though there are many more potential applications to other computational devices and target systems. In this paper we present a collection of challenges for runtime verification extracted from concrete application domains, focusing on the difficulties that must be overcome to tackle these specific challenges. The computational models that characterize these domains require to devise new techniques beyond the current state of the art in runtime verification.

show abstract

Section: Contracts: Normative Documentsmentioning

confidence: 99%

A survey of challenges for runtime verification from advanced application domains (beyond software)

Sánchez

Schneider

Ahrendt

et al. 2019

Form Methods Syst Des

Self Cite

View full text Add to dashboard Cite

show abstract

“…-Nomic. A computer game where new rules can be defined by the players in English [59]. Aimed as a pilot study for a controlled natural language for contracts.…”

Section: Projectsmentioning

confidence: 99%

Translating between Language and Logic: What Is Easy and What Is Difficult

Ranta

2011

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Natural language interfaces make formal systems accessible in informal language. They have a potential to make systems like theorem provers more widely used by students, mathematicians, and engineers who are not experts in logic. This paper shows that simple but still useful interfaces are easy to build with available technology. They are moreover easy to adapt to different formalisms and natural languages. The language can be made reasonably nice and stylistically varied. However, a fully general translation between logic and natural language also poses difficult, even unsolvable problems. This paper investigates what can be realistically expected and what problems are hard.

show abstract

SoliNomic: A Self-modifying Smart Contract Game Exploring Reflexivity in Law

Ellul

Pace

2022

Disruptive Technologies in Media, Arts and Design

View full text Add to dashboard Cite

Controlled Natural Language in a Game for Legal Assistance

Cited by 3 publications

References 13 publications

A survey of challenges for runtime verification from advanced application domains (beyond software)

A survey of challenges for runtime verification from advanced application domains (beyond software)

Translating between Language and Logic: What Is Easy and What Is Difficult

SoliNomic: A Self-modifying Smart Contract Game Exploring Reflexivity in Law

Contact Info

Product

Resources

About