Forgetting in short and heterogeneous sequences of belief revisions
Paolo Liberatore
TL;DR
Heterogeneous sequences, including revisions other than lexicographic, were proved to belong in Delta2 and their previously proved coNP-hardness is enhanced to Dp-hardness.
Abstract
Forgetting a specific belief revision episode may not erase information because the other revisions may provide or entail the same information. Whether it does was proved coNP-hard for sequences of two arbitrary lexicographic revisions or arbitrarily long lexicographic Horn revisions. A polynomial algorithm is presented for the case of two lexicographic Horn revision. Heterogeneous sequences, including revisions other than lexicographic, were proved to belong in Delta2. Their previously proved coNP-hardness is enhanced to Dp-hardness.