Este artigo trata da inteligência artificial, com ênfase na computação cognitiva, como uma problemática contemporânea no contexto da cibercultura. Teve como objetivo investigar na literatura científica os principais aspectos da computação cognitiva em unidades de informação. Procurou levantar as perspectivas da computação cognitiva em unidades de informação e mapear como essas unidades têm utilizado (ou podem utilizar) a inteligência artificial em suas atividades e interação com o usuário. A metodologia utilizada se inscreve como pesquisa bibliográfica. Reflete com ênfase, principalmente, em (...) outras leituras a partir do levantamento bibliográfico realizado na base de dados Ebsco e na Brapci, com recorte de 2009 a 2019. Foi realizada uma análise do discurso simples e a categorização dos assuntos dos artigos a partir das abordagens teóricas do ponto de vista da cibercultura. Destaca como resultado as principais definições encontradas na literatura, um case empírico que está sendo desenvolvido pela autoria deste artigo, a abordagem teórica com base na cibercultura, as perspectivas e aplicações dos artigos investigados. Finalmente se considera que a literatura sobre computação cognitiva trata da biblioteca e do bibliotecário no contexto contemporâneo. Os artigos são predominantes estrangeiros, na sua maioria são populistas tecnocráticos, possuem abordagens qualitativas e se referem a computação cognitiva como inteligência artificial. (shrink)

RePartitura é uma instalação de arte computacional, aqui apresentada e discutida sob seus três princípios constituintes: Arte Processual; Computação Evolutiva (CE) e Abdução, do modelo triádico de pensamento Peirceano (abdução, indução e dedução). RePartitura utiliza um algoritmo computacional, especialmente desenvolvido para este fim, que mapeia características da imagem digital – de uma coleção de desenhos previamente elaborada – para um modelo musical de CE; a Síntese Sonora Evolutiva (ESSynth). Esta gera dinamicamente um conjunto de objetos sonoros. O resultado deste processo (...) é um ambiente sonoro imersivo, ao mesmo tempo variante e similar, que é aqui chamado de Paisagem Sonora Artificial. O sistema computacional generativo utiliza princípios da CE para interpretar cada desenho como um Indivíduo pertencente a uma População. Todos os indivíduos têm em comum a característica de serem similares mas nunca idênticos. O conjunto de características específicas de cada desenho é chamado de Genótipo. A interação entre distintos genótipos e suas correspondentes características sonoras, produz uma População dinâmica de objetos sonoros evolutivos. O comportamento evolutivo deste processo leva à auto organização das paisagens sonoras artificiais, formadas pela População de complexos e singulares objetos sonoros, em constante transformação, que sempre mantêm uma autosimilaridade aproximada, facilmente identificável por qualquer ouvinte. Neste artigo, apresentamos o RePartitura como uma instalação artística processual evolutiva, e descrevemos os tópicos que a permeiam, desde a criação conceitual até sua implementação computacional. Discutimos aqui a emergência no ambiente sonoro autoorganizado desta instalação, como uma forma de Abdução sintética, ocasionada pela ação de operadores genéticos contidos no ESSynth. Tal processo gera uma paisagem sonora artificial que, por nunca se repetir acusticamente, apesar de manter uma autosimilaridade cognitiva, toca no conceito de significado sonoro e musical. (shrink)

info:eu-repo/semantics/publishedVersion.

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

