First-Order Logical Formalization of Dialogue Models for Natural Language Interface Systems

For the design of natural language interface systems, a number of models and theories have been developed as well as language processing systems. We propose a model of dialogue systems by a first-order logical formalization based on meta logics. This model captures various concepts of dialogue systems: the concepts of software systems talking about such as time, actions, conditional and causality, the concepts of mental attitudes including speech act. A first-order logical language for programming dialogue systems is given, which clarifies the relationship among theories as dialogue models and architecture as processing systems. 1 Introduction For assistance of software design and software validation, a lot of natural language interface systems have been developed as well as various theories and models including philosophical arguments (Allen 94). According to the standpoint of Searle on speech act(Searle 69), we are able to divide the representation of utterances into two parts: prop..