Results found: 2

Search results

Sort By:

Limit search:

IMPROVING REPRESENTATION OF KNOWLEDGE WITHIN THE MIZAR LIBRARY

100%

Grabowski A., Schwarzweller C.

Studies in Logic, Grammar and Rhetoric

2009

issue 18(31)

35-50

Efficient handling of extensive repositories is one of the major objectives of mathematical knowledge management. It is naturally connected, in order to attract more potential users (both researchers and students), with the need to build large libraries of formalized mathematics, and these two activities should not interfere. This may be achieved by constant enhancement of the quality of digital repositories, in which the proofs can additionally be verified with the help of proof assistants. Based on our experience with the MML we discuss some of the issues concerned with this process, describe mechanisms of revisions which seem to be indispensable to meet the expectations of contemporary mathematicians. We argue that even careful reviewing of contributions cannot cope with the task of keeping a mathematical repository efficient and clearly arranged in the long term.

TWO FORMAL APPROACHES TO ROUGH SETS

100%

Grabowski A., Jastrzebska M.

Studies in Logic, Grammar and Rhetoric

2009

issue 18(31)

25-34

The formalization of rough sets in a way understable to machines seems to be far beyond the test phase. For further research, we try to encode the bunch of classical papers within RST and as the testbed of already developed foundations of the theory we try to adopt the interval set model to put it within the existing set-theory machinery in the Mizar computer-checked repository.

Refine search results

2 Studies in Logic, Grammar and Rhetoric

2 2009

2 Grabowski A.

1 Jastrzebska M.

1 Schwarzweller C.

Search results

IMPROVING REPRESENTATION OF KNOWLEDGE WITHIN THE MIZAR LIBRARY

TWO FORMAL APPROACHES TO ROUGH SETS