Neste artigo defendo uma interpretação pluralista para a teoria do significado de Peirce quando aplicada a termos gerais que fazem referência a tipos naturais ou, como recentemente estabelecido no debate contemporâneo, termos de tipos naturais. Conduzido por uma análise dos escritos de Peirce, podemos encontrar uma teoria confiável e promissora para esta ampla categoria de termos. Orientando-se por leitores privilegiados da filosofia de Peirce, duas posições principais são identificadas e comparadas por via do método pragmático. A partir das conclusões desta (...) comparação, encontramos fortes razões para selecionar a posição pluralista moderada, enfatizando a teleologia dos agentes cognitivos em detrimento de causas finais. Esta leitura de Peirce não é apenas fortemente naturalizada, mas também se apresenta como uma abordagem instrumentalista à filosofia da linguagem. A leitura pretende lançar luz sobre algumas das principais reivindicações deste que é um autor estratégico, em especial, quando confrontado com a discussão contemporânea em torno dos TTNs. O tratamento de Peirce aos termos gerais é enriquecido por novas pesquisas empíricas em ciências cognitivas e biossemiótica. Todo o trabalho tem uma dívida especial com estudos recentes em computação cognitiva que introduziram o conceito de aptidão semântica para modelar um nível ótimo de abstração para produzir representações mais significativas em um determinado domínio ontológico, classificando objetos particulares de forma dinâmica e progressiva. Esta noção é introduzida para uma interpretação efetivamente evolucionária da teoria dos termos genéricos de Peirce e na exposição das vantagens desta estrutura conceitual. (shrink)

Produzidas a partir de determinadas concepções e posicionamentos políticos e filosóficos, as tecnologias expressam intencionalidades que orientam as dinâmicas sociais e afetam os seus usos, design e desempenho. Neste artigo, partimos do pressuposto de que as tecnologias não são produzidas e disseminadas de modo neutro, sendo afetadas pelo modo como gênero e raça estruturam as relações sociais. A partir de informações obtidas na Plataforma Lattes, do CNPq, e em sites institucionais, realizamos um mapeamento das docentes universitárias afro-brasileiras e africanas dos (...) países africanos de língua oficial portuguesa que pesquisam sobre tecnologias digitais e são vinculadas aos cursos de Ciências da Computação, Comunicação, Pedagogia e Ciências Sociais de universidades públicas, no período compreendido entre 1989 e 2019. Por meio de uma abordagem interseccional, analisamos como o fenômeno da brecha digital posiciona as mulheres negras no campo da pesquisa sobre tecnologias digitais e concluímos que, apesar de ser identificada a presença de docentes negras nas universidades desenvolvendo pesquisas sobre tecnologias digitais, sua participação nesta área ainda é incipiente. No que se refere aos PALOP, as informações disponíveis na internet foram insuficientes para que pudéssemos reunir elementos que garantam uma análise segura do fenômeno nas universidades públicas investigadas. (shrink)

O avanço técnico gerou disparidades ligadas ao campo da informática, algumas empresas aprisionaram o conhecimento através de senhas, licenças e direitos autorais, induzindo a sociedade civil a ficar refém desse processo de exploração comercial e criando uma divisão entre a comunidade de técnicos ligados a computação. Surge o Movimento Software Livre-MSL, em prol da criação, uso e difusão de softwares alternativos e cooperativos, uma nova forma de ação coletiva que visa romper com o sistema econômico vigente utilizando-se do potencial das (...) redes, principalmente da Internet, pois teve sua divulgação e propagação através da Internet por meio da cooperação mútua entre profissionais ligados a informática e alcançou vários segmentos da sociedade civil. Partindo dessas considerações, esse artigo apresenta resultados de uma pesquisa feita com algumas Organizações Não Governamentais-ONGs brasileiras, sobre as contribuições do MSL para a adesão, implementação e migração dos softwares livres por estas ONGs. (shrink)

Sumário Mostramos que, em virtude dos limites teóricos da computação, nem toda a ciência formulada com carácter preditivo pode ser simulada. Em particular, evidencia- se que a Fisica Clássica, nomeadamente a Físíca Newtoniana, padece deste mal, encerrando processos de Zenão.

