Date: 1992
Type: Book
Linguaggio giuridico e linguaggi di programmazione
Bologna : Clueb, 1992, Filosofia, informatica, diritto
SARTOR, Giovanni, Linguaggio giuridico e linguaggi di programmazione, Bologna : Clueb, 1992, Filosofia, informatica, diritto
- https://hdl.handle.net/1814/61084
Retrieved from Cadmus, EUI Research Repository
Nel volume si presentano le metodologie per la rappresentazione del diritto nei linguaggi di programmazione, sia i linguaggi procedurali che i linguaggi dichiarativi. La maggior parte dell’opera e’ dedicata ai linguaggi dichiarativi, e in particolare ai linguaggi di programmazione logica, che consentono formalizzazioni della conoscenza giuridica chiare ed intuitive, oltre che logicamente rigorose…La rappresentazione informatica della conoscenza giuridica e’ un’arte per la quale ancora oggi sono disponibili poche ricette generali, a causa della molteplicita’ dei problemi da affrontare, della specificita’ dei contesti da formalizzare, e soprattutto dell’enorme distanza tra linguaggio giuridico (che, benche’ tecnicizzato, e’ immerso nel linguaggio naturale), e i liguaggi di programmazione (che sono linguaggi formali). Pertanto un ampio spazio e’ dedicato agli esempi tratti da diversi settori del diritto.
Cadmus permanent link: https://hdl.handle.net/1814/61084
ISBN: 9788849101973; 884910197X