Inequality reasoning

Graduate Project

Public Deposited

Citeable URL: https://ir.library.oregonstate.edu/concern/graduate_projects/6h4412276

Descriptions

Attribute Name	Values
Creator	Leixuan, Yang
Abstract	One of the tasks of inequality reasoning is to determine the relationship between two quantities for any given set of qualitative constraints. For implementation of this kind of reasoning, Simmons [1] has provided a technique called the "graph search" (GS). This paper briefly reviews GS technique, then presents an implementation of in equality reasoning based upon an improved graph search (IGS) method. The values of this improved technique are that it is able to deal with conditional information and that the IGS search space is never greater than the search space of GS, and under certain circumstances is smaller.
Resource Type	Capstone Project
Date Issued	1988-04-26
Degree Level	Master's
Degree Name	Master of Science (M.S.)
Degree Field	Computer Science
Degree Grantor	Oregon State University
Commencement Year	1988
Advisor	D'Ambrosio, Bruce
Committee Member	Budd, Timothy Cook, Curtis R.
Academic Affiliation	Computer Science
Déclaration de droits	In Copyright
Publisher	Oregon State University
Peer Reviewed	No
Language	English [eng]

La vignette	Titre	Date de téléchargement	Visibilité	actes
	Yang_Leixuan_1988_04_26.pdf	2023-01-06	Public	Télécharger