WoLLIC'2006 was held at the Center for the Study of Language and Information , Stanford University, USA, from July 18th to 21st, 2006. WoLLIC is a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete (...) and useful interaction among participants. Previous versions were held at: Recife in 1994 and 1995; Salvador in 1996; Fortaleza in 1997; São Paulo in 1998; Itatiaia in 1999; Natal in 2000; Brasília in 2001; Rio de Janeiro in 2002; Ouro Preto in 2003; Fontainebleau in 2004; Florianópolis in 2005. It is planned that in 2007 it will be held in Rio de Janeiro, 2008 in Edinburgh , and 2009 in Japan . Scientific sponsorship comes from the Interest Group in Pure and Applied Logics , the European Association for Logic, Language and Information , the Association for Symbolic Logic , European Association for Theoretical Computer Science , the Sociedade Brasileira de Computação , and the Sociedade Brasileira de Lógica . Funding was kindly given by: The Tinker Foundation; The Office of the Provost, Stanford University; Center for the Study of Language and Information, Stanford University; Department of Philosophy, Stanford University; Department of Mathematics, Stanford University; Symbolic Systems Program, Stanford University. Contributions were received in the form of short papers in all areas related to logic, language, information and computation, including: context and situation theory; …. (shrink)

A pesquisa em informação quântica sugere uma íntima conexão entre o conceito de informação e a teoria quântica, mas essa conexão envolve nuances cuja análise é o objeto deste trabalho. A sabedoria comum nesse campo divide-se em duas grandes áreas, não excludentes entre si. Há os que são movidos pela possibilidade de uso da teoria quântica em um novo campo, o da computação, independentemente do esclarecimento de seus fundamentos, aqui incluído o conceito de "informação". Alguns consideram que estamos diante de (...) um grande problema conceitual sem resposta satisfatória no momento, enquanto que outros, dentre os que reconhecem a magnitude do problema, têm proposto formulações com a pretensão de solução do problema. Este artigo tem pretensões modestas. Não pretendemos aportar novas soluções ao problema, nem apoiar uma das soluções existentes. Temos a expectativa de através da análise histórico-conceitual do problema mapear as diversas possibilidades, apontando o que nos parecem ser aspectos fortes e fracos nessas possibilidades. Research in quantum information suggests a close connection between information and quantum theory. The aim of this article is to analyze nuances involved in this connection. Scientists in this field are divided into two overlapping camps. Some are motivated only by the use of quantum features to improve information processing, in spite of concerns about the foundations of the quantum theory, while others recognize deep conceptual problems of this theory, and attempt to solve them. This article has modest ambitions. It aims only to chart, by way of historical and conceptual analysis, the diverse possibilities available, indicating the strengths and weaknesses of each of them. (shrink)

Fazemos uma digressão a respeito dos números transreais, a transmatemática, o infinito nos transreais e o nullity. Uma discussão sobre as novidades que os transreais trazem à matemática e sobre o desafio de serem aceitos pelo meio acadêmico. Propomos uma interpretação contextual para as operações aritméticas entre números transreais, discutimos o fato desses números terem nascido na computação e não na matemática e divagamos sobre a introdução dos novos números: infinito e nullity.

A Inteligência Artificial (AI) é a mais nova hype tecnológica. Embora envolva grande diversidade de tecnologias, uma imagem genérica, superpoderosa, fortemente negativa e, no limite, distópica da IA tem sido disseminada, especialmente por obras de ficção científica. Recentemente, sobretudo após o lançamento do ChatGPT, houve uma explosão de publicações jornalísticas e acadêmicas, que, em parte, reforçam esse imaginário. Nas abordagens acadêmicas, os riscos seguem em destaque e, inclusive, cenários apocalípticos relacionados à AI são levados em consideração. A preocupação ética, então, (...) assume um sentido eminentemente negativo e os possíveis benefícios das AIs, muito mais realistas, são subfocalizados. Neste artigo, destacamos a importância de ir além da hype, desenvolvendo abordagens multi/interdisciplinares, delimitadas, realistas e ponderadas. Recorrendo à inteligência coletiva expressa na interação entre pesquisadores de três áreas (ciência da computação, linguística e filosofia), abordamos uma ferramenta de tradução automática (Machine Translation) gratuita: Google Translate. Nosso objetivo é mostrar que abordagens bem delimitadas, multidisciplinares, tecnicamente respaldadas e que não adotem o discurso sensacionalista nos conduzem a reflexões epistemicamente mais consistentes e crítico-normativas mais ponderadas, o que seria fundamental para o avanço do debate sobre AI. (shrink)

