Dialogue

Dialogue-PDF Download

  • Date:01 Aug 2020
  • Views:6
  • Downloads:0
  • Pages:151
  • Size:1.20 MB

Share Pdf : Dialogue

Download and Preview : Dialogue


Report CopyRight/DMCA Form For : Dialogue


Transcription:

We introdu e a new dialogue manager for limited domain. dialogue systems,the dialogue domain is spe i ed in type theory. the user and system utteran es are spe i ed as a,type theoreti al grammar. The dialogue manager tries to build a omplete type orre t tree. by su essive re nement, similar to how Dynami Syntax builds an analysis of a senten e. Peter Ljungl f Univ Gothenburg Tree Based Dialogue Management DiaHolmia 2009 2 26. We introdu e a new dialogue manager for limited domain. dialogue systems,the dialogue domain is spe i ed in type theory. the user and system utteran es are spe i ed as a,type theoreti al grammar.
The dialogue manager tries to build a omplete type orre t tree. by su essive re nement, similar to how Dynami Syntax builds an analysis of a senten e. Peter Ljungl f Univ Gothenburg Tree Based Dialogue Management DiaHolmia 2009 2 26. Yet another dialogue manager,So why a new dialogue manager. well de ned underlying logi type theory, all in one spe i ation the whole domain both syntax. and semanti s is spe i ed within the same framework. an use type he king to ensure onsisten y, Peter Ljungl f Univ Gothenburg Tree Based Dialogue Management DiaHolmia 2009 3 26. Simple type theory,The types that are used in this talk are.
basi types A B C,fun tions T1 Tn T,The orresponding terms are. onstants a1 a2 A b1 B,fun tions f T1 Tn T,T whenever t1 T1 tn Tn. Note in this framework we only use atomi fun tions i e no lambdas. Peter Ljungl f Univ Gothenburg Tree Based Dialogue Management DiaHolmia 2009 4 26. Simple type theory,The types that are used in this talk are. basi types A B C,fun tions T1 Tn T,The orresponding terms are. onstants a1 a2 A b1 B,fun tions f T1 Tn T,T whenever t1 T1 tn Tn.
Note in this framework we only use atomi fun tions i e no lambdas. Peter Ljungl f Univ Gothenburg Tree Based Dialogue Management DiaHolmia 2009 4 26. Dialogue as proof editing, Type Theory is based on the Curry Howard isomorphism. type T proposition T,fun tion T1 Tn T impli ation T1. term t T proof of T,building a term t T proving a proposition T. An intera tive proof editor builds a term intera tively. metavariable T type proposition that has no term proof. question from the system,what is the proof for T, term ontaining metavariables in omplete proof tree. Peter Ljungl f Univ Gothenburg Tree Based Dialogue Management DiaHolmia 2009 5 26. Dialogue as proof editing, Type Theory is based on the Curry Howard isomorphism.
type T proposition T,fun tion T1 Tn T impli ation T1. term t T proof of T,building a term t T proving a proposition T. An intera tive proof editor builds a term intera tively. metavariable T type proposition that has no term proof. question from the system,what is the proof for T, term ontaining metavariables in omplete proof tree. Peter Ljungl f Univ Gothenburg Tree Based Dialogue Management DiaHolmia 2009 5 26. Spe ifying a theory,Spe ifying a theory onsists of giving. the basi types A tion Pri e Event Date City,the onstants sthlm City today Date 450 Pri e.
the fun tions book Event A tion hotel City Date Event. Peter Ljungl f Univ Gothenburg Tree Based Dialogue Management DiaHolmia 2009 6 26. Spe ifying the utteran es, To ea h type onstant and fun tion we have to spe ify utteran es. system questions orresponding to basi types,A tion 7 What do you want to do. Date 7 What date do you mean,utteran es orresponding to onstants. sthlm 7 Sto kholm 450 7 fourhundred and fty Euros,omplex utteran es for fun tions. book x 7 book an event x please,hotel x y 7 a hotel in x y.
This means that book a hotel please is interpreted as. book hotel City Date, Peter Ljungl f Univ Gothenburg Tree Based Dialogue Management DiaHolmia 2009 7 26. An example domain,A travel agen y spe i ed as in omplete trees. book Event 2009 2010 Year,pri e Pri e,jan feb Month. when Date A tion,1st 2nd Day,event Event Pri e,lon sthlm City. oneway Route Date,return Route Date RDate ight boat Means.
hotel City Date,semdial a l Conferen e,onferen e Conferen e Event. route Dest Dept Means Route,450 600 Pri e,returnDate Date RDate today tomorrow. to City Dest date Month Day,from City Dept onf date Conferen e Year Date. Peter Ljungl f Univ Gothenburg Tree Based Dialogue Management DiaHolmia 2009 8 26. Terms and Trees,An example term, book oneway route to sthlm from lon boat tomorrow A tion. Peter Ljungl f Univ Gothenburg Tree Based Dialogue Management DiaHolmia 2009 9 26. Terms and Trees,A fully typed variant, book oneway route to sthlm City Dest from lon City Dept.
boat Means tomorrow Date Route Event A tion, Peter Ljungl f Univ Gothenburg Tree Based Dialogue Management DiaHolmia 2009 9 26. Terms and Trees,A fully typed variant, book oneway route to sthlm City Dest from lon City Dept. boat Means tomorrow Date Route Event A tion,The orresponding tree. book A tion,oneway Event,route Route tomorrow Date. to Dest from Dept boat Means,sthlm City lon City, Peter Ljungl f Univ Gothenburg Tree Based Dialogue Management DiaHolmia 2009 9 26.
Dialogue management by su essive re nement, The dialogue system builds a omplete tree by su essive re nement. similar but not equivalent to how Dynami Syntax works. Uninstantiated nodes in the tree are represented with typed metavariables. a metavariable of type T is written T as a wh question. or f1 fn T for the orresponding alt question, There is always one a tive node in the urrent tree. it is alled the fo us node and is highlighted,The tree is operated with ommands. moving fo us inserting subtrees re nining metavariables. The initial tree is the single fo used node A tion. Peter Ljungl f Univ Gothenburg Tree Based Dialogue Management DiaHolmia 2009 10 26. Dialogue Management as Interactive T ree Building P eter Ljungl f Philosophy Linguistics and Theo ry of Science Universit y of Gothenburg DiaHolmia 24 26 June 2009 P eter Ljungl f Univ Gothenburg T ree Based Dialogue Management DiaHolmia 2009 1 26 Abstract W e intro duce a new dialogue manager fo r limited domain dialogue systems the dialogue domain is sp eci ed in t yp e theo ry

Related Books