DMCA
A New System and Methodology for Generating Random Modal Formulae (2001)
| Venue: | Automated Reasoning, First Int. Joint Conf., IJCAR 2001 |
| Citations: | 6 - 4 self |
BibTeX
@INPROCEEDINGS{Patel-Schneider01anew,
author = {Peter F. Patel-Schneider and Roberto Sebastiani},
title = {A New System and Methodology for Generating Random Modal Formulae},
booktitle = {Automated Reasoning, First Int. Joint Conf., IJCAR 2001},
year = {2001},
pages = {464--468},
publisher = {Springer-Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
. Previous methods for generating random modal formulae (for the multi-modal logic K (m) ) result either in flawed test sets or formulae that are too hard for current modal decision procedures and, also, unnatural. We present here a new system and generation methodology which results in unflawed test sets and more-natural formulae that are better suited for current decision procedures. Most empirical testing of decision procedures for propositional modal logics, usually for the multi-modal logic K (m) , employs randomly generated formulae. This style of testing was initially proposed by Giunchiglia et al [3] and later improved by them and also by Hustadt and Schmidt [6, 1]. Other kinds of randomly generated formulae have been proposed by Massacci [7]. Randomly generated formulae have been used with all the recent, highly optimised modal decision procedures, including DLP [8], FaCT [4], KSatC [1], *SAT [2], and TA [6], and have been used in several comparisons of these systems [7]...
Keyphrases
random modal formula new system multi-modal logic more-natural formula decision procedure modal decision procedure current modal decision procedure generation methodology several comparison propositional modal logic flawed test set current decision procedure unflawed test set empirical testing previous method
