Login

Publications  •  Project Statistics

Glossary  •  Schools  •  Disciplines
People Search: 
   
Title/Abstract Search: 

Dissertation Information for Margaret Christensen

NAME:
- Margaret Christensen

DEGREE:
- Ph.D.

DISCIPLINE:
- Computer Science

SCHOOL:
- Temple University (USA) (1987)

ADVISORS:
- None

COMMITTEE MEMBERS:
- None

MPACT Status: Incomplete - Inspected

Title: EXPLANATION GENERATION FROM ALGEBRAIC SPECIFICATION THROUGH HYPERRESOLUTION AND DEMODULATION: AUTOMATED HEURISTIC ASSISTANCE

Abstract: AHA delivers semantic help to users of interactive systems. It possesses the following six capabilities: (1) It can report the user's current state. (2) It can list all of the commands which are legal in the user's current state. (3) It can explain the meaning of a given command. (4) It can explain how the user got to the current state. (5) It can explain the consequences of the issuance of hypothetical commands from the current state. (6) It can tell the user how to get to a goal state, and if requested, explain why this will do the job. Knowledge about the software is represented through algebraic specification and question answering is handled by a resolution-based theorem prover with demodulation for the treatment of equality. A demonstration version is implemented for a subset of DEC command language.

MPACT Scores for Margaret Christensen

A = 1
C = 3
A+C = 4
T = 1
G = 1
W = 1
TD = 1
TA = 0
calculated 2008-01-31 06:02:55

Advisors and Advisees Graph

generating graph, please reload

Students under Margaret Christensen

ADVISEES:
- Lewis Hassell - Drexel University (1995)

COMMITTEESHIPS:
- Yvonne Lederer Antonucci - Drexel University (1992)
- Philip E. Fitz - Drexel University (1994)
- Rebecca S. Lipner - Drexel University (1994)