Showing 1–6 of 6 results for author: Düntsch, I

The Evolution of Rough Sets 1970s-1981

Authors: Viktor Marek, Ewa Orłowska, Ivo Düntsch

Abstract: In this note research and publications by Zdzisław Pawlak and his collaborators from 1970s and 1981 are recalled. Focus is placed on the sources of inspiration which one can identify on the basis of those publications. Finally, developments from 1981 related to rough sets and information systems are outlined. In this note research and publications by Zdzisław Pawlak and his collaborators from 1970s and 1981 are recalled. Focus is placed on the sources of inspiration which one can identify on the basis of those publications. Finally, developments from 1981 related to rough sets and information systems are outlined. △ Less

Submitted 8 April, 2025; originally announced May 2025.

The fork and its role in unification of closure algebras

Authors: Ivo Düntsch, Wojciech Dzik

Abstract: We consider the two-pronged fork frame $F$ and the variety $\mathbf{Eq}(B_F)$ generated by its dual closure algebra $B_F$. We describe the finite projective algebras in $\mathbf{Eq}(B_F)$ and give a purely semantic proof that unification in $\mathbf{Eq}(B_F)$ is finitary and not unitary. We consider the two-pronged fork frame $F$ and the variety $\mathbf{Eq}(B_F)$ generated by its dual closure algebra $B_F$. We describe the finite projective algebras in $\mathbf{Eq}(B_F)$ and give a purely semantic proof that unification in $\mathbf{Eq}(B_F)$ is finitary and not unitary. △ Less

Submitted 13 November, 2024; v1 submitted 28 September, 2023; originally announced September 2023.

Comments: Updated after reviewers' reports

MSC Class: 03B45 03B70 03G25

Confusion matrices and rough set data analysis

Authors: Ivo Düntsch, Günther Gediga

Abstract: A widespread approach in machine learning to evaluate the quality of a classifier is to cross -- classify predicted and actual decision classes in a confusion matrix, also called error matrix. A classification tool which does not assume distributional parameters but only information contained in the data is based on the rough set data model which assumes that knowledge is given only up to a certai… ▽ More A widespread approach in machine learning to evaluate the quality of a classifier is to cross -- classify predicted and actual decision classes in a confusion matrix, also called error matrix. A classification tool which does not assume distributional parameters but only information contained in the data is based on the rough set data model which assumes that knowledge is given only up to a certain granularity. Using this assumption and the technique of confusion matrices, we define various indices and classifiers based on rough confusion matrices. △ Less

Submitted 4 February, 2019; originally announced February 2019.

Comments: Equal authorship implied. To appear in the Proceedings of the 2019 International Conference on Pattern Recognition and Intelligent Systems (PRIS 2019)

Approximation by filter functions

Authors: Ivo Düntsch, Günther Gediga, Hui Wang

Abstract: In this exploratory article, we draw attention to the common formal ground among various estimators such as the belief functions of evidence theory and their relatives, approximation quality of rough set theory, and contextual probability. The unifying concept will be a general filter function composed of a basic probability and a weighting which varies according to the problem at hand. To compare… ▽ More In this exploratory article, we draw attention to the common formal ground among various estimators such as the belief functions of evidence theory and their relatives, approximation quality of rough set theory, and contextual probability. The unifying concept will be a general filter function composed of a basic probability and a weighting which varies according to the problem at hand. To compare the various filter functions we conclude with a simulation study with an example from the area of item response theory. △ Less

Submitted 20 June, 2018; originally announced June 2018.

Complex Algebras of Arithmetic

Authors: Ivo Düntsch, Ian Pratt-Hartmann

Abstract: An 'arithmetic circuit' is a labeled, acyclic directed graph specifying a sequence of arithmetic and logical operations to be performed on sets of natural numbers. Arithmetic circuits can also be viewed as the elements of the smallest subalgebra of the complex algebra of the semiring of natural numbers. In the present paper, we investigate the algebraic structure of complex algebras of natural n… ▽ More An 'arithmetic circuit' is a labeled, acyclic directed graph specifying a sequence of arithmetic and logical operations to be performed on sets of natural numbers. Arithmetic circuits can also be viewed as the elements of the smallest subalgebra of the complex algebra of the semiring of natural numbers. In the present paper, we investigate the algebraic structure of complex algebras of natural numbers, and make some observations regarding the complexity of various theories of such algebras. △ Less

Submitted 1 December, 2009; v1 submitted 27 November, 2009; originally announced November 2009.

ACM Class: F.1.1

Journal ref: Fundamenta Informaticae, 97 (4), 2009, pp. 347-367

Functions Definable by Numerical Set-Expressions

Authors: Ian Pratt-Hartmann, Ivo Düntsch

Abstract: A "numerical set-expression" is a term specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. If these operations are confined to the usual Boolean operations together with the result of lifting addition to the level of sets, we speak of "additive circuits". If they are confined to the usual Boolean operations together with the result of lifti… ▽ More A "numerical set-expression" is a term specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. If these operations are confined to the usual Boolean operations together with the result of lifting addition to the level of sets, we speak of "additive circuits". If they are confined to the usual Boolean operations together with the result of lifting addition and multiplication to the level of sets, we speak of "arithmetic circuits". In this paper, we investigate the definability of sets and functions by means of additive and arithmetic circuits, occasionally augmented with additional operations. △ Less

Submitted 31 October, 2009; originally announced November 2009.

ACM Class: F.1.1

Journal ref: Journal of Logic and Computation, 24(4), 2013, pp. 873-895