THE INFLUENCE OF DELOCALIZATION ON THE RESULTS OF ELIMINATING REPETITIONS OF SEMANTICALLY EQUIVALENT SENTENCES IN THE MML DATABASE

• Authors: Milewski Robert
• Languages of publication: EN

Abstracts

EN

Detecting and removing repetitions of semantically equivalent sentences improves the quality of the MML database, but it is also an important factor in evaluating the robustness of the Mizar system. However, the complicated structure of proofs in the MML database makes it very difficult to automatically discover and remove such repetitions. One possible solution to this problem may be to apply the delocalization process, i.e. moving some sentences to outer levels of a proof where the elimination of repetitions becomes possible.

Keywords

EN

DELOCALIZATION; SEMANTICALLY EQUIVALENT SENTENCES

Discipline

• LIBRARY_&_INFORMATION_SCIENCE: LIBRARY & INFORMATION SCIENCE

• Publisher: Sciendo
• Journal: Studies in Logic, Grammar and Rhetoric
• Year: 2009
• Issue: 18(31)
• Pages: 79-88
• Document type: ARTICLE

Contributors

author

Milewski Robert

• Robert Milewski, Institute of Computer Science, University of Bialystok, Sosnowa 64, Bialystok, Poland

Identifiers

CEJSH db identifier

11PLAAAA10166