Paper: The Success Of Failure The Concept Of Failure In Dialogue Logics And Its Relevance For NL-Semantics

ACL ID C88-1051
Title The Success Of Failure The Concept Of Failure In Dialogue Logics And Its Relevance For NL-Semantics
Venue International Conference on Computational Linguistics
Session Main Conference
Year 1988
Authors

In this paper we present a new interpretation of failure, a concept to which a lot of attention is being paid in the field of artificial intelligence research, especially due to the rise of the programming language PROLOG that treats negation as procedural failure. Our interpretation of failure, however, does not originate from research in the foundations of PROLOG. We present it here as an outcome of research on so-called dialogue logics, a tradition in logic research that envisages a logical proof as a formaliz~ed discussion between conflicting parties. Systems of formalized discussion that show the same logical behaviour as standard logical systems can be build. We show how such a system with additional fall operator can be used for the treatment of phenomena that are also relevant for ...