arXiv Open Access 2020

Reconstructing a single-head formula to facilitate logical forgetting

Paolo Liberatore

Lihat Sumber

Abstrak

Logical forgetting may take exponential time in general, but it does not when its input is a single-head propositional definite Horn formula. Single-head means that no variable is the head of multiple clauses. An algorithm to make a formula single-head if possible is shown. It improves over a previous one by being complete: it always finds a single-head formula equivalent to the given one if any.

Topik & Kata Kunci

cs.AI cs.LO

Penulis (1)

Paolo Liberatore

Format Sitasi

APA MLA BibTeX

Liberatore, P. (2020). Reconstructing a single-head formula to facilitate logical forgetting. https://arxiv.org/abs/2012.10191

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2020
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