Discovering salient data features by composing and manipulating logical equations

Sitnikov, D. E.; D'Cruz, B.; Sitnikova, P. E.

Публікація:
Discovering salient data features by composing and manipulating logical equations

dc.contributor.author	Sitnikov, D. E.
dc.contributor.author	D'Cruz, B.
dc.contributor.author	Sitnikova, P. E.
dc.date.accessioned	2018-06-05T12:13:43Z
dc.date.available	2018-06-05T12:13:43Z
dc.date.issued	2000
dc.description.abstract	The paper suggests a method of representing knowledge in the form of logical equations of a special type. We show that deductive inferences about the salient data features in a knowledge base can be represented by a set of logical equations. We describe how logical equations with finite predicates can be successfully used for the description of logical links between discrete features, and how this can be applied to pattern recognition and data mining. New knowledge about logical links between discrete features in the data can be obtained by eliminating variables from these equations with the help of the operation ∃, and we describe this process in detail. We consider the application of the operation ∃ to a logical equation as an analogue to a query in a database. The process results in a dependence between the features subsequent to application of the elimination procedure that is easier to interpret than the dependence represented in the original equations, and is obtained without the need for exhaustive searching. We recursively define a class of finite predicates that allow eliminating variables without increasing the size of the original equation, and show how this can be applied for knowledge discovery using logical data modelling.	uk_UA
dc.identifier.citation	Sitnikov D. E. Discovering salient data features by composing and manipulating logical equations / D.E. Sitnikov, B. D'Cruz, P. E. Sitnikova // Management Information Systems. – 2000. – V. 2. – P. 241-248	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/5804
dc.language.iso	en	uk_UA
dc.publisher	Management Information Systems	uk_UA
dc.subject	boolean functions	uk_UA
dc.subject	data acquisition	uk_UA
dc.subject	data mining	uk_UA
dc.subject	data structures	uk_UA
dc.subject	database systems	uk_UA
dc.subject	pattern recognition	uk_UA
dc.subject	analytical solutions	uk_UA
dc.subject	data modeling	uk_UA
dc.subject	logical equations	uk_UA
dc.subject	formal logic	uk_UA
dc.title	Discovering salient data features by composing and manipulating logical equations	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication