Project report (M.C.S.)--Virginia Polytechnic Institute and State University, 1991. / Vita. Abstract. Includes bibliographical references (leaves 116-118). Also available via the Internet.

Report (M.S.)--Virginia Polytechnic Institute and State University. M.S. 1991. / Abstract. Includes bibliographical references (leaves 80-81). Also available via the Internet.

Many expert systems have been developed over the past decades. ProGrammar is a modest expert system shell that has been developed recently. It is built on top of the CProlog/UNIX* system running on a VAX† 11/750. ProGrammar is designed for processing and developing grammars. It can also be used as a knowledge base constructor for other fields besides grammars, a learning tool, a Prolog interpreter, and as a consulting system. ProGrammar is an interactive system meaning not only can the user query ProGrammar but ProGrammar also can question the user. The user is allowed to request an explanation from the ProGrammar on how the solution to the query was derived. / Science, Faculty of / Computer Science, Department of / Graduate

DLOG is a logic-based data model developed to show how logic-programming can combine contributions of Data Base Management (DBM) and Artificial Intelligence (AI). The DLOG specification includes a language syntax, a proof (or query evaluation) procedure, a description of the language's semantics, and a specification of the relationships between assertions, queries, and application databases. DLOG's data description language is the Horn clause subset of first order logic [Kowalski79, Kowalski81], augmented with descriptive terms and non-Horn integrity constraints. The descriptive terms are motivated by AI representation language ideas, specifically, the descriptive terms of the KRL language [Bobrow77]. A similar facility based on logical descriptions is provided in DLOG. DLOG permits the use of definite and indefinite descriptions of individuals and sets in queries and assertions. The meaning of DLOG's extended language is specified as Horn clauses that describe the relation between the basic language and the extensions. The experimental implementation is a Prolog program derived from that specification. The DLOG implementation relies on an extension to the standard Prolog proof procedure. This includes a "unification" procedure that matches embedded terms by recursively invoking the DLOG proof procedure (cf. LOGLISP [Robinson82]). The experimental system includes Prolog implementations of traditional database facilities (e.g., transactions, integrity constraints, data dictionaries, data manipulation language facilities), and an idea for using logic as the basis for heuristic interpretation of queries. This heuristic uses a notion of partial, match or sub-proof to produce assumptions under which plausible query answers can be derived. The experimental DLOG knowledge base management system is exercised by describing an undergraduate degree program. The example application is a description of the Bachelor of Computer Science degree requirements at The University of British Columbia. This application demonstrates how DLOG's descriptive terms provide a concise description of degree program knowledge, and how that knowledge is used to specify student programs and select program options. / Science, Faculty of / Computer Science, Department of / Graduate

Two methods for improving the quality of Computer Assisted Instruction are examined. They are: using Intelligent Computer Assisted Instruction techniques to make the CAI system more flexible, and using graphics to increase the efficacy of teaching. Two computer systems for teaching the Logic Programming language Prolog were developed. The first is an ICAI system which uses the prerequisite relationships of the course material to plan a course of study. It distinguishes between methods of instruction and topics of instruction, giving students a great deal of freedom in choosing either one. The second is an animated trace which graphically illustrates the execution of Prolog programs. Information is displayed in three windows — one for Prolog goals, one for the database, and one for output from the program being traced. Results indicate that ICAI and graphics can both be used effectively in the teaching of programming languages, particularly in combination. / Science, Faculty of / Computer Science, Department of / Graduate

Call number: LD2668 .T4 1986 P42 / Master of Science / Computing and Information Sciences

by Ma Wai Yan. / Includes bibliographical references / Thesis (M.Ph.)--Chinese University of Hong Kong, 1985

Typescript (photocopy). / Digitized by Kansas Correctional Industries

Typescript (photocopy). / Digitized by Kansas Correctional Industries

No description available.