Random Formula Generators
In this article, we provide three generators of propositional formulae for arbitrary languages, which uniformly sample three different formulae spaces. They take the same three parameters as input, namely, a desired depth, a set of atomics and a set of logical constants (with specified arities). The...
Saved in:
| Main Authors | , |
|---|---|
| Format | Journal Article |
| Language | English |
| Published |
08.10.2021
|
| Subjects | |
| Online Access | Get full text |
| DOI | 10.48550/arxiv.2110.09228 |
Cover
Loading…
| Abstract | In this article, we provide three generators of propositional formulae for
arbitrary languages, which uniformly sample three different formulae spaces.
They take the same three parameters as input, namely, a desired depth, a set of
atomics and a set of logical constants (with specified arities). The first
generator returns formulae of exactly the given depth, using all or some of the
propositional letters. The second does the same but samples up-to the given
depth. The third generator outputs formulae with exactly the desired depth and
all the atomics in the set. To make the generators uniform (i.e. to make them
return every formula in their space with the same probability), we will prove
various cardinality results about those spaces. |
|---|---|
| AbstractList | In this article, we provide three generators of propositional formulae for
arbitrary languages, which uniformly sample three different formulae spaces.
They take the same three parameters as input, namely, a desired depth, a set of
atomics and a set of logical constants (with specified arities). The first
generator returns formulae of exactly the given depth, using all or some of the
propositional letters. The second does the same but samples up-to the given
depth. The third generator outputs formulae with exactly the desired depth and
all the atomics in the set. To make the generators uniform (i.e. to make them
return every formula in their space with the same probability), we will prove
various cardinality results about those spaces. |
| Author | Roffe, Ariel J Calderon, Joaquin S. Toranzo |
| Author_xml | – sequence: 1 givenname: Ariel J surname: Roffe fullname: Roffe, Ariel J – sequence: 2 givenname: Joaquin S. Toranzo surname: Calderon fullname: Calderon, Joaquin S. Toranzo |
| BackLink | https://doi.org/10.48550/arXiv.2110.09228$$DView paper in arXiv |
| BookMark | eNrjYmDJy89LZWCQNDTQM7EwNTXQTyyqyCzTMzIEChhYGhlZcDJIBiXmpeTnKrjlF-WW5iQquKfmpRYlluQXFfMwsKYl5hSn8kJpbgZ5N9cQZw9dsCHxBUWZuYlFlfEgw-LBhhkTVgEAmgUp5w |
| ContentType | Journal Article |
| Copyright | http://creativecommons.org/licenses/by/4.0 |
| Copyright_xml | – notice: http://creativecommons.org/licenses/by/4.0 |
| DBID | AKY AKZ GOX |
| DOI | 10.48550/arxiv.2110.09228 |
| DatabaseName | arXiv Computer Science arXiv Mathematics arXiv.org |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: GOX name: arXiv.org url: http://arxiv.org/find sourceTypes: Open Access Repository |
| DeliveryMethod | fulltext_linktorsrc |
| ExternalDocumentID | 2110_09228 |
| GroupedDBID | AKY AKZ GOX |
| ID | FETCH-arxiv_primary_2110_092283 |
| IEDL.DBID | GOX |
| IngestDate | Tue Jul 22 21:57:34 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-arxiv_primary_2110_092283 |
| OpenAccessLink | https://arxiv.org/abs/2110.09228 |
| ParticipantIDs | arxiv_primary_2110_09228 |
| PublicationCentury | 2000 |
| PublicationDate | 2021-10-08 |
| PublicationDateYYYYMMDD | 2021-10-08 |
| PublicationDate_xml | – month: 10 year: 2021 text: 2021-10-08 day: 08 |
| PublicationDecade | 2020 |
| PublicationYear | 2021 |
| Score | 3.5500617 |
| SecondaryResourceType | preprint |
| Snippet | In this article, we provide three generators of propositional formulae for
arbitrary languages, which uniformly sample three different formulae spaces.
They... |
| SourceID | arxiv |
| SourceType | Open Access Repository |
| SubjectTerms | Computer Science - Logic in Computer Science Mathematics - Logic |
| Title | Random Formula Generators |
| URI | https://arxiv.org/abs/2110.09228 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwY2BQMU4xBhaBlmm6yWmpRrom5saWuokpSUCuqWmqubmlIbDGBO0d9vUz8wg18YowjWBiUIDthUksqsgsg5wPnFSsD-qd6BlYGhlZMDMwA0nQZl7_CMjkJPgoLqh6hDpgGxMshFRJuAky8ENbdwqOkOgQYmBKzRNhkAwC9tbzcxXcgM3D0pxEBchJz6BbbkQZ5N1cQ5w9dMGGxRdATn6IB9kTD7bHWIyBBdg_T5VgUEgzTE0xMUtOMTdOMjNJMjS1MEhMSjVMNLNMNU1ONLMwkGSQwGWKFG4paQYuI9DyCfByMxkGlpKi0lRZYP1XkiQHDgQAyTJeJA |
| linkProvider | Cornell University |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Random+Formula+Generators&rft.au=Roffe%2C+Ariel+J&rft.au=Calderon%2C+Joaquin+S.+Toranzo&rft.date=2021-10-08&rft_id=info:doi/10.48550%2Farxiv.2110.09228&rft.externalDocID=2110_09228 |