Not logged in.
Quick Search - Contribution
Contribution Details
Type | Technical Report |
Scope | Discipline-based scholarship |
Title | Controlled Legal German 1.0: Einführung und Spezifikation |
Authors |
|
Number | IFI-2010.0011 |
Date | 2010 |
Abstract Text | Dieser technische Bericht beschreibt Controlled Legal German (CLG). CLG ist konzipiert als eine Teilmenge der Schweizerischen Gesetzessprache mit einer eindeutigen formalen Semantik auf der Basis deontischer Logik. CLG soll also beides sein: natürliche Sprache und formal-logische Repräsentationsform. Das in diesem Bericht beschriebene Sprachfragment, CLG 1.0, stellt ein Basisinventar an sprachlichen Konstruktionen zur Verfügung, mit dem einfache Normkonzepte - Gebote, Verbote, Erlaubnisse, Bedingungen, Rechtsfolgen - formuliert werden können. Es kann insbesondere als Hilfsmittel verwendet werden, um die grundlegenden Konzepte der deontischen Logik zu erlernen und das Zusammenspiel zwischen deontischer Logik und natürlicher Sprache zu studieren. |
PDF File | Download |
Export | BibTeX |