Equality of functions in CAST
This paper deals with the systematical checking of the possible equality of two functions or what is the same, of two expressions. The nature of the problem is first considered. The concept of Universe is reexamined. The concepts of Object Attribute Power Table, Prime Universe, Prime Table and Canonical Expression, unique for each class of equivalent functions, are introduced. A procedure to determine the Canonical Expression is presented.
Unable to display preview. Download preview PDF.
- Scot, D. Domains for Denotational Semantics. A connected and expanded Version of a paper prepared for ICALP, 1982, Aarhus, Denmark 1982.Google Scholar
- Pawlak Z., Systemy Informacyjne, ANT, Warzawa, 1983Google Scholar
- Vakarelow D. Consequence Relations and Information Systems in Slowinski, R Intelligent Decision Support, Kluwer A. Publ. Dordrecht 1992Google Scholar
- Genesereth M. R., N.J. Nilsson Logical Foundations of Artificial Intelligence Morgan Kauffman Inc..-Los Altos, Calif. 1987Google Scholar