The first three authors have been partially supported by the project MSM 6198898701 and 1M0572 of the M ˇ SMTČR. Abstract We show that on the basis of preserving monotonicity an improved algorithm of image compression and reconstruction can be proposed. The algorithm is based on partitioning the range of the function f I which corresponds to an image I.
This paper follows the work of T. Richards specialization Clausal Form Logic formal system of the first order logic. The paper presents also the way of using graph-based clausal form statements in the frame of semantic (associative) networks. The goal of our research is to follow the direction towards graph-based clausal form knowledge representation shaped… (More)
A novel theoretical background of fuzzy associative memories (FAM) is proposed. A framework of formal concept analysis is used for a new working theory of FAM. Two principal activities of FAM are formalized : data retrieval and noise reduction. It is shown that the problem of data retrieval is connected with solvability and eigen sets of a certain system of… (More)