See this document in CiteSeerX!

First-Order Logical Formalization of Dialogue Models for Natural Language Interface Systems  (Make Corrections)  
Noriaki Izumi, Shinobu Takamatsu, et al.



  Home/Search   Context   Related

 
View or download:
links.nectec.or.th/pub/NL...dlg4r.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  links.nectec.or.th/NLP...abstract (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: 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... (Update)

Active bibliography (related documents):   More   All
0.5:   Partially Persistent Binary Search Trees with Transcript Operations - Larsen (1997)   (Correct)
0.1:   Modelling Interaction in Agent Systems - Dalmonte, Gaspari (1995)   (Correct)
0.1:   Modelling Interactions in Agent System - Gaspari (1995)   (Correct)

Similar documents based on text:   More   All
0.2:   English-Japanese Translation Through Case-Structure Conversion - Fujio Nishida Shinobu (1980)   (Correct)
0.2:   Performance of (D,d)-OM Search - Gao, Iida, Uiterwijk, van den Herik (1997)   (Correct)
0.1:   Production of Video Images by Computer Controlled Camera.. - Masaki Onishi Masao (2000)   (Correct)

BibTeX entry:   (Update)

@misc{ izumi-firstorder,
  author = "Noriaki Izumi and Shinobu Takamatsu and et al.",
  title = "First-Order Logical Formalization of Dialogue Models for Natural Language
    Interface Systems",
  url = "citeseer.ist.psu.edu/88652.html" }
Citations (may not include all citations):
72   Belief Revision and Default Reasoning: SyntaxBased Approache.. - Nebel - 1991
11   Reflections about Reflection (context) - Attardi, Simi - 1991
8   Artificial Intelligence (context) - Poole, Framework et al. - 1988
6   Cambridge Univ (context) - Searle, Acts et al. - 1969
2   Cummings Publishing Company (context) - Allen, Understanding et al. - 1994
1   Reasoning about Actions and Plans (context) - Pollack, of et al. - 1986
1   A First Order Logic of Truth, Knowledge and Belief (context) - Davies - 1990
1   Transformation between Japanese expressions and formal expre.. (context) - Nishida, Takamatsu et al. - 1988
1   Firstorder Logic Based Situational and Dynamic Interpretatio.. (context) - Takamatsu, Izumi et al. - 1995

Documents on the same site (http://www.links.nectec.or.th/NLPRS/paper/abstract.html):   More
A Method for Identifying Topic-changing Articles in.. - Uchimoto, Ozaku, Isahara (1997)   (Correct)
Building a Japanese Parsed Corpus while Improving the Parsing .. - Kurohashi, Nagao (1998)   (Correct)
Phrasal Transfer Model for Vietnamese-English Machine.. - Hai, Kawtrakul, Poovorawan   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC