Papers by Nicholas K . Corrêa
Vies da Escalada Daemons de Otimizacao e a Influencia da Narrativa Social Aceleracionista, 2021
O fenômeno de aceleração social, intimamente ligado a nossa modernização tecnológica e os sistema... more O fenômeno de aceleração social, intimamente ligado a nossa modernização tecnológica e os sistemas políticos e sociais que adotamos, vem sendo alvo de questionamentos por parte da teoria crítica por diversos filósofos e sociólogos, principalmente em relação a se tal "aceleração" seja algo que, possa ser justificável pelo bem comum da sociedade. De fato, as rápidas mudanças que ocorreram no último século causaram uma tremenda mudança em nossos estilos-de-vida, e na maneira como experienciamos o mundo. Que a nossa sociedade mudou e continua a mudar é um fato evidente quando olhamos criticamente para o passado e presente, e comparamos diferentes épocas da história humana. Neste ensaio tentaremos explorar algumas possíveis hipóteses que fundamentem o comportamento aceleracionista em certos fatores e mecanismo biológicos que caracterizam os sistemas de motivação e saciação humanos. Também tentaremos mostrar como certos fenômenos sociais podem auxiliar em fortalecer este tipo de comportamento, e suas possíveis origens evolutivas. Este estudo tem como objetivo principal fundamentar a Tese Aceleracionista em evidências neurofisiológicas, cognitivo-comportamentais, evolutivas e sociais. Palavras-chave: aceleração; recompensa; saciação; ciências cognitivas; teoria dos gêneros.
XXI SEMANA ACADÊMICA DO PPG EM FILOSOFIA DA PUCRS VOLUME II – FILOSOFIA MEDIEVAL / FEMINISMO / FILOSOFIA ANALÍTICA, 2021
Um posicionamento muito comum entre teóricos do campo de pesquisa em Inteligência Artificial é aq... more Um posicionamento muito comum entre teóricos do campo de pesquisa em Inteligência Artificial é aquele no qual definimos “Inteligência” como uma capacidade intrinsecamente relacionada à perseguição de metas e objetivos, algo que podemos chamar de uma “definição teleológica” para o fenômeno de inteligência. Contudo, uma possível crítica contra esta definição pode ser levantada devido a sua aparente vagueza. Como qualquer comportamento pode ser descrito como um objetivo a ser cumprido, e funções de utilidade pertencem a uma vasta família de funções, podemos dizer que “qualquer comportamento”, desde que esse possa ser descrito como um objetivo sendo perseguido (uma função de utilidade sendo maximizada), serve como evidência de agência inteligente. Neste estudo, gostaria de propor uma definição alternativa para o conceito de Inteligência. Uma definição metafísica, i.e., a Hipótese da Permissibilidade. Para defender tal proposta, irei apresentar um paralelo entre: (1) teoria da otimização; (2) nosso entendimento contemporâneo sobre fenômenos físicos; e (3) aquilo que chamamos de Aprendizagem de Máquina. No fim, proponho que “Inteligência” deve ser compreendida como uma propriedade física permissível de nossa realidade. Uma propriedade a que todos os sistemas físicos têm acesso.
Problemas de Segurança em Inteligência Artificial, 2021
A ansiedade gerada pela possível criação de inteligência artificial geral, algo profetizado desde... more A ansiedade gerada pela possível criação de inteligência artificial geral, algo profetizado desde a fundação do campo de pesquisa (i.e., Dartmouth's Summer Research Project on Artificial Intelligence) (MCCARTHY et al., 1955), é algo comumente investigado dentro dos círculos transhumanistas e singularistas (KURZWEIL, 2005; CHALMERS, 2010; TEGMARK, 2016; 2017; CORRÊA; DE OLIVEIRA, 2021). Por exemplo, em seu livro “Superintelligence: Paths, Dangers, Strategies”, Nick Bostrom (2014) apresenta uma série de argumentos para justificar a ideia de que precisamos ser cautelosos em relação a criação de inteligência artificial avançada ou inteligência artificial geral. Contudo, muito dos argumentos levantados, em suas versões originais (i.e., convergência instrumental e ortogonalidade (OMOHUNDRO, 2008), são baseados em noções “vagas” de conceitos complexos (i.e., “inteligência”, “racionalidade”, “agência”). O objetivo deste resumo (apresentação) será introduzir o leitor/ouvinte ao campo de Segurança da Inteligência Artificial. Nesse campo, questões como o “Problema de controle” (i.e., evitar construir inadvertidamente uma inteligência artificial geral que prejudicará seus criadores) e o “Problema de Alinhamento” (i.e., criar sistemas de inteligência artificial que permaneçam seguros mesmo quando atuando de forma autônoma no ambiente real), que são questões muitas vezes debatidas apenas dentro da Filosofia ou Ficção Científica, ganham um aspecto muito mais real e formal (AMODEI et al., 2016, HUBINGER et al., 2019). A criação de alguns dos modelos de inteligência artificial mais avançados já criados (e.g., AlphaGo, GPT-3) (SILVER el al., 2016; BROWN et al., 2020), está ligado a utilização de dois paradigmas da área de Aprendizagem de Máquina, i.e., Aprendizagem Profunda e Aprendizagem por Reforço. Dentro deste contexto, podemos definir “um sistema autônomo inteligente” como “um sistema que implementa uma política ótima (tecnicamente "ϵ-greedy optimal") para alguma função de recompensa” (ORSEAU et al., 2018). Podemos também definir tais sistemas como “maximizadores de utilidade esperada” (VON NEUMANN; MORGENSTERN, 1944). Um sistema de IA maximizando uma função de recompensa (i.e., objetivo) especificada erroneamente pode vir a causar danos reais quando interagindo no ambiente real, seja por erros de especificação (i.e., Efeitos Colaterais Negativos, Hackeamento de Recompensa, Interrupção Segura), ou quando o domínio de treinamento é diferente do domínio de implantação (i.e., Exploração Segura e Mudança de Domínio). Ao mesmo tempo, especificar objetivos complexos (e.g., preferências e valores humanos) é uma tarefa extremamente complexa, e quando visamos a possibilidade de inteligência artificial avançada agindo no mundo real, é imperativo que tais sistemas estejam: (1) alinhados com nossos objetivos; e (2) desenvolvidos com um design que evite os problemas citados acima. Contudo, tais problemas permanecem em aberto. Por fim, gostaria de ressaltar que no cerne desta problemática, não temos apenas problemas técnicos de aprendizagem de máquina, mas uma importante questão de cunho “Moral”: “O que é a coisa ‘certa” a fazer”? “Qual o objetivo correto a ser perseguido”? “Como podemos especificar isso”? Perguntas como essas prometem um fértil campo para pesquisas interdisciplinares envolvendo inteligência artificial, aprendizagem de máquina, ciências da computação e filosofia moral.
RESUMO: Atualmente, o turismo e novos projetos espaciais criam a oportunidade de mais seres human... more RESUMO: Atualmente, o turismo e novos projetos espaciais criam a oportunidade de mais seres humanos serem colocados em orbita, mas uma das principais preocupacoes e a ocorrencia de possiveis complicacoes cardiacas em ambiente extraterrestre. Sendo assim, o objetivo deste estudo foi investigar o esforco fisico percebido (EB), a frequencia cardiaca (FC), a profundidade das compressoes toracicas e a ativacao de grupos musculares primarios a manobra de ressuscitacao cardiopulmonar (RCP) Evetts-Russomano em 20 individuos saudaveis, com 25,5±6,5 anos atraves de um sistema de suspensao corporal. Como resultado, foi visto um declinio da profundidade das compressoes toracicas do ambiente de gravidade terrestre (1Gz) para a hipogravidade simulada de 0,38Gz (HipoG) e de HipoG para o ambiente simulado de microgravidade (MicroG); um aumento do EB e da FC a medida que a gravidade diminuia; e uma ativacao muscular sem diferenca estatistica entre HipoG e MicroG. PALAVRAS-CHAVE: Ressuscitacao Cardio...
Counterfactuality and the Physical Reality - Lessons from quantum mechanics
Counterfactuality and the Physical Reality - Lessons from quantum mechanics, 2020
In this essay, I'll present an example of counterfactual physical phenomena. More precisely, ... more In this essay, I'll present an example of counterfactual physical phenomena. More precisely, counterfactual definiteness and interaction-free measurements in quantum mechanics. The example used will be the Elitzur-Vaidman bomb testing experiment, which shows how we can probe the properties of objects, even when they have not been measured, i. e., counterfactual measurements. This type of physical phenomenon seems to operate by the same laws of causality as counterfactual reasoning in decision-making. After all, how can something that doesn't happen affect the real world? I suggest that some mathematical tools used in quantum mechanics may be of interest to those who wish to better model counterfactual possibilities in the decision process or philosophers interested in better understanding the metaphysical implications of quantum mechanics.
Singularity and Coordination Problems: Pandemic Lessons from 2020, 2021
Are there any indications that a Technological Singularity may be on the horizon? In trying to an... more Are there any indications that a Technological Singularity may be on the horizon? In trying to answer these questions, the authors made a small introduction to the area of safety research in artificial intelligence. The authors review some of the current paradigms in the development of autonomous intelligent systems, searching for evidence that may indicate the coming of a possible Technological Singularity. Finally, the authors present a reflection using the COVID-19 pandemic, something that showed that global society's biggest problem in managing existential risks is its lack of coordination skills as a global society.
Dynamic Cognition Applied to Value Learning in Artificial Intelligence, 2021
Experts in Artificial Intelligence (AI) development predict that advances in the dvelopment of in... more Experts in Artificial Intelligence (AI) development predict that advances in the dvelopment of intelligent systems and agents will reshape vital areas in our society. Nevertheless, if such an advance isn't done with prudence, it can result in negative outcomes for humanity. For this reason, several researchers in the area are trying to develop a robust, beneficial, and safe concept of artificial intelligence. Currently, several of the open problems in the field of AI research arise from the difficulty of avoiding unwanted behaviors of intelligent agents, and at the same time specifying what we want such systems to do. It is of utmost importance that artificial intelligent agents have their values aligned with human values, given the fact that we cannot expect an AI to develop our moral preferences simply because of its intelligence, as discussed in the Orthogonality Thesis. Perhaps this difficulty comes from the way we are addressing the problem of expressing objectives, values, and ends, using representational cognitive methods. A solution to this problem would be the dynamic cognitive approach proposed by Dreyfus, whose phenomenological philosophy defends that the human experience of being-in-the-world cannot be represented by the symbolic or connectionist cognitive methods. A possible approach to this problem would be to use theoretical models such as SED (situated embodied dynamics) to address the values learning problem in AI.
Good AI For The Present of Humanity Democratizing AI Governance, 2021
What do Cyberpunk and AI Ethics have to do with each other? Cyberpunk is a sub-genre of science f... more What do Cyberpunk and AI Ethics have to do with each other? Cyberpunk is a sub-genre of science fiction that explores the post-human relationships between human experience and technology. One similarity between AI Ethics and Cyberpunk literature is that both seek to explore future social and ethical problems that our technological advances may bring upon society. In recent years, an increasing number of ethical matters involving AI have been pointed out and debated, and several ethical principles and guides have been suggested as governance policies for the tech industry. However, would this be the role of AI Ethics? To serve as a soft and ambiguous version of the law? We would like to advocate in this article for a more Cyberpunk way of doing AI Ethics, with a more democratic way of governance. In this study, we will seek to expose some of the deficits of the underlying power structures of the AI industry, and suggest that AI governance be subject to public opinion, so that 'good AI' can become 'good AI for all.'
Metodos Axiomaticos: a Interpretacao Matematica de Lawvere da Logica de Hegel, 2020
O pensamento axiomático de Hilbert foi um influente modelo que motivou vários movimentos no iníci... more O pensamento axiomático de Hilbert foi um influente modelo que motivou vários movimentos no início do século XX. O formalismo axiomático fornece, através do uso da lógica de primeira ordem, uma importante fundação para modelos lógicos formais, o que, para Hilbert, representaria um modelo universal de investigação empírica, não só para a matemática, mas para todas as ciências naturais. Contudo, no caso mais específico da matemática, existe uma certa descomunicação entre os fundamentos da matemática e sua prática, onde métodos informais, ainda promovem elegantes ferramentas para matemáticos de diversas áreas. É exatamente esta assincronia entre os fundamentos da matemática, e a sua prática que iremos investigar neste estudo. Lawvere, insatisfeito com a "fundação não fundamentada" do método axiomático proposto por Hilbert, e inspirado pela dialética hegeliana, procurou revisar os fundamentos da matemática pela lógica categórica e a Teoria das Categorias. Vemos neste estudo, como as interpretações de Lawvere de conceitos da lógica de Hegel, como, equivalência, unidade dos opostos e "aufheben", permitem uma nova abordagem matemática, com um posicionamento filosófico que procura, de certa forma, transcender a dicotomia entre escolas analíticas e continentais. Lawvere trata a lógica objetiva de Hegel como uma possível estratégia para resolver o problema de aterramento lógico em metafísica. Por fim, vemos como as contribuições de Lawvere para a axiomatização da lógica categórica tiveram impactos inovadores na metamatemática, especialmente no desenvolvimento das fundações univalentes de Vladimir Voevodsky.
Metanormativity: Solving questions about moral and empirical uncertainty, 2020
How can someone reconcile the desire to eat meat, and a tendency toward vegetarian ideals? How sh... more How can someone reconcile the desire to eat meat, and a tendency toward vegetarian ideals? How should we reconcile contradictory moral values? How can we aggregate different moral theories? How individual preferences can be fairly aggregated to represent a will, norm, or social decision? Conflict resolution and preference aggregation are tasks that intrigue philosophers, economists, sociologists, decision theorists, and many other scholars, being a rich interdisciplinary area for research. When trying to solve questions about moral uncertainty a meta understanding of the concept of normativity can help us to develop strategies to deal with norms themselves. 2 nd-order normativity, or norms about norms, is a hierarchical way to think about how to combine many different normative structures and preferences into a single coherent decision. That is what metanormativity is all about, a way to answer: what should we do when we don't know what to do? In this study, we will review a decision-making strategy dealing with moral uncertainty, Maximization of Expected Choice-Worthiness. This strategy, proposed by William MacAskill, allows for the aggregation and inter-theoretical comparison of different normative structures, cardinal theories, and ordinal theories. In this study, we will exemplify the metanormative methods proposed by MacAskill, using has an example, a series of vegetarian dilemmas. Given the similarity to this metanormative strategy to expected utility theory, we will also show that it is possible to integrate both models to address decision-making problems in situations of empirical and moral uncertainty. We believe that this kind of ethical-mathematical formalism can be useful to help develop strategies to better aggregate moral preferences and solve conflicts.
Veritas, 2020
Especialistas em desenvolvimento de Inteligência Artificial (IA) preveem que o avanço no desenvol... more Especialistas em desenvolvimento de Inteligência Artificial (IA) preveem que o avanço no desenvolvimento de sistemas e agentes inteligentes irá remodelar áreas vitais em nossa sociedade. Contudo, se tal avanço não for realizado de maneira prudente e crítico-reflexiva, pode resultar em desfechos negativos para a humanidade. Por esse motivo, diversos pesquisadores na área têm desenvolvido uma concepção de IA robusta, benéfica e segura para a preservação da humanidade e do meio-ambiente. Atualmente, diversos dos problemas em aberto no campo de pesquisa em IA advêm da dificuldade de evitar comportamentos indesejados de agentes e sistemas inteligentes e, ao mesmo tempo, especificar o que realmente queremos que tais sistemas façam, especialmente quando prospectamos a possibilidade de agentes inteligentes atuarem em vários domínios em longo prazo. É de suma importância que agentes inteligentes artificiais tenham os seus valores alinhados com os valores humanos, dado ao fato de que não podemos esperar que uma IA desenvolva valores morais humanos por conta de sua inteligência, conforme é discutido na Tese da Ortogonalidade. Talvez tal dificuldade venha da maneira que estamos abordando o problema de expressar objetivos, valores e metas, utilizando métodos cognitivos representacionais. Uma solução para esse problema seria a abordagem dinâmica proposta por Dreyfus, que com base na filosofia fenomenológica mostra que a experiência humana do ser-no-mundo em diversos aspectos não é bem representada pelo método cognitivo simbólico ou conexionista, especialmente na questão de aprendizagem de valores. Uma possível abordagem para esse problema seria a utilização de modelos teóricos como Situated Embodied Dynamics (SED) para abordar o problema de aprendizagem de valores em IA.
Research on biomedical engineering, 2017
Introduction: Skateboarding is one of the most popular cultures in Brazil, with more than 8.5 mil... more Introduction: Skateboarding is one of the most popular cultures in Brazil, with more than 8.5 million skateboarders. Nowadays, the discipline of street skating has gained recognition among other more classical sports and awaits its debut at the Tokyo 2020 Summer Olympic Games. This study aimed to explore the state-of-the-art for inertial measurement unit (IMU) use in skateboarding trick detection, and to develop new classification methods using supervised machine learning and artificial neural networks (ANN). Methods: State-of-the-art knowledge regarding motion detection in skateboarding was used to generate 543 artificial acceleration signals through signal modeling, corresponding to 181 flat ground tricks divided into five classes (NOLLIE, NSHOV, FLIP, SHOV, OLLIE). The classifier consisted of a multilayer feed-forward neural network created with three layers and a supervised learning algorithm (backpropagation). Results: The use of ANNs trained specifically for each measured axis of acceleration resulted in error percentages inferior to 0.05%, with a computational efficiency that makes real-time application possible.
Conclusion: Machine learning can be a useful technique for classifying skateboarding flat ground tricks, assuming
that the classifiers are properly constructed and trained, and the acceleration signals are preprocessed correctly.
Muscle Activity during the Performance of CPR in Simulated Microgravity and Hypogravity, 2015
Cardiopulmonary resuscitation (CPR) is a series of resuscitation actions that improve the surviva... more Cardiopulmonary resuscitation (CPR) is a series of resuscitation actions that improve the survival chances after a cardiac arrest, maintaining tissue perfusion through sternal compressions. The aim of this study was to clarify potential differences in upper body muscle activity related to CPR in microgravity and hypogravity (Mars gravitational field). Thirty healthy male volunteers each performed 3 sessions of 30 external chest compressions (ECCs) on a mannequin, during which time the muscle activity of the pectoralis major, triceps brachii and rectus abdominis were recorded via superficial electromyography. Hypogravity and microgravity were simulated by means of a body suspension device and a counterweight system, to which the volunteer was connected via a harness. The standard terrestrial (1G) CPR position was adopted in simulated hypogravity, and the Evetts-Russomano method was used in simulated microgravity. Heart rate and perceived exertion were also measured via Borg scale. No significant difference was found between the ECCs per minute and per set of compressions when performed at 1G and in simulated hypogravity. However, the mean depth achieved during compressions showed a significant difference in hipogravity. After 3 sets of 30 ECCs, mean heart rate showed an increase from rest values to those obtained from the 3 gravitational fields, and also from 1G to microgravity, but not from 1G to hypogravity. Mean of perceived exertion presented a significant increase from 1G to hypograviy and to microgravity. Muscle activation during the performance of CPR at 1G and hypogravity was significantly higher for the rectus abdominis. All muscles were more active during CPR in microgravity when compared with 1G. These findings suggest that the rescuer should be physically well trained in order to deliver adequate CPR in extraterrestrial environments. The physical training should aim to improve muscular endurance and cardiorespiratory capacity to increase effectiveness of the rescuer emergency assistance.
Gender Influence on the Performance of Chest Compressions in Simulated Hypogravity and Microgravity, 2012
Introduction: In the event of a cardiac arrest during microgravity exposure, external chest compr... more Introduction: In the event of a cardiac arrest during microgravity exposure, external chest compressions (ECCs) which form the main part of basic life support should be carried out while the advanced life support equipment is being deployed. This study was aimed to determine if there was any gender difference in the effectiveness of performing ECCs using a body suspension device to simulate lunar and Martian hypogravity and microgravity. Methods: The volunteers performed ECCs during simulated microgravity (using the Evetts-Russomano method): lunar, Martian, and Earth/Control. Each volunteer performed 3 sets of 30 compressions with 6 s rest in between. The volunteers had their increase in heart rate measured and used the Borg scale to rate the intensity of work after each protocol. Results: The mean depth compressions for men during all gravitational simulations were higher than the women, but both sexes performed effective ECCs during the two tested hypogravity states. During simulated microgravity, men performed significantly deeper ECCs (mean ± SD of 45.07 ± 4.75 mm) than women (mean ± SD of 30.37 ± 4.75 mm). None of the women achieved the required mean depth of ECCs. Though the increase in heart rate was higher in women, no significant difference was seen in the Borg scale scores between genders during or after the performance of ECCs in microgravity. Discussion: The results suggest both genders can perform effective ECCs during simulated hypogravity. Women, however, cannot perform effective ECCs during microgravity simulation. These findings suggest that there is a gender difference when performing the Evetts-Russomano method.
Thesis Chapters by Nicholas K . Corrêa
Masters Thesis, 2017
Skate é uma das culturas mais populares no Brasil, com mais de 8.5 milhões de adeptos. O moviment... more Skate é uma das culturas mais populares no Brasil, com mais de 8.5 milhões de adeptos. O movimento esportivo atualmente se encontra em uma fase de grande crescimento, dada inclusive a estréia da modalidade nos Jogos Olímpicos em Tóquio 2020.
O presente estudo teve como objetivo desenvolver técnicas de detecção e classificação de manobras de Street Skate, utilizando sensores inerciais IMU (Inertial Module Unit) e Redes Neurais Artificiais (RNA).
Utilizando conhecimento do estado da arte em detecção de movimentos no Skate, foram gerados 181 registros artificiais, resultando em 543 sinais de aceleração (X, Y e Z) divididos entre 5 classes de manobras. Foi desenvolvida uma heurística de classificação utilizando coeficientes de correlação cruzada para discriminar cada classe, e com a Neural Network Toolbox foi criada uma Multilayer Feed Forward Network de três camadas treinada através de um algoritmo de aprendizagem supervisionado (scaled conjugate gradient backpropagation).
Os resultados mostraram que com a utilização de RNAs treinadas especificamente para cada eixo, sendo o eixo Z o maior discriminador, podemos alcançar um percentual de erro inferior a 0.05%, com uma eficiência computacional que disponibiliza respostas em tempo real.
Aprendizado de máquina é uma podersoa ferramenta na classificação de padrões de movimento complexos, contanto que os classificadores sejam arquitetados de maneira eficiente e o problema proposto de maneira clara, essa técnica possui promissoras aplicações para Exergames e detecção de movimentos.
Drafts by Nicholas K . Corrêa
Artificial Intelligence Ethics and Safety: practical tools for creating "good" models, 2021
The AI Robotics Ethics Society (AIRES) is a non-profit organization founded in 2018 by Aaron Hui ... more The AI Robotics Ethics Society (AIRES) is a non-profit organization founded in 2018 by Aaron Hui to promote awareness and the importance of ethical implementation and regulation of AI. AIRES is now an organization with chapters at universities such as UCLA (Los Angeles), USC (University of Southern California), Caltech (California Institute of Technology), Stanford University, Cornell University, Brown University, and the Pontifical Catholic University of Rio Grande do Sul (Brazil). AIRES at PUCRS is the first international chapter of AIRES, and as such, we are committed to promoting and enhancing the AIRES Mission. Our mission is to focus on educating the AI leaders of tomorrow in ethical principles to ensure that AI is created ethically and responsibly. As there are still few proposals for how we should implement ethical principles and normative guidelines in the practice of AI system development, the goal of this work is to try to bridge this gap between discourse and praxis. Between abstract principles and technical implementation. In this work, we seek to introduce the reader to the topic of AI Ethics and Safety. At the same time, we present several tools to help developers of intelligent systems develop "good" models. This work is a developing guide published in English and Portuguese. Contributions and suggestions are welcome.
Ética e Segurança da Inteligência Artificial: ferramentas práticas para se criar "bons" modelos, 2021
A AI Robotics Ethics Society (AIRES) é uma organização sem fins lucrativos fundada em 2018 por Aa... more A AI Robotics Ethics Society (AIRES) é uma organização sem fins lucrativos fundada em 2018 por Aaron Hui, com o objetivo de se promover a conscientização e a importância da implementação e regulamentação ética da AI. A AIRES é hoje uma organização com capítulos em universidade como UCLA (Los Angeles), USC (University of Southern California), Caltech (California Institute of Technology), Stanford University, Cornell University, Brown University e a Pontifícia Universidade Católica do Rio Grande do Sul (Brasil). AIRES na PUCRS é o primeiro capítulo internacional da AIRES, e como tal, estamos empenhados em promover e aprimorar a Missão AIRES. Nossa missão é focar na educação dos líderes da IA de amanhã em princípios éticos, para assegurar que a IA seja criada de forma ética e responsável. Como ainda existem poucas propostas de como devemos implementar princípios éticos e diretrizes normativas na prática do desenvolvimento de sistemas de IA, o objetivo deste trabalho é tentar diminuir esta lacuna entre o discurso e a práxis. Entre princípios abstratos e implementação técnica. Neste trabalho, buscamos introduzir o leitor ao tema da Ética e Segurança da IA. Ao mesmo tempo, apresentamos uma série de ferramentas para auxiliar desenvolvedores de sistemas inteligentes a desenvolver “bons” modelos. Este trabalho é um guia em desenvolvimento publicado em inglês e português. Contribuições e sugestões são bem vindas.
Why do we still work so much? Reflections on an Automated Society, 2020
For more than a century now, the automation of the means of work has created great apprehension a... more For more than a century now, the automation of the means of work has created great apprehension among us. After all, will we all be replaced by machines in the future? Will all forms of labor be automatable? Such questions raise several criticisms in the literature concerned with machine ethics. However, in this study, I will approach this problem from another angle. After all, we can criticize the automation of the means of work in several ways. I invite the reader to entertain the following hypothesis: What if the automation of the means of labor is something beneficial? What if human emancipation does come through our technological development? If the answer is yes, why do we still work so much? I conclude that if automation processes are applied to key points in our social structure, we can emancipate the individual from a reality where we work for no reason.
Freire, Educação Libertária e Anarquismo , 2020
Para comemorarmos o centenário do patrono da Educação Brasileira, Paulo Reglus Neves Freire, irem... more Para comemorarmos o centenário do patrono da Educação Brasileira, Paulo Reglus Neves Freire, iremos neste breve estudo propor um diálogo entre a pedagogia libertária de Freire e algumas princípios filosóficos que a fundamentam. Inicialmente, investigamos a trajetória histórica do pedagogo nordestino, e os momentos mais marcantes de sua vida cosmopolita. Em segundo, apresentaremos alguns dos principais alicerces de sua metodologia pedagógica, contudo, dada a vasta obra publicada por Freire, qualquer breve revisão será fadada em apenas ser um breve vislumbre da filosofia e pedagogia freireana. Por fim, iremos explorar algumas das origens filosóficas e políticas do conceito de pedagogia libertária, e como essas origens podem ser ligadas a filosofia Anarquista, dado a algumas semelhanças evidentes. A crítica a autoridade injustificada, a amorosa crença do caráter social e solidário do indivíduo humano, e um forte defesa da emancipação humana, algo que só pode ser alcançado através da busca pela liberdade e autonomia do sujeito. Tais paralelos levam à conclusão de que se a pedagogia libertária é um ato de amor, a filosofia libertária também deve ser, pois, ambas se nutrem da mesma fonte, e almejam o mesmo lugar: a emancipação humana.
Metanormativity: Questions of moral and empirical uncertainty, 2020
How can someone reconcile the desire to eat meat, and a tendency toward vegetarian ideals? How sh... more How can someone reconcile the desire to eat meat, and a tendency toward vegetarian ideals? How should we reconcile contradictory moral values? How can we aggregate different moral theories? How individual preferences can be fairly aggregated to represent a will, norm, or social decision? Conflict resolution and preference aggregation are tasks that intrigue philosophers, economists, sociologists, decision theorists, and many other scholars, being a rich interdisciplinary area for research. When trying to solve questions about moral uncertainty a meta understanding of the concept of normativity can help us to develop strategies to deal with norms themselves. 2nd-order normativity, or norms about norms, is a hierarchical way to think about how to combine many different normative structures and preferences into a single coherent decision. That is what metanormativity is all about, a way to answer: what should we do when we don’t know what to do? In this study, we will review a decision-making strategy dealing with moral uncertainty, Maximization of Expected Choice-Worthiness. This strategy, proposed by William MacAskill, allows for the aggregation and inter-theoretical comparison of different normative structures, cardinal theories, and ordinal theories. In this study, we will exemplify the metanormative methods proposed by MacAskill, using has an example, a series of vegetarian dilemmas. Given the similarity to this metanormative strategy to expected utility theory, we will also show that it is possible to integrate both models to address decision-making problems in situations of empirical and moral uncertainty. We believe that this kind of ethical-mathematical formalism can be useful to help develop strategies to better aggregate moral preferences and solve conflicts.
Uploads
Papers by Nicholas K . Corrêa
Conclusion: Machine learning can be a useful technique for classifying skateboarding flat ground tricks, assuming
that the classifiers are properly constructed and trained, and the acceleration signals are preprocessed correctly.
Thesis Chapters by Nicholas K . Corrêa
O presente estudo teve como objetivo desenvolver técnicas de detecção e classificação de manobras de Street Skate, utilizando sensores inerciais IMU (Inertial Module Unit) e Redes Neurais Artificiais (RNA).
Utilizando conhecimento do estado da arte em detecção de movimentos no Skate, foram gerados 181 registros artificiais, resultando em 543 sinais de aceleração (X, Y e Z) divididos entre 5 classes de manobras. Foi desenvolvida uma heurística de classificação utilizando coeficientes de correlação cruzada para discriminar cada classe, e com a Neural Network Toolbox foi criada uma Multilayer Feed Forward Network de três camadas treinada através de um algoritmo de aprendizagem supervisionado (scaled conjugate gradient backpropagation).
Os resultados mostraram que com a utilização de RNAs treinadas especificamente para cada eixo, sendo o eixo Z o maior discriminador, podemos alcançar um percentual de erro inferior a 0.05%, com uma eficiência computacional que disponibiliza respostas em tempo real.
Aprendizado de máquina é uma podersoa ferramenta na classificação de padrões de movimento complexos, contanto que os classificadores sejam arquitetados de maneira eficiente e o problema proposto de maneira clara, essa técnica possui promissoras aplicações para Exergames e detecção de movimentos.
Drafts by Nicholas K . Corrêa