Papers by Christiano Pessanha
Tendências da Pesquisa Brasileira em Ciência da Informação, Jul 1, 2015
Este artigo descreve pesquisa de doutorado motivada pelos desafios surgidos dos esforços que busc... more Este artigo descreve pesquisa de doutorado motivada pelos desafios surgidos dos esforços que buscam a interoperabilidade semântica nos Registros Eletrônicos de Saúde (RES) via padrão OpenEHR.A pesquisa buscou a implementação dos modelos de informação OpenEHR em linguagem Python, pois estes modelos proveem a semântica necessária para a construção dos arquétipos OpenEHR. Como contribuição, realiza a implementação e abre a perspectiva de expressão dos Arquétipos OpenEHR nesta plataforma, sugerindo a viabilidade de implementações deste padrão nos diversos frameworks da linguagem. A pesquisa analisa os requisitos envolvidos na implementação do padrão OpenEHR em softwares do tipo RES codificados a partir do zero, constatando as diversas vantagens da sua implementação em Sistemas Gestores de Conteúdo (CMS). O resultado desse esforço teórico esclarece as possibilidades de construção desse tipo de software em sistemas gestores de conteúdo, de modo geral.
Documentos para diversos fins apresentam-se como uma marca da sociedade atual. Existe extensa lit... more Documentos para diversos fins apresentam-se como uma marca da sociedade atual. Existe extensa literatura filosofica explicando como entidades sociais sao criadas a partir de atos performativos orais e depois registradas em documentos. De fato, com a crescente complexidade da sociedade, o uso de documentos para registrar acordos tornou-se uma necessidade para superar deficiencias da memoria. Em varios contextos, documentos promovem alteracoes nas relacoes sociais e economicas, bem como no sistema legal. A teoria dos atos dos documentos ( d-acts ) foi criada para estabelecer uma fundamentacao teorica sobre o papel do documentos em nossa sociedade. No escopo de pesquisa em andamento, identificou-se a necessidade de estabelecer fundamentacao filosofica para os d-acts e, para tal, valeu-se de revisao de literatura para buscar os pontos de contato entre os d-acts e a filosofia da linguagem, envolvendo ainda os atos da fala, a teoria dos atos sociais, dentre outros. Este procedimento per...
EnglishThe present work discusses the fundamentals of an ontology based architecture for the info... more EnglishThe present work discusses the fundamentals of an ontology based architecture for the information management within corporations from three main efforts: the ontological status of corporations; the relations among the units of corporations; and the obligations that corporations have to manage. Two dimensions are used for the analysis: the first one, descriptive, approaches the structure of corporative units and subunits using theories of formal ontology; the second one, prescriptive (normative), uses theories of social ontology to organize rights and obligations. The importance of such analysis rests on the perspective of delineating a well-founded information architecture for corporations through of a better understanding from their nature, their structure and the involved deontic powers. Thus, we hope to introduce a framework that is suitable to the modern information systems in the scope of Semantic Web. portuguesA presente pesquisa discute os fundamentos de uma arquitetur...
Este trabalho objetiva o estudo da verificacao de especificacoes em sistemas dinâmicos a eventos ... more Este trabalho objetiva o estudo da verificacao de especificacoes em sistemas dinâmicos a eventos mscretos via logica modal.Um grafo de eventos temporizado (ou GET) e utilizado para modelar o sistema dinâmicoque se deseja analisar. Asrelacoes entre as transicoes do GET e a especificacaoque se deseja verificar sao expressasatraves de formulas da logica modal NK. Um tableau analitico e utilizado para verificar se a especificacaoe consequencia logica do conjuntode formulas que representaa rede. Os ramos abertos retomados pelo tableau estao associados a modelos que falseiam a especificacao.Introduz..seo conceitode terminacaode um ramo e prova-seque a solucao retomada por um ramo terminado esta associada as caracteristicas de minimalidade, causalidade,unicidadee impulsividade.Com base nesses teoremas propoo-seum algoritmo para o tableau. Descreve-se a implementacaocomputacionaldo algoritmo.Exemplos de sua utilizacaosao apresentados Abstract
This paper presents the construction of a model to support corporate managers in the energy secto... more This paper presents the construction of a model to support corporate managers in the energy sector. It is expected that the identification and measurement of parameters involved in decision making in this sector can assist managers in new projects of power generation. Knowledge management and strategic planning originate the resources necessary for correct alignment with the goals and expectations of organizations. It is thus possible to define different scenarios to be presented to managers. Through interviews with consultants and experts in the energy sector it was possible to define and validate a set of indicators which will be used in the proposed model. Hence a questionnaire to a representative sample of managers and others involved in the decision making processes of companies in the electricity power sector is filled in. In addition, contributions from researchers from Information Science, Electrical Engineering and Administration are of prime importance as well and are carr...
Esse artigo e parte do projeto de pesquisa P&D APQ-03371-12 firmado entre a Universidade Federal ... more Esse artigo e parte do projeto de pesquisa P&D APQ-03371-12 firmado entre a Universidade Federal de Minas Gerais (ECI/UFMG), a Fundacao de Amparo a Pesquisa de Minas Gerais (FAPEMIG) e a Companhia de Energetica de Minas Gerais (CEMIG). O objetivo e aplicar gestao da informacao direcionados ao processo decisorio de grandes concessionarias energeticas Sao apresentados como fundamentacao teorica conceitos da representacao do conhecimento, gestao da informacao e do conhecimento, administracao e estrategia empresarial para auxiliar nos processos envolvidos na tomada de decisoes estrategicas. Apresenta a coleta de dados baseada em encontros e entrevistas que compoe a quarta etapa da metodologia geral do projeto P&D. Os entrevistados sao gestores e administradores de empresas relacionadas ao setor energetico e, principalmente, que possuam expressao no tipo de geracao de energia foco deste projeto de pesquisa. A questao de pesquisa engloba onde no Brasil ha disponibilidade de geracao (em vi...
O registro eletronico de saude (R.E.S.) proporciona qualidade a informacao em saude, agilidade em... more O registro eletronico de saude (R.E.S.) proporciona qualidade a informacao em saude, agilidade em seu processamento e mobilidade no acesso aos dados. A juncao do R.E.S. com tecnologias da internet permite o acesso as informacoes em saude, distribuidas por diferentes sistemas, para apoio a decisao, alertas, entre outras funcoes. Neste cenario, a interoperabilidade semântica entre sistemas torna-se essencial para compreensao dos dados compartilhados. O modelo de arquetipos ISO 13606 captura de modo estruturado conceitos referentes ao conhecimento e atividades clinicas, organizando e padronizando de modo formal e reutilizavel os dados do dominio. Tal formalizacao garante o compartilhamento dos dados no nivel conceitual. Uma vez que os mesmos conceitos sejam compreendidos da mesma forma por diferentes sistemas de R.E.S., tem-se uma solucao para a interoperabilidade semântica entre eles. Para implementar essa solucao no sistema de registros medicos ComunniMed, objetiva-se adequa-lo ao padrao ISO 13606 via ferramenta archetypes . Esta ultima, ja adotada pelo sistema, permite criar novos tipos de conteudo (conceitos) de modo intuitivo e rapido. Entretanto, a implementacao do padrao ISO 13606 no CommuniMed depende de uma resposta teorica previa quanto a possibilidade de expressar o modelo de referencia e de arquetipos componentes do padrao ISO em archetypes . A pesquisa descrita no artigo busca, como resultado, essa resposta.
Este artigo descreve pesquisa de doutorado motivada pelos desafios surgidos dos esforcos que busc... more Este artigo descreve pesquisa de doutorado motivada pelos desafios surgidos dos esforcos que buscam a interoperabilidade semântica nos Registros Eletronicos de Saude (RES) via padrao OpenEHR. A pesquisa buscou a implementacao dos modelos de informacao OpenEHR em linguagem Python, pois estes modelos proveem a semântica necessaria para a construcao dos arquetipos OpenEHR. Como contribuicao, realiza a implementacao e abre a perspectiva de expressao dos Arquetipos OpenEHR nesta plataforma, sugerindo a viabilidade de implementacoes deste padrao nos diversos frameworks da linguagem. A pesquisa analisa os requisitos envolvidos na implementacao do padrao OpenEHR em softwares do tipo RES codificados a partir do zero, constatando as diversas vantagens da sua implementacao em Sistemas Gestores de Conteudo (CMS). O resultado desse esforco teorico esclarece as possibilidades de construcao desse tipo de software em sistemas gestores de conteudo, de modo geral .
Ontology in Information Science
In the scope of corporations, information and knowledge management are essential practices that a... more In the scope of corporations, information and knowledge management are essential practices that are carried out through information systems. In this chapter, we discuss the foundations of an ontological-based architecture for organizing information and knowledge within corporations. Our research focus on three main efforts: (i) to shed some light on the ontological status of corporations, (ii) to understand the relations between corporate units, and (iii) to approach the duties that corporations have to manage. After presenting background theories, we analyze the corporation through two dimensions, namely, a descriptive and a normative. While the former approaches the structure of the corporation from the point of view of its units, the latter approaches it from the point of view of duties and obligations. The descriptive side of our investigation is conducted through principles of top-level formal ontologies; the normative side is addressed through the so-called social ontology. The relevance of developing such analysis rests on the need of a better understanding of corporations, its structures, and its activities. Such insight can provide a formal framework suitable to be applied in information systems, working in the context of modern technologies like the Semantic Web.
This research has been undertaken taking into consideration the vital problem of expansion and im... more This research has been undertaken taking into consideration the vital problem of expansion and improvement of electricity generation. The companies involved in the electricity sector must decide where, how and when to invest in the various power generation options. This research is based on the informational question to support this process. Parallel to the energy problem, there exists the need to fast and accurate information gathering to support the decisionmaking process in different areas of knowledge. This paper presents part of the research of a group of researchers working on the issues of management information to support decision making in the electricity area, primarily relating to investments. In this scenario, there is the research question of how information management can help create a methodology to optimize energy investment decisions. It develops a proposed methodology to assist the decision-making process based on energy concepts and information management methods to assist decision-making on energy investment 1 .
This paper presents results concerning the relations between a propositional modal logic (NK-logi... more This paper presents results concerning the relations between a propositional modal logic (NK-logic) and the algebra of dioids. The technique of analytic tableau, a well known proof technique in logic systems, is used in combination with the NK-logic to verify specifications written in dioid algebra. The concept of terminality, herein introduced, allows the establishment of important relations that support the proposition of simple algorithms for the verification of specifications. An example illustrates the application of the proposed algorithm.
Uploads
Papers by Christiano Pessanha