Computational Linguistics Colloquium
DFKI/MPI Logic Seminar

Wednesday, November 21, 14:15, DFKI, Room +2.07
NOTE UNUSUAL DAY, TIME, AND PLACE

Anti-formulas, Anti-elements and the Logic of Deletion

Deletion is a central operation in artificial intelligence, logic (belief revision) and automated reasoning. Yet there is no object level logic of deletion. Deletion is recognised as a metalevel operation, but once a formula is deleted from a database there is no logic to calculate its consequences.

Given a language and a logic we shall add to it a new connective anti-, associating with every x the new expression anti-x. The job of anti-x is to delete x. We shall propose additional axioms for anti- that will turn the new system into a coherent logic with semantics. The new system will be able to do deletion in the object level.

Our approach is proof theoretical and is computationally tractable.

If you would like to meet with the speaker, please contact Jörg Siekmann.