Monografias em Ciência da Computação
2022
ABSTRACTS
Departmento de Informática
Pontifícia Universidade Católica do Rio de Janeiro - PUC-Rio
Rio de Janeiro - Brazil
This file contains a list of the technical reports of the Departmento de Informática,
Pontifícia Universidade
Católica do Janeiro - PUC-Rio, Brazil,
which are published in our series Monografias em Ciência da Computação (ISSN
0103-9741). The serie scientific editor is Prof. Carlos Lucena and Rosane
Castilho is it's technical editor. Please note that the reports not available for download
are available in their print format and can be obtained via the e-mail below.
For any questions, requests or suggestions, please contact:
publicar@inf.puc-rio.br
Last update: 23/DECEMBER/2022
[MCC01/22]
[DOI Biblioteca
Digital PUC-Rio]
LIMA, E. S. L.;
FURTADO, A. L.; FEIJÓ, B.; CASANOVA, M. A. A note on process modelling:
combining situation calculus and Petri Nets. May
9th, 2022. 24
p.
Eng. E-mail: furtado@inf.puc-rio.br
Abstract: The situation calculus logic model is most convenient for modelling the actions that can occur in an information system application. The interplay of pre-conditions and post-conditions not only determines a semantically justified partial order of the defined actions, but also serves to enforce integrity constraints. This form of specification allows the use of plan-generation algorithms to investigate, before the system is liberated for official usage, whether the proposed specification allows all desirable use cases, and effectively disallows the illegal or, for some reason, undesirable ones. On the other hand, especially for legacy applications, implemented without a prior specification, Process Mining techniques have been employed to derive an implicit Petri net model from the analysis of a large enough number of traces registered in an execution log. However, as a system just begins to be used, with a still empty execution log, this sort of process mining discovery would not be feasible. We shall explain in this paper how the Petri net model can be directly derived from the situation calculus specification rules. The main gist of the present research is to provide evidence that the two models are complementary, not only because the Petri net model is derivable from the situation calculus model, but also in view of the distinct advantages of the two models. While the situation calculus model leads to planning and simulated execution prior to implementation, the Petri net model, like other workflow engines, can be designed to run in a tightly restrictive mode, with the additional asset of intuitive visualization of the workable sequences. As proof of concept, we developed a prototype to demonstrate our methods, and tried it on two example cases: 1. a published request processing application used to introduce process mining notions, and 2. an analogously structured trial by combat application taken from a popular movie. The prototype includes an interactive dramatization component, which serves – as a mandatory requirement for digital entertainment pieces – to enact the second application.
[MCC02/22]
[DOI Biblioteca
Digital PUC-Rio]
FURTADO,
A. L. Narrative patterns and the case of Parzival’s
grail quest. May
31st, 2022.
12
p.
Eng. E-mail: furtado@inf.puc-rio.br
Abstract: Based on the three-layer model of narratives, proposed by Mieke Bal, the present transdisciplinary research describes narrative patterns as story layer constructs that help guiding how the story will be told. Narrative patterns are formed by sequences of episodes, which in turn are sequences of classes of events characteristic of the narratives of a chosen genre. Vogler’s rendering of Campbell’s monomyth is mentioned as a narrative pattern applicable to heroic quests, but it is argued that it does not match adequately Grail quest narratives, such as the unfinished romance of Chrétien de Troyes and its Continuations. A Grail quest pattern is then proposed, and its application to the special case of the Parzival romance of Wolfram von Eschenbach is discussed. As part of the discussion, it is claimed that the main source of Wolfram’s divergent treatment of the final episodes of the Grail quest pattern is Ovid’s classical Fasti poem. The research work resulting in this thesis is separately reported in an appendix.
[MCC03/22]
[DOI Biblioteca
Digital PUC-Rio]
FEIJÓ,
B.; FURTADO, A. L. Notes on computational
narratology. July 25th, 2022. 27 p. E-mail:
furtado@inf.puc-rio.br
Abstract: The present monograph consists of seven short papers, written and orally presented as part of the discipline INF2064, Computational Narratology, during the first semester of 2022. The first paper is a special contribution of Prof. Tadeu Moreira de Classe, from the Department of Applied Informatics of the Federal University of the State of Rio de Janeiro (UNIRIO). The other papers – four in Portuguese, two in English – were elaborated by the graduate and undergraduate students enrolled in the discipline.
[MCC04/22]
[DOI Biblioteca
Digital PUC-Rio]
SANTOS, G. N. P.; LUCENA, C. J. P. Uma metodologia para desenvolvimento de
sistemas inteligentes de apoio à decisão. Outubro 24, 2022. 38 p.
E-mail:
lucena@inf.puc-rio.br
Abstract: When importing products, the process can be performed in different ways and with different actors. In our main scenario, the actors are the importing, exporting and trading companies, which will intermediate the negotiation. The scenarios have in common the international contract that correlates different currencies; the exchange adds the risk of this variation to the operation. Thus, it is common to carry out a procedure known as currency hedge to mitigate this risk. This scenario motivated the development of the methodology aiming to speed up the process of building an intelligent decision support system. In this sense, a challenge in creating the methodology was to build methods that could unite, for example, concepts of agility and architecture in order to bring greater synergy and fluidity to development. The methodology uses meetings of a maximum of 15 minutes and small packages, to support the agile concept, despite this, the agility resulting from this methodology is not only guaranteed by these factors reused from agile methods, but also by artifacts made available to its users. The four artifacts available are the 3-layer model, the conceptual framework for negotiation, the agile guide for developing the methodology, and the agentrank classification model based on pagerank, which can be reused. In this way, when using these artifacts, users will come to perceive them as factors that drive the development and reasoning of how an intelligent decision support system should work. The methodology brings advantages in terms of speed and suitability of the architecture to the objectives of the intelligent decision support system. In this sense, it was perfectly adherent to the negotiation ecosystem concept and to scenarios with exchange of messages between the parties, which corroborates the use of software agents. To ensure adequacy, the methodology provides a control phase and, in addition, provides and advocates continuous control, so that, while the system is in use, it can be adapted. In the control phase, it is expected, an iterative execution will take place in order to ensure that intersections between social and technical factors, such as trends and technical analysis and/or rankings, so that together they can present increasingly efficient results. The main contribution of the article is the initial version of a methodology for the development of intelligent decision support systems, called MoIDSS. The methodology shows that multi-agent systems can represent the uncertainties of the real world and, based on this information; recommend the execution of the contract with the company with the lowest risk factor. Another contribution is the modification of the pagerank algorithm to the agentrank model, allowing the algorithm to run in negotiation cycles, thus performing a classification of agents and without generating confusion about the roles of each agent. Finally, throughout the iterative cycle of negotiation, the methodology advocates the enrichment of data in a continuous way, which supports the decision-making process.
[MCC05/22]
[DOI Biblioteca
Digital PUC-Rio]
FEIJÓ, B.; FURTADO, A. L. Notes on AI in games and storytelling. December 23,
2022. 17 p. E-mail: bruno@inf.puc-rio.br
Abstract: This monograph consists of three short papers,
written and orally presented, as part of the discipline INF2609 on AI in Games
and Storytelling during the second semester of 2022. The graduate students
enrolled in this discipline elaborated on the papers.