Contributions of formal language theory to the study of dialogues

dc.contributor
Universitat Rovira i Virgili. Departament de Filologies Romàniques
dc.contributor.author
Grando, Maria Adela
dc.date.accessioned
2011-04-12T18:09:21Z
dc.date.available
2009-12-17
dc.date.issued
2009-10-02
dc.date.submitted
2009-12-17
dc.identifier.isbn
9788469279281
dc.identifier.uri
http://www.tdx.cat/TDX-1217109-130312
dc.identifier.uri
http://hdl.handle.net/10803/8797
dc.description.abstract
For more than 30 years, the problem of providing a formal framework for modeling dialogues has been a topic of great interest for the scienti&#64257;c areas of Linguistics, Philosophy, Cognitive Science, Formal Languages, Software Engineering and Arti&#64257;cial Intelligence. In the beginning the goal was to develop a "conversational computer", an automated system that could engage in a conversation in the same way as humans do. After studies showed the di&#64259;culties of achieving this goal Formal Language Theory and Arti&#64257;cial Intelligence have contributed to Dialogue Theory with the study and simulation of machine to machine and human to machine dialogues inspired by Linguistic studies of human interactions. <br/>The aim of our thesis is to propose a formal approach for the study of dialogues. Our work is an interdisciplinary one that connects theories and results in Dialogue Theory mainly from Formal Language Theory, but also from another areas like Arti&#64257;cial Intelligence, Linguistics and Multiprogramming. <br/>We contribute to Dialogue Theory by introducing a hierarchy of formal frameworks for the de&#64257;nition of protocols for dialogue interaction. Each framework de&#64257;nes a transition system in which dialogue protocols might be uniformly expressed and compared. The frameworks we propose are based on &#64257;nite state transition systems and Grammar systems from Formal Language Theory and a multi-agent language for the speci&#64257;cation of dialogue protocols from Arti&#64257;cial Intelligence. Grammar System Theory is a sub&#64257;eld of Formal Language Theory that studies how several (a &#64257;nite number) of language de&#64257;ning devices (language processors or grammars) jointly develop a common symbolic environment (a string or a &#64257;nite set of strings) by the application of language operations (for instance rewriting rules). For the frameworks we propose we study some of their formal properties, we compare their expressiveness, we investigate their practical application in Dialogue Theory and we analyze their connection with theories of human-like conversation from Linguistics. <br/>In addition we contribute to Grammar System Theory by proposing a new approach for the veri&#64257;cation and derivation of Grammar systems. We analyze possible advantages of interpreting grammars as multiprograms that are susceptible of veri&#64257;cation and derivation using the Owicki-Gries logic, a Hoare-based logic from the Multiprogramming &#64257;eld.
eng
dc.format.mimetype
application/pdf
dc.language.iso
eng
dc.publisher
Universitat Rovira i Virgili
dc.rights.license
ADVERTIMENT. L'accés als continguts d'aquesta tesi doctoral i la seva utilització ha de respectar els drets de la persona autora. Pot ser utilitzada per a consulta o estudi personal, així com en activitats o materials d'investigació i docència en els termes establerts a l'art. 32 del Text Refós de la Llei de Propietat Intel·lectual (RDL 1/1996). Per altres utilitzacions es requereix l'autorització prèvia i expressa de la persona autora. En qualsevol cas, en la utilització dels seus continguts caldrà indicar de forma clara el nom i cognoms de la persona autora i el títol de la tesi doctoral. No s'autoritza la seva reproducció o altres formes d'explotació efectuades amb finalitats de lucre ni la seva comunicació pública des d'un lloc aliè al servei TDX. Tampoc s'autoritza la presentació del seu contingut en una finestra o marc aliè a TDX (framing). Aquesta reserva de drets afecta tant als continguts de la tesi com als seus resums i índexs.
dc.source
TDX (Tesis Doctorals en Xarxa)
dc.subject
Theory to the study of Dialogues
dc.subject
Contributions of Formal Language
dc.title
Contributions of formal language theory to the study of dialogues
dc.type
info:eu-repo/semantics/doctoralThesis
dc.type
info:eu-repo/semantics/publishedVersion
dc.subject.udc
51
cat
dc.subject.udc
81
cat
dc.contributor.authoremail
mgrando@staffmail.ed.ac.uk
dc.contributor.director
Jiménez López, María Dolores
dc.contributor.codirector
Mitrana, Victor
dc.rights.accessLevel
info:eu-repo/semantics/openAccess
cat
dc.identifier.dl
T-2065-2009


Documentos

Adela-thesis1.pdf

5.857Mb PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)