论文信息 - A New System and Methodology for Generating Random Modal Formulae

A New System and Methodology for Generating Random Modal Formulae

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.

Peter F. Patel-Schneider | Roberto Sebastiani

[1] Fausto Giunchiglia,et al. Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m) , 2000, Inf. Comput..

[2] Fausto Giunchiglia,et al. Sat vs. Translation Based Decision Procedures for Modal Logics: a Comparative Evaluation Istituto per La Ricerca Scientifica E Tecnologica Sat vs. Translation Based Decision Procedures for Modal Logics: a Comparative Evaluation , 1998 .

[3] Ian Horrocks,et al. Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[4] Ullrich Hustadt,et al. An empirical analysis of modal theorem provers , 1999, J. Appl. Non Class. Logics.

[5] Ian Horrocks,et al. An Analysis of Empirical Testing for Modal Decision Procedures , 2000, Log. J. IGPL.

[6] Fabio Massacci. Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison , 1999, TABLEAUX.

[7] Peter F. Patel-Schneider,et al. DLP System Description , 1998, Description Logics.

[8] Fausto Giunchiglia,et al. The SAT-Based Approach for Classical Modal Logics , 1999, AI*IA.