Kurt Gödel foi um dos maiores matemáticos do século XX, com contribuições para a lógica e também para o campo da cosmologia à partir da elaboração de soluções para as equações de Einstein. Como filósofo, Gödel dedicou-se à lógica e aplicou-se à axiomatização não formal de uma prova ontológica. Benzmüller e Woltzenlogel Paleo desenvolveram, por meios computacionais, uma formalização do sistema axiomático gödeliano. O trabalho pode abrir novas perspectivas para a aplicação de técnicas das ciências da computação no campo da (...) lógica matemática, suscitar questões epistemológicas importantes, além de ser historicamente relevante por colocar em destaque um trabalho não publicado de Gödel. Apresentamos a tradução do trabalho de Benzmüller e Woltzenlogel Paleo, antecedida por um artigo com considerações gerais sobre diferentes provas ontológicas, cosmológicas e físico-teleológicas. (shrink)

O objetivo deste ensaio é conceptualizar maquinaria experiencial a partir da teoria de Maturana e Varela (TMV) e apresentar a máquina de Turing Enativa (MTE) como Turing-completa e como modelo central do conceito de maquinaria experiencial. A TMV encontra hoje velhos e novos interlocutores, como respectivamente o representacionalismo cognitivista e o enativismo jona¬siano. Divergindo de ambos, partimos da TMV que, baseada na fenomenologia da biologia, visou explicações generativas da cognição, a exemplo da máquina autopoiética apresentada pelos autores. Eles descrevem que (...) se trata de um me¬canismo explicativo capaz de gerar os fenômenos investigados, capaz mesmo de gerar fenômenos de autoconsciência. Neste caso, chamamos aqui estes me¬canismos generativos da autoconsciência de maquinaria experiencial. Por uma análise fenomenológica do ato de calcular defendemos a máquina de Turing (MT) como uma maquinaria experiencial. Por fim, apresentamos a MTE como resultado da isomorfia entre a máquina autopoiética e a MT. Palavras-chave: Experiência. Cognição. Enação. Computação. Máquina de Turing. (shrink)

O conceito de distância é de fundamental importância para a Ciência. Basicamente, uma vez traduzida para a matemática, a noção de distância se define como uma função cujos argumentos são pares de números reais e os valores são números reais. Tal concepção de distância (o espaço métrico) está presente em todas as áreas da física, e tem por fundamento a ideia intuitiva de que a distância entre dois pontos é o tamanho de um caminho contínuo entre tais pontos. Este artigo (...) apresenta um novo conceito de distância, conceito este baseado nos números transreais, criados pelo cientista da computação James A.D.W. Anderson. Esta nova concepção de espaço métrico (o espaço transmétrico) permite a introdução de distâncias infinitas, assim como distâncias entre pontos entre os quais não há caminho contínuo algum (metaforicamente, uma distância cuja imagem é o “salto”). (shrink)

Este livro se propõe a ser uma introdução fácil e acessível, porém rigorosa e tecnicamente precisa, à lógica. Prioridade é dada à clareza e lucidez na explicação das definições e teoremas, bem como à aplicação prática da lógica na análise de argumentos. O livro foi concebido de forma a permitir sua utilização por qualquer pessoa interessada em aprender lógica, independentemente de sua área de atuação ou bagagem teórica prévia. Em especial, ele deve ser útil a estudantes e professores de filosofia, (...) computação e matemática. (shrink)