Receive a 20% Discount on All Purchases Directly Through IGI Global's Online Bookstore.

Additionally, libraries can receive an extra 5% discount. Learn More

Additionally, libraries can receive an extra 5% discount. Learn More

Boris Alexandrovich Kulik (Institute of Problems in Mechanical Engineering RAS, Russia) and Alexander Yakovlevich Fridman (Institute for Informatics and Mathematical Modelling, Kola Science Centre of RAS, Russia)

Copyright: © 2018
|Pages: 11

DOI: 10.4018/978-1-5225-2255-3.ch173

Chapter Preview

Top*N*-tuple algebra is a mathematical system to deal with arbitrary *n*-ary relations. In NTA, such relations can be expressed as four types of structures called *NTA objects*. Every NTA object is immersed into a certain space of *attributes*. Names of NTA objects contain an identifier followed by a sequence of attributes names in square brackets; these attributes determine the *relation diagram* in which the NTA object is defined. For example, *R*[*XYZ*] denotes an NTA object defined within the space of attributes

D-System: A set of homotypic D - n -tuples equal to the intersection of these D - n -tuples.

C-n-Tuple: An n -tuple of components defined in a certain relation diagram; domain of each component is a subset of the domain of the corresponding attribute.

Collisions: Situations occurring during defeasible reasoning when some new knowledge (hypothesis) is inputted. Such situations can be recognized as violations of some formally expressed rules and/or limitations which control consistency and meaning content of a logical system.

D-n-Tuple: An n -tuple of components enclosed in reversed square brackets and equal to a diagonal C -system with the same diagonal components.

N-Tuple Algebra: An algebraic system whose support is an arbitrary set of n -ary relations expressed by specific structures, namely, C - n -tuple, C -system, D - n -tuple, and D -system. These structures provide a compact expression for sets of elementary n -tuples.

C-System: A set of homotypic C - n -tuples that are denoted as a matrix in square brackets and equal to the intersection of these C - n -tuples. The rows of this matrix are C - n -tuples.

Generalized Operations and Relations: They differ from similar operations and relations of algebra of sets by the only feature: NTA objects (operands) are reduced to the same relation diagram before executing these operations or checking the relations.

Search this Book:

Reset

Copyright © 1988-2018, IGI Global - All Rights Reserved