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

Submitted by reedelderc on Mon, 05/13/2013 - 15:36

Description

Creator:

Kraushaar, Michelle

Responsibility:

Michelle Kraushaar

Start Date:

1997

End Date:

1997

Date Range:

1997 April 04

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.

Bibliographic Information

Publication:

Sault Ste. Marie, Ont.:

Standard No:

OSTMA-COSC-Kraushaar-Michelle-19970404

Physical Location

rec_shelfloc:

2013-064-001

Repository:

Algoma University Archive

Accession No:

Algoma University Theses collection

Container Number:

001

Conservation

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.

Language:

All material is in English.

GMD:

electronic

textual record

Description Level:

File

Document: