XINFORMAÇÕES SOBRE DIREITOS AUTORAIS
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
Coleção Digital
Título: FIRST-ORDER MODAL LOGIC FOR REASONING ABOUT GAMES Autor: DAVI ROMERO DE VASCONCELOS
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Colaborador(es):
EDWARD HERMANN HAEUSLER - ADVISOR
Nº do Conteudo: 10082
Catalogação: 25/06/2007 Idioma(s): PORTUGUESE - BRAZIL
Tipo: TEXT Subtipo: THESIS
Natureza: SCHOLARLY PUBLICATION
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [pt]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=10082@1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=10082@2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.10082
Resumo:
Título: FIRST-ORDER MODAL LOGIC FOR REASONING ABOUT GAMES Autor: DAVI ROMERO DE VASCONCELOS
Nº do Conteudo: 10082
Catalogação: 25/06/2007 Idioma(s): PORTUGUESE - BRAZIL
Tipo: TEXT Subtipo: THESIS
Natureza: SCHOLARLY PUBLICATION
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [pt]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=10082@1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=10082@2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.10082
Resumo:
Games are abstract models of decision-making in which
decision-makers(players)interact in a shared environment
to accomplish their
goals. Several models have been proposed to analyze a wide
variety of
applications in many disciplines such as mathematics,
computer science
and even political and social sciences among others. In
this
work, we focus
on Game Theory and Game Logics. We present a first-order
modal logic
based on CTL, namely Game Analysis Logic (GAL), to
model
and reason
about out games. The standard models of Game Theory
(strategic games,
extensiv games and coalition games) as well as their
solution concepts
(Nash equilibrium, subgame perfect equilibrium and co
re),respectively, are
express as models dels of GAL and formulas of GAL.
Moreover, we study the
alternatives of De Re and De Dicto quantification in the
context of extensive
games. We also show that two of the most representative
game logics,
namely Alternating-time lternating-Temp empor oral Logic
(A ATL) TL) and Coalitional Game Logic
(CGL), are fragments of GAL. We also characterize
haracterize a class of multi-agent
systems, which is based on the architecture Belief-Desire-
Intention (BDI),
for which there is a somehow equivalent class of games and
vice-versa. As
a consequence, criteria of rationality for agents can be
directly applied to
players and vice-versa. Game analysis formal tools can be
applied to MAS as
well. From a practical poin of view, we provide and
develop a model-checker for GAL. In addition, we perform
case studies using our prototype.
Descrição | Arquivo |
COVER, ACKNOWLEDGEMENTS, RESUMO, ABSTRACT, SUMMARY AND LISTS | |
CHAPTER 1 | |
CHAPTER 2 | |
CHAPTER 3 | |
CHAPTER 4 | |
CHAPTER 5 | |
CHAPTER 6 | |
CHAPTER 7 | |
CHAPTER 8 | |
CHAPTER 9 | |
REFERENCES AND APPENDICES |