Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions

Patrick Doherty, Andrzej Szalas

Forgetting is an important concept in knowledge representation and automated reasoning with widespread applications across a number of disciplines. A standard forgetting operator,…