Defining logic structures in functional spaces

Sitnikov, D.; Matski, N.; Ryabov, O.

Публікація:
Defining logic structures in functional spaces

dc.contributor.author	Sitnikov, D.
dc.contributor.author	Matski, N.
dc.contributor.author	Ryabov, O.
dc.date.accessioned	2018-06-04T18:47:13Z
dc.date.available	2018-06-04T18:47:13Z
dc.date.issued	2007
dc.description.abstract	Many practical problems of geometric information representation and pattern recognition require specific methods and tools for describing complex functions and geometric objects in a way that allows us to use such descriptions for making effective mathematical transformations and logic inferences. Since in real world situations we rarely encounter ideal objects that can be described with the help of one elementary function it is important to develop methods and models for integrating geometric information. There are some original approaches to describing complicated geometric structures, one of which is a method based on so-called R-functions. These functions allow complicated geometric objects to be described analytically, which gives an opportunity to operate with complex objects with the help of a single real function. The concept of R-functions is quite simple but the range of practical applications of this theory is very broad. In this paper we have suggested a generalization of R-functions, which we call Rp-functions. Any R-function can be associated with a Boolean function and it is always possible to construct an R-function corresponding to a given Boolean one. Similarly, any Rp-function can be associated with a finite predicate and it is always possible to construct an Rp-function corresponding to a given predicate. If R-functions allow us to use Boolean logic for describing complex objects, Rp-functions provide a possibility of using predicate logic, which is more rich and general than Boolean one. Like R-functions, Rp-functions allow the use of knowledge on what logic rules have been used for constructing a complex object to build a function which is positive inside the given domain and negative outside it. Rp-functions also seem to be interesting by themselves as they allow discovery of logic properties of quite a large class of real functions.	uk_UA
dc.identifier.citation	Sitnikov D. Defining logic structures in functional spaces / D. Sitnikov, N. Matski, O. Ryabov // WIT Transactions on Information and Communication Technologies. – 2007. – V. 38. – P. 75-81.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/5788
dc.language.iso	en	uk_UA
dc.publisher	WIT Transactions on Information and Communication Technologies	uk_UA
dc.subject	data structures	uk_UA
dc.subject	functional analysis	uk_UA
dc.subject	information analysis	uk_UA
dc.subject	mathematical transformations	uk_UA
dc.subject	pattern recognition	uk_UA
dc.subject	problem solving	uk_UA
dc.title	Defining logic structures in functional spaces	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication