scispace - formally typeset
Book ChapterDOI

Equality of Functions in CAST

Josep Miró, +1 more
- pp 129-136
Reads0
Chats0
TLDR
This paper deals with the systematical checking of the possible equality of two functions or what is the same, of two expressions, and a procedure to determine the Canonical Expression.
Abstract: 
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.

read more

Citations
More filters
Book ChapterDOI

An algebra for the treatment of multivalued Information systems

Margaret Miró-Julià, +1 more
TL;DR: A contribution to the study of an arbitrary multivalued Information System structure is presented by introducing an algebra (not binary) that allows the treatment of multiple valued data tables with systematic algebraic techniques.
Book ChapterDOI

A Numerical Computation for Declarative Expressions

Josep Miró, +1 more
TL;DR: The concepts of cartesian subuniverse and cartesian cosubuniverse are presented, together with a symbolic notation that allows the expression of definitions and theorems in compact array and coarray form.
Book ChapterDOI

The Zero Array: A Twilight Zone

Margaret Miró-Julià
TL;DR: Descriptive knowledge about a multivalued data table or Object Attribute Table can be expressed by means of a binary Boolean based language by way of binary declarations.
Book ChapterDOI

A framework for combining multivalued data: a practical approach

Margaret Miró-Julià
TL;DR: Knowledge Discovery in Databases is the nontrivial process of identifying valid, novel, potentially useful, and understandable patterns in data.
Book ChapterDOI

A Formulation for Language Independent Prelogical Deductive Inference

Josep Miró
TL;DR: A reality, supposedly described by an Object Attrribute Table, and an unspecified language capable to describe subsets of objects are assumed, and a sufficient condition for a statement to be deduced from a set of other statements (premises) is found.
References
More filters
Book

Logical Foundations of Artificial Intelligence

Michael R. Genesereth, +1 more
TL;DR: Typographical Conventions 1 Introduction 1 Bibliographical and Historical Remarks Exercises 2 Declarative Knowledge 2.1 Conceptualization 2.2 Predicate Calculus 2.3 Semantics 2.4 Blocks World Example 2.5 Circuits 2.6 Algebraic Examples 2.7 List Examples 1.9 Specialized Languages 2.8 Reasoning with Uncertain Reasoning 3.1 Probabilities of Sentences 3.4 Provability 3.5 Proving Provability
Book ChapterDOI

Domains for Denotational Semantics

Dana Scott
TL;DR: This paper discusses many examples in an informal way that should serve as an introduction to the theory of domains and proves many things that were done previously axiomatically can now be proved in a straightfoward way as theorems.
BookDOI

Intelligent Decision Support

Roman Słowiński
TL;DR: The paper presents the system LERS for rule induction, which computes lower and upper approximations of each concept and induces certain rules and possible rules that can be induced from the input data.
Book ChapterDOI

Consequence Relations and Information Systems

Dimiter Vakarelov
TL;DR: A representation theory for Scott consequence systems in property systems and in Pawlak's information systems is developed and it is proved that each Scott’s information system can be represented in a certain Pawlaks information system.