Linguaggio giuridico e linguaggi di programmazione
Loading...
Files
884910197X .JPG (27.6 KB)
Book cover (1992)
License
Access Rights
Cadmus Permanent Link
Full-text via DOI
ISBN
ISSN
Issue Date
Type of Publication
Keyword(s)
LC Subject Heading
Other Topic(s)
EUI Research Cluster(s)
Initial version
Published version
Succeeding version
Preceding version
Published version part
Earlier different version
Initial format
Author(s)
Citation
Bologna : Clueb, 1992, Filosofia, informatica, diritto
Cite
SARTOR, Giovanni, Linguaggio giuridico e linguaggi di programmazione, Bologna : Clueb, 1992, Filosofia, informatica, diritto - https://hdl.handle.net/1814/61084
Abstract
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.