The British Nationality Act as a logic program
Communications of the ACM
A Prolog model of the income tax act of Canada
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
BYTE
LITES, an intelligent tutoring system for legal problem solving in the domain of Dutch Civil law
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Evaluating a learning environment for case-based argumentation skills
Proceedings of the 6th international conference on Artificial intelligence and law
Artificial Intelligence - Special issue on AI and law
Hi-index | 0.00 |
The author describes five separate projects he has undertaken in the intersection of computer science and Canadian income tax law. They are:A computer-assisted instruction (CAI) course for teaching income tax, programmed using conventional CAI techniques;A “document modeling” computer program for generating the documentation for a tax-based transaction and advising the lawyer-user as to what decisions should be made and what the tax effects will be, programmed in a conventional language;A prototype expert system for determining the income tax effects of transactions and tax-defined relationships, based on a PROLOG representation of the rules of the Income Tax Act;An intelligent CAI (ICAI) system for generating infinite numbers of randomized quiz questions for students, computing the answers, and matching wrong answers to particular student errors, based on a PROLOG representation of the rules of the Income Tax Act; andA Hypercard stack for providing information about income tax, enabling both education and practical research to follow the user's needs path.The author shows that non-AI approaches are a way to produce packages quickly and efficiently. Their primary disadvantage is the massive rewriting required when the tax law changes. AI approaches based on PROLOG, on the other hand, are harder to develop to a practical level but will be easier to audit and maintain. The relationship between expert systems and CAI is discussed.