Dialogue Models for Knowledge Representation
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 formalized discussion between conflicting parties. Systems of formalized discussion that show the same logical behaviour as standard logical systems can be built. We show how such a system with additional fail operator can be used for the treatment of phenomena that are also relevant for natural language discourse. In the paper the following will be analyzed: negative questions, the paradox of the small number, and conditionals.
Unable to display preview. Download preview PDF.
- Barth, E.M., “A New Field: Empirical Logic, Bioprograms, Logemes and Logics as Institutions”, in Synthese 63, 1985Google Scholar
- Gabbay, D.M., “Modal Provability Foundations for Negation by Failure”, internal report Tl.8 ESPRIT project 393, ACORD, 1987Google Scholar
- Harper, W.L. et al. (Eds), Ifs, Dordrecht, 1981Google Scholar
- Hoepelman, J., “On Questions”, in Kiefer, F. (Ed), Questions and Answers, Dordrecht, 1983Google Scholar
- Hoepelman, J. and van Hoof, A.J. M., “Two Party, Two Role Semantics: Knowledge Representation, Conditionals and Non-Monotonicity” Unpublished Paper, IAO-Stuttgart, 1989Google Scholar
- Hoepelman, J. Ph., and van Hoof, A.J.M., “The Success of Failure. The concept of failure in dialogue logics and its relevance for NL-semantics.” Coling 1988, Vol. 1, pp. 250–254.Google Scholar
- Kiefer, F.(Ed), Questions and Answers, Dordrecht, 1983Google Scholar
- McDermott, D. and Doyle, J., “Non-Monotonic Logic I”, in Artificial Intelligence 13, 1980Google Scholar
- Valerius, R., “The Logic of Frame- and Stop-rules in Lorenzen Games.”Dissertation, University of Stuttgart, 1989.Google Scholar