Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos

Detalhes bibliográficos
Ano de defesa: 2013
Autor(a) principal: Gottin, Vinícius Michel
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
CIÊNCIAS EXATAS E DA TERRA
CIÊNCIA DA COMPUTAÇÃO
Interactive Storytelling
Dramatic properties
Model checking
Symbollic execution
Artificial Intelligence
Nondeterminism
Storytelling Interativo
Propriedades Dramáticas
Arco Dramático
Verificação de Modelos
Execução Simbólica
Inteligência Artificial
Não determinismo
Link de acesso: http://hdl.handle.net/unirio/12556
Resumo: Dissertação também disponível em formato impresso, com o número de chamada CCET MI 2013/12.
id UNIRIO_8e02fa218d07fb6bee56a3db74a11402
oai_identifier_str oai:localhost:unirio/12556
network_acronym_str UNIRIO
network_name_str Repositório Hórus
repository_id_str
spelling Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticosCIÊNCIAS EXATAS E DA TERRACIÊNCIA DA COMPUTAÇÃOInteractive StorytellingDramatic propertiesModel checkingSymbollic executionArtificial IntelligenceNondeterminismStorytelling InterativoPropriedades DramáticasArco DramáticoVerificação de ModelosExecução SimbólicaInteligência ArtificialNão determinismoDissertação também disponível em formato impresso, com o número de chamada CCET MI 2013/12.Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPESIn Interactive Storytelling systems, a narrative is generated and dramatized under the influence of one or more user`s interaction. Applying automated planning techniques for the generation of plots guarantees coherence and the necessary diversity for a good variability, in particular when nondeterministic events are considered. In order to enable the plot generation process to act in parallel with the dramatization, avoiding breaks in user experience, it is necessary for the planning to be accomplished in reasonable time. The consideration of restrictions over dramatic properties would enhance the author’s expressive power and the story’s aesthetic quality. Considering that these properties vary continuously during events, in order to represent dramatizable aspects, would add complexity to the planning process. To avoid this additional complexity turning the parallelism between generation and dramatization impracticable, we propose a model in which an exhaustive offline verification of restrictions over dramatic properties in nondeterministic events generates indexed results to the planning process. To do so, we work with continuous ramified time logic, proposed for the Storytelling context, and apply constraint logic programming in order to verify the satisfaction of restrictions over continuous properties during abstract narrative nondeterministic events.n/aEm sistemas de Storytelling Interativo, uma narrativa é gerada e dramatizada sob a influência da interação com um ou mais usuários. O uso de técnicas de planejamento automatizado para a geração de enredos em sistemas de Storytelling Interativo provê a garantia de coerência com diversidade, em particular quando considera o não determinismo dos eventos. Para possibilitar que o processo de geração de enredos atue em paralelo com a dramatização, evitando pausas na experiência do usuário, é necessário que o planejamento seja realizado no menor tempo possível. A consideração de restrições sobre propriedades dramáticas relevantes aumentaria o poder expressivo conferido ao autor e a qualidade estética da história. Considerar que essas propriedades variam continuamente ao longo dos eventos, de forma que possam representar aspectos dramatizáveis, tornaria o processo de planejamento mais complexo. Para evitar que a complexidade adicional torne o paralelismo entre a geração e dramatização inviáveis, propomos um modelo no qual uma pré-verificação exaustiva das restrições sobre propriedades dramáticas em eventos não determinísticos provê resultados indexados ao planejamento. Para tanto, trabalhamo com uma lógica de tempo contínuo ramificado proposta para o contexto de Storytelling, e utiliza-se programação em lógica com restrições para verificar a satisfação de restrições sobre a variação linear de propriedades contínuas ao longo de eventos narrativos abstratos e não determinísticos.Ciarlini, Angelo Ernani MaiaCiarlini, Angelo Ernani MaiaSiqueira, Sean Wolfgand MatsuiFurtado, Antonio LuzFeijó, BrunoGottin, Vinícius Michel2018-11-13T19:09:39Z2018-11-13T19:09:39Z2013-10-29info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisGOTTIN, Vinícius Michel. Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos. 2013. xi, 85 f. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro (2003-), Rio de Janeiro, 2013.http://hdl.handle.net/unirio/12556info:eu-repo/semantics/openAccessporreponame:Repositório Hórusinstname:Universidade Federal do Estado do Rio de Janeiro (UNIRIO)instacron:UNIRIO2018-11-13T19:09:39Zoai:localhost:unirio/12556Repositório InstitucionalPUBhttp://www.repositorio-bc.unirio.br:8080/oai/requestbiblioteca.sid@unirio.bropendoar:2024-12-06T17:58:32.650790Repositório Hórus - Universidade Federal do Estado do Rio de Janeiro (UNIRIO)false
dc.title.none.fl_str_mv Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos
title Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos
spellingShingle Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos
Gottin, Vinícius Michel
CIÊNCIAS EXATAS E DA TERRA
CIÊNCIA DA COMPUTAÇÃO
Interactive Storytelling
Dramatic properties
Model checking
Symbollic execution
Artificial Intelligence
Nondeterminism
Storytelling Interativo
Propriedades Dramáticas
Arco Dramático
Verificação de Modelos
Execução Simbólica
Inteligência Artificial
Não determinismo
title_short Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos
title_full Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos
title_fullStr Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos
title_full_unstemmed Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos
title_sort Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos
author Gottin, Vinícius Michel
author_facet Gottin, Vinícius Michel
author_role author
dc.contributor.none.fl_str_mv Ciarlini, Angelo Ernani Maia
Ciarlini, Angelo Ernani Maia
Siqueira, Sean Wolfgand Matsui
Furtado, Antonio Luz
Feijó, Bruno
dc.contributor.author.fl_str_mv Gottin, Vinícius Michel
dc.subject.por.fl_str_mv CIÊNCIAS EXATAS E DA TERRA
CIÊNCIA DA COMPUTAÇÃO
Interactive Storytelling
Dramatic properties
Model checking
Symbollic execution
Artificial Intelligence
Nondeterminism
Storytelling Interativo
Propriedades Dramáticas
Arco Dramático
Verificação de Modelos
Execução Simbólica
Inteligência Artificial
Não determinismo
topic CIÊNCIAS EXATAS E DA TERRA
CIÊNCIA DA COMPUTAÇÃO
Interactive Storytelling
Dramatic properties
Model checking
Symbollic execution
Artificial Intelligence
Nondeterminism
Storytelling Interativo
Propriedades Dramáticas
Arco Dramático
Verificação de Modelos
Execução Simbólica
Inteligência Artificial
Não determinismo
description Dissertação também disponível em formato impresso, com o número de chamada CCET MI 2013/12.
publishDate 2013
dc.date.none.fl_str_mv 2013-10-29
2018-11-13T19:09:39Z
2018-11-13T19:09:39Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv GOTTIN, Vinícius Michel. Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos. 2013. xi, 85 f. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro (2003-), Rio de Janeiro, 2013.
http://hdl.handle.net/unirio/12556
identifier_str_mv GOTTIN, Vinícius Michel. Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos. 2013. xi, 85 f. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro (2003-), Rio de Janeiro, 2013.
url http://hdl.handle.net/unirio/12556
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Repositório Hórus
instname:Universidade Federal do Estado do Rio de Janeiro (UNIRIO)
instacron:UNIRIO
instname_str Universidade Federal do Estado do Rio de Janeiro (UNIRIO)
instacron_str UNIRIO
institution UNIRIO
reponame_str Repositório Hórus
collection Repositório Hórus
repository.name.fl_str_mv Repositório Hórus - Universidade Federal do Estado do Rio de Janeiro (UNIRIO)
repository.mail.fl_str_mv biblioteca.sid@unirio.br
_version_ 1817726470987972608

Registros relacionados