Software for the Legislator

  • A. A. Martino

Abstract

In this article I propose to examine the kinds of aid and the collateral possibilities that the computer can offer in the sphere of legislative activity.

Keywords

Marketing Lution Sorting Argentina Clarification 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    See M. Stoppino, Cosa è la politica, Centro di Scienza Politica of the Fondazione Feltrinelli, Milan, 1966 (typewritten)Google Scholar
  2. 3.
    W. Dubislav, Zur Unbegriindbarkeit der Förderungsgesetze, in Theorie, 1937; J. Jorgensen, Imperatives and Logic, in Erkenntis 7, 1937–38; A. Ross, Imperatives and Logic,in Theorie, 1941; G. H. von Wright, Norms, Truth and Logic in A. A. Martino (ed.), Deontic Logic, Computational Linguistics and Legal Information Systems,Amsterdam, 1982, p. 3–20Google Scholar
  3. 5.
    This is the title of the seventh section of the first chapter of N. MacCormick, O. Weinberger, An Institutional Theory of Law, Dordrecht, 1986, p. 46Google Scholar
  4. 1.
    See A. A. Martino: La contaminación legislativa in Anuario de Sociologia y Psicologia Jurídica, Barcelona, 1977, p. 47–63Google Scholar
  5. 2.
    See A. A. Martino: Le definizioni legislative, Turin, 1975Google Scholar
  6. 3.
    See A. A. Martino: La progettazione legislativa nell’ordinamento inquinato, in Studi parlamentari e di politica costituzionale, 38 (1977), p. 1–21Google Scholar
  7. 4.
    See A. A. Martino: La formalizzazione dei sistemi normativi, in Atti del II Convegno L’Informatica giuridica al servizio del Paese, Rome, 1978, p. 1–36Google Scholar
  8. 5.
    See A. A. Martino: Logica, Informatica,Diritto (ed. with E. Maretti and C. Ciampi) and co-author of the introduction, Modelli operativi di sistemi giuridici positivi, in Informatica e Diritto, Florence, 197879, 2 vols., years IV and VGoogle Scholar
  9. 6.
    See A. A. Martino: Contributo logico informatico all’analisi della legislazione, in Informatica e Diritto, 1982, 2, Florence, p. 53–77Google Scholar
  10. 7.
    See A. A. Martino: Preparación al anàlisis de la legislación, in Sequenca. Estudos Juridicos e Politicos, Florianopolis, 6 (1982), p. 9–28Google Scholar
  11. 8.
    See A. A. Martino: (ed.), Deontic Logic,Computational Lingustics and Legal Information Systems, Amsterdam, New York, 1982Google Scholar
  12. 9.
    See A. A. Martino: Un modello automatico per l’analisi dei sistemi normativi: una proposta sperimentale (in collaboration with C. Biagioli et al.), III Congresso Internazionale della Corte Suprema di Cassazione su “L’Informatica giuridica e le comunità nazionali ed internazionali”, Rome, May 1983, sec. III no. 10Google Scholar
  13. 10.
    See A. A. Martino: . Automated Analysis of Legislation (in collaboration with C. Biagioli et al.), Conference on Legal Theory and Philosophy of Science, Sweden, 1983Google Scholar
  14. 11.
    See A. A. Martino: . Trends in the Application of Logic to the Automated Analysis of Legislation, in Rechtstheorie, Juristische Logik,Rationalität and Irrationalität im Recht (Rationality and Irrationality in Law), Berlin, 1985, p. 53–60Google Scholar
  15. 12.
    See A. A. Martino: . Verso l’analisi automatica della ledge (in collaboration with C. Biagioli et al.), Florence, 1984Google Scholar
  16. 13.
    See A. A. Martino: . Contaminación legislativa y remedios informàticos,in Actas Primer Congreso de Informatica Jurídica (Santo Domingo, October 1984),Madrid, 1985, p. 161–172Google Scholar
  17. 14.
    See A. A. Martino: . Why Automated Analysis of Legislation?, in Computing Power and Legal Reasoning, St. Paul, 1985, 413–466Google Scholar
  18. 15.
    See A. A. Martino: . Automated Analysis of Legal Texts, (ed. with F. Socci), Amsterdam, 1986Google Scholar
  19. 7.
    C. E. Alchourron, Conditionality and Representation in Legal Norms, in A. A. Martino (ed.), Deontic Logic,Computational Linguistics and Legal Information Systems, cit., p. 51–63Google Scholar
  20. 8.
    E. Bulygin, C. E. Alchourron, Unvollständigkeit,Widersprüchlichkeit und Unbestimmtheit der Normenordnungen, in A. G. Conte, R. Hilpinen, G. H. von Wright (eds.), Deontische Logik und Semantik, Wiesbaden, 1977, p. 20–32Google Scholar
  21. 9.
    C. E. Alchourron, D. Makinson, Hierarchies of Regulations and Their Logic, in R. Hilpinen (ed.), New Studies in Deontic Logic, Dordrecht, 1981, p. 187–221Google Scholar
  22. 10.
    A. A. Martino, La progettazione legislativa nell’ordinamento inquinato, cit. Google Scholar
  23. 11.
    F. Carnelutti, Scienza e arte della legislazione,in Diritto dell’economia,1960, p. 82ff.; J. H. Mechau, Teoria y Tecnicas legislativas, Buenos Aires, 1976; T. Öhlinger (ed.), Methodik der Gesetzgebung,Vienna - New York, 1983; D. R. Miers, A. C. Page, Legislation,London, 1982; R. Pagano, in Parlamento, no. 9–10, 1980, p. 182ff.Google Scholar
  24. 12.
    F. Lachmeyer, L. Reisinger, Logistische Analyse der Struktur von Gesetzen,Vienna, 1979Google Scholar
  25. 13.
    See A. A. Martino, L’informatique juridique aujourd’hui in Revue de Synthèse 1985, p. 321–353Google Scholar
  26. 16 J.
    Wroblewski, Representation Models of Legal Systems and the Problems of their Computerization, in A. A. Martino, F. Socci (eds.), Automated Analysis of Legal Text, cit., p. 495–514Google Scholar
  27. 11.
    In the XIII Annual Report (1983–84), page 1, the Commission confirms that its work is to “elaborate legal texts adaptable to present-day technology”, but it has never mentioned the contribution of computers to this drafting. More curious yet is the fact that the English Renton Commission consulted, with regard to the use of computers, S. J. Shellrey, Director of Jurimetrics of the Canadian Ministry of Justice. “A prophet in his own land!”Google Scholar
  28. 18.
    R. E. Luqui, Informatica Jurídica, Buenos Aires, 1983, p. 59ff.Google Scholar
  29. 19.
    E. Salazar Cano, Cibernètica y Derecho Procesal Civil, Caracas - Lima, 1979 20 M. G. Losano, Informatica per le scienze sociali, Turin, 1985Google Scholar
  30. 2’.
    In the Neo-Latin languages the letter H is silent; the programs have been named HAAL after the computer in “2001: A Space Odyssey”Google Scholar
  31. 24.
    For example, the model presented in C. E. Alchourron, E. Bulygin, Normative Systems, Vienna - New York, 1971Google Scholar
  32. 32.
    M. Sanchez Mazas, Modelli aritmetici per l’informatica giuridica, in A. A. Martino, E. Maretti, C. Ciampi, Logica,informatica, diritto, in Informatica e diritto, 1978, 2, p. 163–215. In 1980, on the basis of this model and with our contributions and the help of mathematician S. Dini, the IDG team coordinated by the author realized a system for computation of matrimonial capacities under the Italian Civil Code. See Un modello automatico per l’analisi dei sistemi normativi, cited in note 6, still in operation on our computersGoogle Scholar
  33. 33.
    Among the works of note: Una guida per i redattori giuridici di testi normalizzati, in A. A. Martino, E. Maretti, C. Ciampi (eds.), Logica,informatica, diritto, special issue of Informatica e diritto, 1979, 1, p. 61–114; Towards a Normalized Language to Clarify the Structure of Legal Discourse, in A. A. Martino (ed.), Deontic Logic,Computational Linguistics and Legal Information Systems, cit., p. 349–407; L. Allen, C. S. Saxon, Analysis of the Logical Structure of Legal Rules by a Modernized and Formalized Version of Hofeld Fundamental Legal Concepts, in A. A. Martino, F. Socci (eds.), Automated Analysis of Legal Texts, cit., p. 385–450Google Scholar
  34. 35.
    A. A. Martino, Contributo logico-informatico all’analisi della legislazione,in Informatica e diritto, 1982, p. 53–77. The most complete and authoritative theory of the notion of the legal system is that set forth in C. E. Alchourron, E. Bulygin, Normative Systems, Vienna, 1971Google Scholar
  35. 36.
    A. A. Martino (et al.), Automated Analysis of Legislation, Conference on Legal Theory and Philosophy of Science, Lund, 1983Google Scholar
  36. 40.
    We should probably begin with Buchanan and Headrick, Some Specifications about Artificial Intelligence and Legal Reasoning, in Stanford Law Review, 23 (1970), p. 40–62, and end with R. B. Susskind, Expert Systems in Law: A Jurisprudential Approach to Artificial Intelligence and Legal Reasoning,in The Modern Law Review, March 1986, p. 169–193. To cite only the compendiums: B. Niblett (ed.), Computer Science and Law, 1980; C. Ciampi (ed.), Artificial Intelligence and Legal Information Systems, 1982; A. A. Martino (ed.), Deontic Logic,Computational Linguistics and Legal Information Systems, cit.; C. Campbell (ed.), Data Processing and the Law, 1984; A. A. Martino, F. Socci (eds.), Automated Analysis of Legal Texts, cit. Google Scholar
  37. 41.
    T. McCarty, The Taxman Project: Towards a Cognitive Theory of Legal Argument, in B. Niblett (ed.), Computer Science and Law, cit.; with N. S. Shiridaran, The Representation of an Evolving System of Legal Concepts: II; Prototypes and Deformations,in Proceedings of the Seventh International Joint Conference on Artificial Intelligence (1981), p. 246–253; Permissions and Obligations. An Informal Introduction in A. A. Martino, F. Socci (eds.), Automated Analysis of Legal Texts,cit., p. 307–338Google Scholar
  38. 42.
    M. J. Sergot, Representing Legislation as Logic Programs (typewritten), London, 1985; M. J. Sergot, F. Sadri, R. A. Kovalski, F. Friwaczck, P. Hammond, H. T. Cory, The British Nationality Act as Logic Program, in Communications of the ACM, May 1986, vol. 29, no. 5, p. 370–386Google Scholar
  39. 43.
    We are speaking of the Horn clauses, typical of the Prolog language. The fact that this language is an extremely efficient problem-solver has led to its being adopted by numerous research units: A. Hustder, Programming Law in Logic (typewritten), University of Waterloo, Canada, 1982; T. F. Gordon, Object-Oriented Predicate Logic and its Role in Representing Legal Knowledge, in C. Waters (ed.), Computing Power and Legal Reasoning, cit., p. 765–815; A. A. Martino et al. (AAL group of the “Istituto per la Documentazione Giuridica” of the CNR in Florence), Knowledge Base in the Automatic Analysis of Legislation,in A. A. Martino, F. Socci (eds.), Automated Analysis of Legal Texts, cit., p. 281–306Google Scholar
  40. 44.
    D. I. Gold, R. E. Susskind, Expert Systems in Law, A Jurisprudential and Formal (Specification Approach, in A. A. Martino, F. Socci (eds.), Automated Analysis of Legal Texts, cit., p. 625–643. The authors, who examined the 50 books and 100 articles considered the most influential on the matter at hand, find a “surprising consensus on the basic assumptions about general legal theory”. This only confirms what has been my own belief since 1975Google Scholar
  41. 45.
    C. De Bessonet, A Proposal for Developing the Structural Science of Codification, in Rutgers Journal of Computers, Technology and Law,8 (1980), p. 47–63; An Automated Approach to Scientific Codification, in Rutgers Journal of Computers, Technology and Law, 9 (1982), p. 27–75; with G. Cross, Conceptual Retrieval and Legal Decision-Making, in A. A. Martino, F. Socci (eds.), Automated Analysis of Legal Texts, cit., p. 219–228Google Scholar
  42. 46.
    Aside from the work cited in note 32, see also, by the same author, Algebraic and Arithmetical Translation of Normative Systems and Application in Legal Informatics, in A. A. Martino (ed.), Deontic Logic, Computational Linguistics and Legal Information Systems, cit., p. 169202; The ‘Ars Judicandi’ Program,in A. A. Martino, F. Socci (eds.), Automated Analysis of Legal Texts,cit., p. 773–820; L. Reissinger, Approach to a Theory of “Soft Algoritmus” in A. A. Martino, F. Socci (eds.), op. cit., p. 761–772 (article published posthumously)Google Scholar
  43. 47.
    R. Stamper, The LEGOL Project since 1976, in Computers and Law, 23 (1980), p. 10–13; A Non-Classical Logic for Law Based on the Structures of Behaviour, in A. A. Martino, F. Socci (eds.), op. cit., p. 115–140Google Scholar
  44. 48.
    D. A. Waterman, M. A. Peterson, Models of Legal Decision-Making - Rep. R-2717, Institute for Civil Justice. Rand Corporation, Santa Barbara, 1981Google Scholar
  45. 49.
    K. Nitta, KRIP: A Knowledge Representation System for Laws Relating to Industrial Property, Information Processing Group, Sakura-mura, 1985 (typewritten)Google Scholar
  46. 49.
    H. Bauer Bernet, Temporal Aspects of Formalization and Computerization in Law, in A. A. Martino, F. Socci (eds.), op. cit., p. 451–472Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • A. A. Martino

There are no affiliations available

Personalised recommendations