An experiment in reducing run time costs for a model constructor in partial information logic

Publication: 
Sault Ste. Marie, Ont.:
Standard No: 
OSTMA-COSC-Kraushaar-Michelle-19970404
Language: 
All material is in English.
Creator: 

Kraushaar, Michelle

GMD: 
electronic
textual record
Historical Context: 

This paper discusses an experiment in implementing a Modus Ponens and Contextual Modus Ponens reducer function for Partial Information Logic model generation. The reducer is a preprocessor that is to be used with the PIL implementation of a beth tableau generator as developed by Rajnovich and Nait Abdallah.

Responsibility: 
Michelle Kraushaar
Start Date: 
1997
Description Level: 
File
End Date: 
1997
Date Range: 
1997 April 04
Document: 
PDF icon 2013-064_001_004.pdf
Physical Description: 

991.22 KB of textual records (pdf)

Notes: 

Audience: Undergraduate. -- Dissertation: Thesis (B. A.). -- Algoma University, 1997. -- Submitted in partial fulfillment of course requirements for COSC 4235. -- Includes figures and tables. -- Contents: Thesis.

rec_shelfloc: 
2013-064-001
Repository: 
Algoma University Archive
Accession No: 
Algoma University Theses collection
Container Number: 
001