Semantic analysis for system level design automation

Simple item page
dc.contributor.authorGreenwood, Roben
dc.contributor.committeechairCyre, Walling R.en
dc.contributor.committeememberArmstrong, James R.en
dc.contributor.committeememberHa, Dong Samen
dc.contributor.departmentElectrical Engineeringen
dc.date.accessioned2014-03-14T21:46:57Zen
dc.date.adate2009-10-06en
dc.date.available2014-03-14T21:46:57Zen
dc.date.issued1992-09-15en
dc.date.rdate2009-10-06en
dc.date.sdate2009-10-06en
dc.description.abstractThis thesis describes the design and implementation of a system to extract meaning from natural language specifications of digital systems. This research is part of the ASPIN project which has the long-term goal of providing an automated system for digital system synthesis from informal specifications. This work makes several contributions, one being the application of artificial intelligence techniques to specifications writing. Also, the work deals with the subset of the English language used to describe digital systems, and the concepts within this domain have been classified into a type hierarchy. Finally, a set of relations has been defined to represent the interrelationships between the concepts of the sublanguage. This work centers around the modeling of information found in natural language specifications of digital systems. The target know ledge representation for the work is the conceptual graph, developed by John Sowa. Conceptual graphs provide a sound theoretical base as well as enough versatility to model the information found in digital system specifications. The transformation from natural language to conceptual graphs is done in two stages. In the first stage, a previously developed context-free English language parser is used to create trees of sentence structure. In the second stage, the trees are processed by a semantic analyzer which uses a conceptual type hierarchy and a database of rules to extract the meaning from the English sentence and create the conceptual graph. The main work of this thesis centers around the semantic analyzer which is written in Quintus Prolog. The semantic analyzer currently contains approximately 380 canonical conceptual graphs that cover usage of over 680 words consisting of over 240 nouns and over 460 verbs.en
dc.description.degreeMaster of Scienceen
dc.format.extentx, 170 leavesen
dc.format.mediumBTDen
dc.format.mimetypeapplication/pdfen
dc.identifier.otheretd-10062009-020216en
dc.identifier.sourceurlhttp://scholar.lib.vt.edu/theses/available/etd-10062009-020216/en
dc.identifier.urihttp://hdl.handle.net/10919/45026en
dc.language.isoenen
dc.publisherVirginia Techen
dc.relation.haspartLD5655.V855_1992.G7447.pdfen
dc.relation.isformatofOCLC# 27371025en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subject.lccLD5655.V855 1992.G7447en
dc.subject.lcshDigital electronicsen
dc.subject.lcshProgramming languages (Electronic computers) -- Semanticsen
dc.titleSemantic analysis for system level design automationen
dc.typeThesisen
dc.type.dcmitypeTexten
thesis.degree.disciplineElectrical Engineeringen
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen
thesis.degree.levelmastersen
thesis.degree.nameMaster of Scienceen

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
LD5655.V855_1992.G7447.pdf
Size:
5.9 MB
Format:
Adobe Portable Document Format
Download

Collections

Masters Theses