Approved for Public Release; distribution is unlimited / Formal methods hold significant potential for automating the development, refinement, and implementation of policy. For this potential to be realized, however, improved techniques are required for converting natural-language statements of policy into a computational form. In this paper we present and analyze an architecture for carrying out this conversion. The architecture employs semantic networks to represent both policy statements and objects in the domain of those statements. We present a case study which illustrates how a system based on this architecture could be developed. The case study consists of an analysis of natural language policy statements taken from a policy document for web sites at a university, and is carried out with support from a software tool we developed which converts text output from a natural language parser into a graphical form. / Naval Postgraduate School author (civilian).
Identifer | oai:union.ndltd.org:nps.edu/oai:calhoun.nps.edu:10945/1125 |
Date | 03 1900 |
Creators | Custy, E. John |
Contributors | Michael, James Bret, Rowe, Neil C., Software Engineering |
Publisher | Monterey, California. Naval Postgraduate School |
Source Sets | Naval Postgraduate School |
Detected Language | English |
Type | Thesis |
Format | xii, 93 p. : ill. (some col.) ;, application/pdf |
Rights | Copyright is reserved by the copyright owner. |
Page generated in 0.0019 seconds