The British Nationality Act as a logic program

@article{Sergot1986TheBN,
  title={The British Nationality Act as a logic program},
  author={Marek J. Sergot and Fariba Sadri and Robert A. Kowalski and Frank Kriwaczek and Peter Hammond and H. T. Cory},
  journal={Commun. ACM},
  year={1986},
  volume={29},
  pages={370-386}
}
The formalization of legislation and the development of computer systems to assist with legal problem solving provide a rich domain for developing and testing artificial-intelligence technology. 
AI and Legal Reasoning
In this article, I discuss the emerging field of artificial intelligence and legal reasoning and review the new book by Anne v.d.L. Gardner, An Artificial Intelligence Approach to Legal Reasoning,Expand
Legislation as Logic Programs
  • R. Kowalski
  • Computer Science
  • Logic Programming Summer School
  • 1991
TLDR
Examples of legal language taken from the British Nationality Act 1981, the University of Michigan lease termination clause, and the London Underground emergency notice suggest several ways in which the basic model of logic programming could usefully be extended. Expand
Artificial Intelligence and Human Institutions
  • R. Ennals
  • Computer Science
  • Artificial Intelligence and Society
  • 1991
The book argues that successful applications of artificial intelligence are possible only within an understanding of human institutions and the limitations of technology.
BUREAUCRACY AS ARTIFICIAL INTELLIGENCE
Bureaucracies are organizations whose administration has been formalized in the form of explicit rules and procedures. To this extent, they are a form of artificial intelligence. A concept ofExpand
Requirements analysis assisted by logic modelling
TLDR
A paradigm is proposed for the application of analysis knowledge bases to the generation of a structured specification, and the paradigm is illustrated with an example taken from the field of military communications systems. Expand
Legal Knowledge Representation in the Domain of Private International Law?
TLDR
The legal and technical requirements for the representation, methodological choices and issues encountered during the development are discussed and an example of the functioning of the Prolog rule-based system is presented. Expand
Logic Programming with Strong Negation
We show how a negation operation which allows for the possibility to represent explicit negative information can be added to Prolog without essentially altering its computational structure.
Modula--Prolog: A Software Development
Modula--Prolog draws on the strengths of the general-purpose Modula-2 and the highly interactive Prolog to create a deductive component that can process symbolic and procedural knowledge.
Introduction to Logic Programming
Abstract Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic. Over the years, there has been growing interest in Logic...
Artificial Intelligence and Law: How to Get There from Here
TLDR
A survey of the current state of Artificial Intelligence and Law, and recommendations for future research on the practical work on intelligent legal information systems and computational models of legal reasoning are discussed. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 56 REFERENCES
An artificial intelligence approach to legal reasoning
TLDR
A computational framework for legal reasoning is presented, within which a computer program that reasons about legal problems must be able to distinguish between questions it is competent to answer and questions it could seriously argue either way. Expand
LEGOL 2.0: A relational specification language for complex rules
TLDR
A subset of the syntax of this language for writing rules such as those which might appear in legislation or system specifications is described and some comparisons with other relational formalisms are made. Expand
Making Prolog more Expressive
TLDR
It is shown how the increased expressibility of extended programs and goals can be easily implemented in any PROLOG system which has a sound implementation of the negation as failure rule and SLDNF-resolution. Expand
User control knowledge in a tax consulting system
Abstract The purpose of this paper is to demonstrate the utility of including knowledge possessed by the user in developing a control strategy for an expert consulting system. Acquiring declarativeExpand
Software engineering and artificial intelligence in new generaton computing
TLDR
Current implementations providing support for serial and parallel batch jobs with and without checkpointing and for interactive jobs are compared and future requirements for job management software such as application programmer's interfaces (APIs), cluster-wide resource control, interfaces to system management frameworks, complex interdependent job nets, and usage in the wide area network (WAN) context are discussed. Expand
Logic for problem solving
This book investigates the application of logic to problem-solving and computer programming. It assumes no previous knowledge of these fields, and may be Karl duncker in addition to make difficultExpand
Symbolic Logic: A Razor-Edged Tool for Drafting and Interpreting Legal Documents
TLDR
It is suggested that a new approach to drafting, using certain elementary notions of symbolic logic, can go a long way towards eliminating such inadvertent ambiguity. Expand
An Overview of OWL, a language for knowledge representation
TLDR
OWL consists of a memory of concepts in terms of which all English phrases and all knowledge of an application domain are represented, a theory of English grammar, a parser to perform that mapping for individual sentences, and an interpreter to carry out procedures which are written in the same representational formalism. Expand
Micro-Prolog - programming in logic
  • K. Clark, F. McCabe
  • Computer Science
  • Prentice Hall international series in computer science
  • 1984
TLDR
This book gives introduction to the concepts of logic programming and PROLOG programming and uses the version of PROLOG called Micro-PROLOG, which is a critical path analysis program for logic programming. Expand
The British nationality Act 1981
Modifications etc. (not altering text) C1 Act extended by British Nationality (Falkland Islands) Act 1983 (c. 6, SIF 87), s. 3(1); restricted by British Nationality (Falkland Islands) Act 1983 (c. 6,Expand
...
1
2
3
4
5
...