Tarcisio Cavalcante | Universidade de Fortaleza (original) (raw)
Papers by Tarcisio Cavalcante
No percurso deste trabalho, muitos cruzaram o meu caminho e todos deram um pouco de seu tempo, co... more No percurso deste trabalho, muitos cruzaram o meu caminho e todos deram um pouco de seu tempo, conhecimentos e experiência, que contribuíram para a realização do mesmo. Agradeço... a Deus, pela força e iluminação, para eu que tomasse as melhores decisões; à minha mãe, Teresinha, que me criou com função de pai e mãe, e sempre me motivou nos estudos, e à minha esposa, Rayanne, que me acompanhou de perto, teve paciência nos momentos mais críticos e me incentivou a não desistir no meio do caminho; à minha sogra Joana, a quem tenho confiado o cuidado dos meus filhos; ao meu grande parceiro, aquele que me orientou antes mesmo do início do mestrado, mostrando as melhores opções e caminhos a seguir, de grande experiência acadêmica, Paulo Salles; aos professores do Centro de Ensino em que esta pesquisa foi realizada, em especial à professora Caline, dedicada e compromissada, à professora e coordenadora Raquel, atenciosa e esforçada, sempre acessível e pronta nos momentos em que fora solicitada, à supervisora pedagógica Conceição e à diretora, Maria Lourdes, pelo apoio; aos colegas Fabrício, Adriano, Geane e Rejane, com quem dividi momentos de troca de conhecimentos, aflições e alegrias nos últimos 2 anos e meio. Aos amigos Airton e Israel, pela revisão ortográfica;
The present paper discusses some issues in program synthesis by relating the idea of systematic p... more The present paper discusses some issues in program synthesis by relating the idea of systematic program derivation with the concepts of data type and correctness of data representation. The notion of an incomplete definition of a data type at a high level of abstraction is introduced. The ideas are illustrated through an example previously discussed in the literature by D. Gries.
Springer eBooks, 2012
A hybrid model, combining influence diagrams and a multicriteria method, is presented in order to... more A hybrid model, combining influence diagrams and a multicriteria method, is presented in order to assist with the decision making process about which questions would be more attractive to the definition of the diagnosis of Alzheimer's disease, considering the stages of Clinical Dementia Rating. The modeling and evaluation processes were carried out through a battery of standardized assessments for the evaluation of cases with Alzheimer's disease developed by Consortium to Establish a Registry for Alzheimer's disease.
IEEE Transactions on Software Engineering, Nov 1, 1979
The present paper discusses some issues in program synthesis by relating the idea of systematic p... more The present paper discusses some issues in program synthesis by relating the idea of systematic program derivation with the concepts of data type and correctness of data representation. The notion of an incomplete definition of a data type at a high level of abstraction is introduced. The ideas are illustrated through an example previously discussed in the literature by D. Gries.
![Research paper thumbnail of Aquisição de Conhecimento de Senso Comum e Inferencialista (Acquisition of Common Sense and Inferentialist Knowledge [in Portuguese]](https://attachments.academia-assets.com/109864430/thumbnails/1.jpg)
](This paper presents a semi-automated method for the acquisition of common sense and inferentialis... more This paper presents a semi-automated method for the acquisition of common sense and inferentialist concepts in Portuguese. Its innovative feature is a module of reasoning over the existing knowledge that aims to offer original content to the user helping in the expression of semantic relationships and validation of new concepts. This reasoning process is based on heuristics and syntactic analysis of noun phrases. A qualitative evaluation with users who interacted with the system built on the proposed method showed that the interactions made in the process of AC are more productive since the user is reminded about semantic relations and common sense about the new concept. Resumo. Este artigo apresenta um método semi-automático para aquisição de conceitos (AC) de senso comum e inferencialista na língua portuguesa. O método tem como diferencial um módulo de raciocínio sobre conhecimento preexistente que visa oferecer ao usuário conteúdo inicial que o ajude a externar e a validar relações semânticas de novos conceitos. Esse processo de raciocínio se baseia em heurísticas e na análise sintática de sintagmas nominais. Uma avaliação qualitativa com usuários que interagiram com o sistema, construído com base no método proposto, indicou que as interações realizadas no processo de AC são mais produtivas visto que o usuário é lembrado e instigado sobre relações semânticas de senso comum acerca do novo conceito.
Peer-to-Peer Networking and Applications, 2018
The article investigates policies for helping emergency-centre authorities for dispatching resour... more The article investigates policies for helping emergency-centre authorities for dispatching resources aimed at reducing goals such as response time, the number of unattended calls, the attending of priority calls, and the cost of displacement of vehicles. Pareto Set is shown to be the appropriated way to support the representation of policies of dispatch since it naturally fits the challenges of multi-objective optimization. Understanding which are the best policies of dispatching as well as workload balancing are very important in the context FOG computing, which aims to distribute in part workload and services on fog devices (such as hardened routers, switches, IP video cameras, etc.). Fog-computing systems produce an ever-increasing service request impacting, for instance, to the power consumption on cloud servers. On the other hand, it is equally crucial to guarantee the quality of service (e.g., latency requirements) of end users. By means of the concept of Pareto dominance a set with objectives may be ordered in a way that guides the dispatch of resources. Instead of manually trying to identify the best dispatching strategy, a multi-objective evolutionary algorithm coupled with an Emergency Call Simulator uncovers automatically the best approximation of the optimal Pareto Set that would be the responsible for indicating the importance of each objective and consequently the order of attendance of the calls. The scenario of validation is a big metropolis in Brazil using one-year of real data from 911 calls. Comparisons with traditional policies proposed in the literature are done as well as other innovative policies inspired from different domains as computer science and operational research. The results show that strategy of ranking the calls from a Pareto Set discovered by the evolutionary method is a good option because it has the second best (lowest) waiting time, serves almost 100% of priority calls, is the second most economical, and is the second in attendance of calls. That is to say, it is a strategy in which the four dimensions are considered without major impairment to any of them.
Lecture Notes in Computer Science, 1996
Google, Inc. (search), Subscribe (Full Service), Register (Limited Service, Free), Login. Search:... more Google, Inc. (search), Subscribe (Full Service), Register (Limited Service, Free), Login. Search: The ACM Digital Library The Guide. ...
Semantics has been many times a problem in connection to both nonmonotonic and paraconsistentlogi... more Semantics has been many times a problem in connection to both nonmonotonic and paraconsistentlogics. In previous works, a system of logics called IDL & LEI was developedto formalize practical reasoning, i.e., reasoning under incomplete knowledge. This systemcombines the features of nonmonotonicity to model inferences on the basis of partialevidence, with paraconsistency to deal with the inconsistencies introduced by extendedinferences. The aim of this paper is to present a semantics that...
ABSTRACT This paper describes an architecture for Information Extraction systems, based on Natura... more ABSTRACT This paper describes an architecture for Information Extraction systems, based on Natural Language Processing, for use in web collaborative systems. A web tool to extract information about crimes to the collaborative system WikiCrimes was developed using the architecture. The results of the evaluation of performance, practical usefulness and usability of the tool are presented and discussed. Resumo. Este artigo descreve uma arquitetura de sistemas de Extração de Informação baseados em Processamento de Linguagem Natural para uso em sistemas colaborativos na Web. Uma ferramenta para extração de informação sobre crimes para o sistema colaborativo WikiCrimes foi desenvolvida usando a arquitetura. Os resultados da avaliação dos aspectos de desempenho, utilidade prática e usabilidade da ferramenta são apresentados e discutidos.
Lecture Notes in Computer Science, 2012
The Linked Open Data (LOD) cloud is a promising reality since the major content producers are off... more The Linked Open Data (LOD) cloud is a promising reality since the major content producers are offering their data on an open and linked network, through RDF (Resource Description Framework), with the aim of providing Semantic Web applications with a single global database for retrieval of related content and to perform inferences over the network. However, bases with Portuguese-language content are still incipient. In this paper we present the process of inclusion of the InferenceNet --- the first resource with common sense and inferentialist knowledge in Portuguese language --- on the LOD. Our main goal is to leverage the use and development of Semantic Web applications by content producers in Portuguese language. We develop and evaluated a platform, called SemWidgets, for the creation and execution of widgets able to access and reason over InferenceNet and the open linked data, like DBPedia, Yago, and Article Search API of the New York Times.
One of the growing needs related to systems of Natural Language Processing (NLP) is that such sys... more One of the growing needs related to systems of Natural Language Processing (NLP) is that such systems must be able to perform enriched textual inferences. We argue that one reason for the current limitation of the inferences generated by these systems is that---for the most part---they are based on the characteristics of the things represented by names, and seek to
Uma das dificultades existentes ao se projetar sistemas de informacoes e o tratamento dos arquivo... more Uma das dificultades existentes ao se projetar sistemas de informacoes e o tratamento dos arquivos, que devem ser elaborados dentro do conceito de banco de dadod sao armazenados apenas uma vez e tratados coletivamente por varios programas. O presente trabalho propoes un modelo com capacidade de armazenar, selecionar e recuperar dados de um banco de dados, baseado no artigo E.F. Cood, "Relational Completeness of Data Base Sublanguages" de 1972. Para testar o modelo foi criando um sistema de subprogramas utilizando a linguagem PL/I, e alguns aspectos do sistema criado sao tratados no artigo.
A logic aimed to formalize the concept of pragmatic truth is presented. We start by examining a p... more A logic aimed to formalize the concept of pragmatic truth is presented. We start by examining a previous attempt of formalization by da Costa and collaborators, reported in [5], [3] and [2]. However, their formalization works as mere possibility in face of what is known, or assumed. It is pointed out here that not being in conflict with the assumed knowledge is not enough to regard a proposition as a truth of any sort, providing just a necessary condition. A typical picture of the way a scientific theory evolves exhibit alternative hypothesis competing for expanding the theory. In our view, a pragmatic knowledge, at this stage of development of the theory, is one that can be taken as true under all those competing hypothesis. The logic presented here formalizes this process of theory evolution in order to properly express the notion of pragmatic truth as we understand it.
In this article we investigate Multi-agent simulation and Multi-objective Evolutionary Algorithms... more In this article we investigate Multi-agent simulation and Multi-objective Evolutionary Algorithms for optimizing resource allocation in Public Safety. We describe a tool that helps Law Enforcement authorities to evaluate, in a controlled environment, different strategies for allocating and dispatching resources, aiming at reducing conflicting goals such as response time, the number of unattended calls and cost of displacement of police cars. This tool is a multi-agent model to represent police cars that lives in a grid in which emergency occurrences appear. A comparison of the strategies for resource dispatch in this environment shows that serving first those calls with low estimated attendance times delivers the best overall performance in terms of waiting time. However this is practically impossible since prioritization of certain crime types is necessary leading to the increase of the waiting time in the queue. Instead of manually trying to identify the best allocation strategy t...
A logical formalization to the process of theory revision when it is confronted by a scientific a... more A logical formalization to the process of theory revision when it is confronted by a scientific anomaly is presented. By “scientific anomaly” we mean an observed fact falling into the explanatory scope of a theory that cannot be explained by the theory and the accepted auxiliary hypotheses. As a first approach to restore the theory’s explicative power, some tentative auxiliary hypotheses are proposed to replace the old ones. In order to capture this refutable character of auxiliary hypotheses we brought into play a nonmonotonic inferential mechanism. Also, since the several tentative auxiliary hypotheses are mutually exclusive and may produce conflicts, we took a paraconsistent inferential relation as the monotonic basis of our system. By representing laws and auxiliary hypotheses through this nonmonotonic and paraconsistent logic we are able to provide an inferential machinery in which the effects of both occurrence and solution of anomalies upon a theory can be represented. *
PLOS ONE, 2017
We investigate at the subscale of the neighborhoods of a highly populated city the incidence of p... more We investigate at the subscale of the neighborhoods of a highly populated city the incidence of property crimes in terms of both the resident and the floating population. Our results show that a relevant allometric relation could only be observed between property crimes and floating population. More precisely, the evidence of a superlinear behavior indicates that a disproportional number of property crimes occurs in regions where an increased flow of people takes place in the city. For comparison, we also found that the number of crimes of peace disturbance only correlates well, and in a superlinear fashion too, with the resident population. Our study raises the interesting possibility that the superlinearity observed in previous studies [Bettencourt et al., Proc. Natl. Acad. Sci. USA 104, 7301 (2007) and Melo et al., Sci. Rep. 4, 6239 (2014)] for homicides versus population at the city scale could have its origin in the fact that the floating population, and not the resident one, should be taken as the relevant variable determining the intrinsic microdynamical behavior of the system.
No percurso deste trabalho, muitos cruzaram o meu caminho e todos deram um pouco de seu tempo, co... more No percurso deste trabalho, muitos cruzaram o meu caminho e todos deram um pouco de seu tempo, conhecimentos e experiência, que contribuíram para a realização do mesmo. Agradeço... a Deus, pela força e iluminação, para eu que tomasse as melhores decisões; à minha mãe, Teresinha, que me criou com função de pai e mãe, e sempre me motivou nos estudos, e à minha esposa, Rayanne, que me acompanhou de perto, teve paciência nos momentos mais críticos e me incentivou a não desistir no meio do caminho; à minha sogra Joana, a quem tenho confiado o cuidado dos meus filhos; ao meu grande parceiro, aquele que me orientou antes mesmo do início do mestrado, mostrando as melhores opções e caminhos a seguir, de grande experiência acadêmica, Paulo Salles; aos professores do Centro de Ensino em que esta pesquisa foi realizada, em especial à professora Caline, dedicada e compromissada, à professora e coordenadora Raquel, atenciosa e esforçada, sempre acessível e pronta nos momentos em que fora solicitada, à supervisora pedagógica Conceição e à diretora, Maria Lourdes, pelo apoio; aos colegas Fabrício, Adriano, Geane e Rejane, com quem dividi momentos de troca de conhecimentos, aflições e alegrias nos últimos 2 anos e meio. Aos amigos Airton e Israel, pela revisão ortográfica;
The present paper discusses some issues in program synthesis by relating the idea of systematic p... more The present paper discusses some issues in program synthesis by relating the idea of systematic program derivation with the concepts of data type and correctness of data representation. The notion of an incomplete definition of a data type at a high level of abstraction is introduced. The ideas are illustrated through an example previously discussed in the literature by D. Gries.
Springer eBooks, 2012
A hybrid model, combining influence diagrams and a multicriteria method, is presented in order to... more A hybrid model, combining influence diagrams and a multicriteria method, is presented in order to assist with the decision making process about which questions would be more attractive to the definition of the diagnosis of Alzheimer's disease, considering the stages of Clinical Dementia Rating. The modeling and evaluation processes were carried out through a battery of standardized assessments for the evaluation of cases with Alzheimer's disease developed by Consortium to Establish a Registry for Alzheimer's disease.
IEEE Transactions on Software Engineering, Nov 1, 1979
The present paper discusses some issues in program synthesis by relating the idea of systematic p... more The present paper discusses some issues in program synthesis by relating the idea of systematic program derivation with the concepts of data type and correctness of data representation. The notion of an incomplete definition of a data type at a high level of abstraction is introduced. The ideas are illustrated through an example previously discussed in the literature by D. Gries.
This paper presents a semi-automated method for the acquisition of common sense and inferentialis... more This paper presents a semi-automated method for the acquisition of common sense and inferentialist concepts in Portuguese. Its innovative feature is a module of reasoning over the existing knowledge that aims to offer original content to the user helping in the expression of semantic relationships and validation of new concepts. This reasoning process is based on heuristics and syntactic analysis of noun phrases. A qualitative evaluation with users who interacted with the system built on the proposed method showed that the interactions made in the process of AC are more productive since the user is reminded about semantic relations and common sense about the new concept. Resumo. Este artigo apresenta um método semi-automático para aquisição de conceitos (AC) de senso comum e inferencialista na língua portuguesa. O método tem como diferencial um módulo de raciocínio sobre conhecimento preexistente que visa oferecer ao usuário conteúdo inicial que o ajude a externar e a validar relações semânticas de novos conceitos. Esse processo de raciocínio se baseia em heurísticas e na análise sintática de sintagmas nominais. Uma avaliação qualitativa com usuários que interagiram com o sistema, construído com base no método proposto, indicou que as interações realizadas no processo de AC são mais produtivas visto que o usuário é lembrado e instigado sobre relações semânticas de senso comum acerca do novo conceito.
Peer-to-Peer Networking and Applications, 2018
The article investigates policies for helping emergency-centre authorities for dispatching resour... more The article investigates policies for helping emergency-centre authorities for dispatching resources aimed at reducing goals such as response time, the number of unattended calls, the attending of priority calls, and the cost of displacement of vehicles. Pareto Set is shown to be the appropriated way to support the representation of policies of dispatch since it naturally fits the challenges of multi-objective optimization. Understanding which are the best policies of dispatching as well as workload balancing are very important in the context FOG computing, which aims to distribute in part workload and services on fog devices (such as hardened routers, switches, IP video cameras, etc.). Fog-computing systems produce an ever-increasing service request impacting, for instance, to the power consumption on cloud servers. On the other hand, it is equally crucial to guarantee the quality of service (e.g., latency requirements) of end users. By means of the concept of Pareto dominance a set with objectives may be ordered in a way that guides the dispatch of resources. Instead of manually trying to identify the best dispatching strategy, a multi-objective evolutionary algorithm coupled with an Emergency Call Simulator uncovers automatically the best approximation of the optimal Pareto Set that would be the responsible for indicating the importance of each objective and consequently the order of attendance of the calls. The scenario of validation is a big metropolis in Brazil using one-year of real data from 911 calls. Comparisons with traditional policies proposed in the literature are done as well as other innovative policies inspired from different domains as computer science and operational research. The results show that strategy of ranking the calls from a Pareto Set discovered by the evolutionary method is a good option because it has the second best (lowest) waiting time, serves almost 100% of priority calls, is the second most economical, and is the second in attendance of calls. That is to say, it is a strategy in which the four dimensions are considered without major impairment to any of them.
Lecture Notes in Computer Science, 1996
Google, Inc. (search), Subscribe (Full Service), Register (Limited Service, Free), Login. Search:... more Google, Inc. (search), Subscribe (Full Service), Register (Limited Service, Free), Login. Search: The ACM Digital Library The Guide. ...
Semantics has been many times a problem in connection to both nonmonotonic and paraconsistentlogi... more Semantics has been many times a problem in connection to both nonmonotonic and paraconsistentlogics. In previous works, a system of logics called IDL & LEI was developedto formalize practical reasoning, i.e., reasoning under incomplete knowledge. This systemcombines the features of nonmonotonicity to model inferences on the basis of partialevidence, with paraconsistency to deal with the inconsistencies introduced by extendedinferences. The aim of this paper is to present a semantics that...
ABSTRACT This paper describes an architecture for Information Extraction systems, based on Natura... more ABSTRACT This paper describes an architecture for Information Extraction systems, based on Natural Language Processing, for use in web collaborative systems. A web tool to extract information about crimes to the collaborative system WikiCrimes was developed using the architecture. The results of the evaluation of performance, practical usefulness and usability of the tool are presented and discussed. Resumo. Este artigo descreve uma arquitetura de sistemas de Extração de Informação baseados em Processamento de Linguagem Natural para uso em sistemas colaborativos na Web. Uma ferramenta para extração de informação sobre crimes para o sistema colaborativo WikiCrimes foi desenvolvida usando a arquitetura. Os resultados da avaliação dos aspectos de desempenho, utilidade prática e usabilidade da ferramenta são apresentados e discutidos.
Lecture Notes in Computer Science, 2012
The Linked Open Data (LOD) cloud is a promising reality since the major content producers are off... more The Linked Open Data (LOD) cloud is a promising reality since the major content producers are offering their data on an open and linked network, through RDF (Resource Description Framework), with the aim of providing Semantic Web applications with a single global database for retrieval of related content and to perform inferences over the network. However, bases with Portuguese-language content are still incipient. In this paper we present the process of inclusion of the InferenceNet --- the first resource with common sense and inferentialist knowledge in Portuguese language --- on the LOD. Our main goal is to leverage the use and development of Semantic Web applications by content producers in Portuguese language. We develop and evaluated a platform, called SemWidgets, for the creation and execution of widgets able to access and reason over InferenceNet and the open linked data, like DBPedia, Yago, and Article Search API of the New York Times.
One of the growing needs related to systems of Natural Language Processing (NLP) is that such sys... more One of the growing needs related to systems of Natural Language Processing (NLP) is that such systems must be able to perform enriched textual inferences. We argue that one reason for the current limitation of the inferences generated by these systems is that---for the most part---they are based on the characteristics of the things represented by names, and seek to
Uma das dificultades existentes ao se projetar sistemas de informacoes e o tratamento dos arquivo... more Uma das dificultades existentes ao se projetar sistemas de informacoes e o tratamento dos arquivos, que devem ser elaborados dentro do conceito de banco de dadod sao armazenados apenas uma vez e tratados coletivamente por varios programas. O presente trabalho propoes un modelo com capacidade de armazenar, selecionar e recuperar dados de um banco de dados, baseado no artigo E.F. Cood, "Relational Completeness of Data Base Sublanguages" de 1972. Para testar o modelo foi criando um sistema de subprogramas utilizando a linguagem PL/I, e alguns aspectos do sistema criado sao tratados no artigo.
A logic aimed to formalize the concept of pragmatic truth is presented. We start by examining a p... more A logic aimed to formalize the concept of pragmatic truth is presented. We start by examining a previous attempt of formalization by da Costa and collaborators, reported in [5], [3] and [2]. However, their formalization works as mere possibility in face of what is known, or assumed. It is pointed out here that not being in conflict with the assumed knowledge is not enough to regard a proposition as a truth of any sort, providing just a necessary condition. A typical picture of the way a scientific theory evolves exhibit alternative hypothesis competing for expanding the theory. In our view, a pragmatic knowledge, at this stage of development of the theory, is one that can be taken as true under all those competing hypothesis. The logic presented here formalizes this process of theory evolution in order to properly express the notion of pragmatic truth as we understand it.
In this article we investigate Multi-agent simulation and Multi-objective Evolutionary Algorithms... more In this article we investigate Multi-agent simulation and Multi-objective Evolutionary Algorithms for optimizing resource allocation in Public Safety. We describe a tool that helps Law Enforcement authorities to evaluate, in a controlled environment, different strategies for allocating and dispatching resources, aiming at reducing conflicting goals such as response time, the number of unattended calls and cost of displacement of police cars. This tool is a multi-agent model to represent police cars that lives in a grid in which emergency occurrences appear. A comparison of the strategies for resource dispatch in this environment shows that serving first those calls with low estimated attendance times delivers the best overall performance in terms of waiting time. However this is practically impossible since prioritization of certain crime types is necessary leading to the increase of the waiting time in the queue. Instead of manually trying to identify the best allocation strategy t...
A logical formalization to the process of theory revision when it is confronted by a scientific a... more A logical formalization to the process of theory revision when it is confronted by a scientific anomaly is presented. By “scientific anomaly” we mean an observed fact falling into the explanatory scope of a theory that cannot be explained by the theory and the accepted auxiliary hypotheses. As a first approach to restore the theory’s explicative power, some tentative auxiliary hypotheses are proposed to replace the old ones. In order to capture this refutable character of auxiliary hypotheses we brought into play a nonmonotonic inferential mechanism. Also, since the several tentative auxiliary hypotheses are mutually exclusive and may produce conflicts, we took a paraconsistent inferential relation as the monotonic basis of our system. By representing laws and auxiliary hypotheses through this nonmonotonic and paraconsistent logic we are able to provide an inferential machinery in which the effects of both occurrence and solution of anomalies upon a theory can be represented. *
PLOS ONE, 2017
We investigate at the subscale of the neighborhoods of a highly populated city the incidence of p... more We investigate at the subscale of the neighborhoods of a highly populated city the incidence of property crimes in terms of both the resident and the floating population. Our results show that a relevant allometric relation could only be observed between property crimes and floating population. More precisely, the evidence of a superlinear behavior indicates that a disproportional number of property crimes occurs in regions where an increased flow of people takes place in the city. For comparison, we also found that the number of crimes of peace disturbance only correlates well, and in a superlinear fashion too, with the resident population. Our study raises the interesting possibility that the superlinearity observed in previous studies [Bettencourt et al., Proc. Natl. Acad. Sci. USA 104, 7301 (2007) and Melo et al., Sci. Rep. 4, 6239 (2014)] for homicides versus population at the city scale could have its origin in the fact that the floating population, and not the resident one, should be taken as the relevant variable determining the intrinsic microdynamical behavior of the system.