AI SearchAIT regulations as a case study for legal reasoning in logic programming
Call Number: AIT Thesis no. CS-91-32 Material type:
SeriesSeries: Asian Institute of Technology. Thesis ; no. CS-91-32Publication details: Bangkok : Asian Institute of Technology, 1991Description: 111 pSubject(s): Online resources: Dissertation note: Thesis (M.Sc.) - Asian Institute of Technology, 1991 Summary: Logic programming has been applied to a variety of examples in laws, rules and regulations of different kinds. Many researchers have suggested several ways in which the basic model of logic programming could be usefully extended for representation in the legal domain. The representation of rules and regulations of the Asian Institute of Technology in logic programming is investigated and a demonstration system for reasoning about rules and regulations is presented in this thesis. The method emphasizes both the prospects of using logic programming to build legal applications as well as its application for knowledge representation.
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
22-AIT Thesis (Replacement)
|
Asian Institute of Technology Library AIT Publications | AIT Thesis no. CS-91-32 (Browse shelf(Opens below)) | 3 | Available | 30050120676910 | |||||||||||||
40-Archives
|
Asian Institute of Technology Library Archives | AIT Thesis no. CS-91-32 (Browse shelf(Opens below)) | Available | 30050120353346 |
A thesis subm:itted .in partial fulfillinent af the requirements for the degree af Master af Science, School of Engineering and Technology
Thesis (M.Sc.) - Asian Institute of Technology, 1991
Logic programming has been applied to a variety of examples in laws, rules and regulations of different kinds. Many researchers have suggested several ways in which the basic model of logic programming could be usefully extended for representation in the legal domain. The representation of rules and regulations of the Asian Institute of Technology in logic programming is investigated and a demonstration system for reasoning about rules and regulations is presented in this thesis. The method emphasizes both the prospects of using logic programming to build legal applications as well as its application for knowledge representation.
There are no comments on this title.