metáfora comunidade científica - Scientific community metaphor

Em ciência da computação , a metáfora comunidade científica é uma metáfora usada para auxiliar a compreensão comunidades científicas . As primeiras publicações sobre a metáfora comunidade científica em 1981 e 1982 envolveu o desenvolvimento de uma linguagem de programação chamado Ether que invocou planos processuais para processar objetivos e afirmações ao mesmo tempo, criando dinamicamente novas regras durante a execução do programa. Éter também abordou questões de conflito e contradição com várias fontes de conhecimento e múltiplos pontos de vista.

Desenvolvimento

A metáfora comunidade científica se baseia na filosofia , história e sociologia da ciência . Ela foi originalmente desenvolvida com base nos trabalhos na filosofia da ciência, Karl Popper e Imre Lakatos . Em particular, inicialmente fez uso de trabalho de Lakatos em provas e refutações . Posteriormente, o desenvolvimento tem sido influenciado pelo trabalho de Geof Bowker, Michel Callon , Paul Feyerabend , Elihu M. Gerson, Bruno Latour , John Law , Karl Popper , Susan Leigh Star , Anselm Strauss , e Lucy Suchman .

Em particular de Latour Ciência em Ação teve grande influência. No livro, Janus figuras fazer afirmações paradoxais sobre o desenvolvimento científico. Um desafio importante para a metáfora comunidade científica é conciliar estas declarações paradoxais.

Qualidades de pesquisa científica

A investigação científica depende criticamente monotonicidade, a simultaneidade, comutatividade e pluralismo de propor, modificar, apoio, e opor-se métodos científicos, práticas e teorias. Citando Carl Hewitt, sistemas metáfora comunidade científica têm características de monotonicidade , a simultaneidade , comutatividade , o pluralismo , o ceticismo e proveniência .

monotonicity : Uma vez que algo é publicado não pode ser desfeita. Cientistas publicar seus resultados para que eles estão disponíveis para todos. Trabalho publicado é recolhido e indexado em bibliotecas. Os cientistas que mudar sua mente pode publicar artigos posteriores contradizem as anteriores.
simultaneidade : cientistas podem trabalhar simultaneamente, sobrepondo-se no tempo e interagindo uns com os outros.
comutatividade : As publicações podem ser lidos independentemente de eles iniciar uma nova pesquisa ou tornar-se relevante para a investigação em curso. Os cientistas que se tornam interessados em uma questão científica tipicamente fazer um esforço para descobrir se a resposta já foi publicado. Além disso, eles tentam manter a par dos novos desenvolvimentos como eles continuam o seu trabalho.
pluralismo : Publicações incluem informações heterogêneas, sobreposição e, possivelmente conflitantes. Não há árbitro central da verdade em comunidades científicas.
ceticismo : Grande esforço é dispendido para testar e validar a informação atual e substituí-la por uma melhor informação.
proveniência : A proveniência da informação é cuidadosamente monitorado e gravado.

As características acima são limitados em comunidades científicas reais. Publicações são, por vezes perdido ou difícil de recuperar. Simultaneidade é limitada pelos recursos, incluindo pessoal e financiamento. Às vezes é mais fácil rederive resultado do que procurá-lo. Os cientistas só tem tanto tempo e energia para ler e tentar entender a literatura. Modismos científicos às vezes varrer quase todos em um campo. A ordem na qual a informação é recebida pode influenciar a forma como ele é processado. Os patrocinadores podem tentar controlar as atividades científicas. Em Éter a semântica dos tipos de actividade descritos neste parágrafo são regidos pelo modelo de ator .

A pesquisa científica inclui teorias e os processos de modificação, de apoio, e opondo-se estas teorias geradoras. Karl Popper chamou as "conjecturas e refutações" do processo, que apesar de expressar uma visão do núcleo, foi mostrado para ser muito restritiva uma caracterização pela obra de Michel Callon , Paul Feyerabend , Elihu M. Gerson, Mark Johnson , Thomas Kuhn , George Lakoff , Imre Lakatos , Bruno Latour , John Law , Susan Leigh Star , Anselm Strauss , Lucy Suchman , Ludwig Wittgenstein , etc. . Três tipos básicos da participação em éter são propor, de apoio, e opostas. Comunidades científicas são estruturadas para suportar concorrência, bem como a cooperação.

Estas atividades afetam a adesão às abordagens, teorias, métodos, etc. em comunidades científicas. Aderência atual não implica a adesão de todos os tempos futuros. Desenvolvimentos posteriores irá modificar e ampliar entendimentos atuais. A adesão é um local em vez de um fenômeno global. Ninguém fala para a comunidade científica como um todo.

Ideias opostas podem coexistir em comunidades ao longo dos séculos. Em raras ocasiões, uma comunidade atinge um avanço que decide claramente uma questão anteriormente confusa.

Éter

Éter utilizado pontos de vista para relativistas informações em publicações. No entanto, uma grande quantidade de informações é compartilhada entre pontos de vista. Assim Éter feito uso de herança para que a informação em um ponto de vista poderia ser facilmente usado em outros pontos de vista. Às vezes, essa herança não é exata como quando as leis da física em mecânica newtoniana são derivados dos de Relatividade Especial . Em tais casos Éter utilizado tradução em vez de herança. Bruno Latour analisou tradução em comunidades científicas no contexto da Teoria Ator-Rede . Imre Lakatos estudou tipos muito sofisticados de traduções de matemática ( por exemplo , a Euler fórmula para poliedros ) e teorias científicas.

Pontos de vista foram usadas para implementar dedução natural (Fitch [1952]) em éter. A fim de provar que um objetivo da forma (P implica Q) em um ponto de vista V , é suficiente para criar um novo ponto de vista V ' que herda de V , afirmar P em V' , e, em seguida, provar Q em V' . Uma idéia como essa foi originalmente introduzido na prova linguagem de programação por Rulifson, Derksen, e Waldinger [1973], exceto desde Éter é concomitante ao invés de ser sequencial que não depende de estar em um único ponto de vista que podem ser empurrado sequencialmente e bateu para passar para outros pontos de vista.

Em última análise, resolução de problemas entre esses pontos de vista são assuntos para negociação (como estudado na sociologia e filosofia da ciência por Geof Bowker, Michel Callon , Paul Feyerabend , Elihu M. Gerson, Bruno Latour , John Law , Karl Popper , Susan Leigh Star, Anselm Strauss , Lucy SUCHMAN, etc).

Ênfase em comunidades em vez de indivíduos

Alan Turing foi um dos primeiros a tentar caracterizar mais precisamente indivíduo inteligência através da noção de seu famoso teste de Turing . Este paradigma foi desenvolvido e aprofundado no campo da Inteligência Artificial . Allen Newell e Herbert A. Simon fez um trabalho pioneiro na análise dos protocolos de problema humano individual resolvendo comportamento em puzzles. Mais recentemente Marvin Minsky desenvolveu a ideia de que a mente de um indivíduo humano é composto de uma sociedade de agentes no Society of Mind (ver a análise de impulso Singh).

A pesquisa acima na resolução indivíduo problema humano é complementar à metáfora comunidade científica.

As aplicações atuais

Alguns desenvolvimentos em hardware e software de tecnologia para a Internet estão sendo aplicados em função da metáfora comunidade científica.

Preocupações legais ( por exemplo , HIPAA , Sarbanes-Oxley , "Os livros e registros Regras" em regra SEC 17a-3/4 e "Critérios de projeto padrão para aplicações Registros Eletrônicos de Software de Gestão" em DOD 5015.2 em o US ) estão levando as organizações a armazenar informações monotonicamente para sempre. Ele acaba de se tornar menos onerosa em muitos casos para guardar informação no disco magnético do que na fita. Com o aumento da capacidade de armazenamento, os sites podem monotonamente gravar o que lêem a partir da Internet, bem como monotonamente gravar suas próprias operações.

Os motores de busca atualmente fornecem acesso rudimentar para toda esta informação. Futuros sistemas irá fornecer pergunta interativa responder amplamente concebida que vai fazer toda esta informação muito mais útil.

Maciça concorrência ( ou seja, serviços Web e multi-core arquiteturas de computadores) está no futuro posando enormes desafios e oportunidades para a metáfora comunidade científica. Em particular, a metáfora comunidade científica está sendo usado em cliente de computação em nuvem .

Veja também

Referências

Outras leituras

  • Julian Davies. "Popler 1.5 manual de referência" University of Edinburgh, TPU Relatório No. 1, maio 1973.
  • Frederic Fitch. Lógica simbólica: uma introdução . Ronald Press, New York, 1952.
  • Ramanathan Guha. Contextos: uma formalização e algumas aplicações tese de doutoramento, Universidade de Stanford, 1991.
  • Pat Hayes. "Computação e dedução" fundamentos matemáticos da Ciência da Computação: Anais do Simpósio e Escola de Verão, Štrbské Pleso, Tatras Altas, Checoslováquia, 3-8 setembro de 1973.
  • Carl Hewitt. "Planner: Uma linguagem para provar teoremas em Robots" IJCAI 1969
  • Carl Hewitt. "Embedding processual de conhecimento em Planner" IJCAI 1971.
  • Carl Hewitt, Peter Bishop e Richard Steiger. "A Formalismo Ator Universal Modular para a Inteligência Artificial" IJCAI 1973.
  • Carl Hewitt. Em larga escala Computing organizacional requer reflexão desestratificação e paraconsistência Strong em "Coordenação, organizações, instituições e normas em Agent Sistemas III", editado por Jaime Sichman, Pablo Noriega, Julian Padget e Sascha Ossowski. Springer. De 2008.
  • Carl Hewitt. Desenvolvimento de Programação em Lógica: O que deu errado, o que foi feito sobre isso, eo que isso pode significar para o futuro o que deu errado e por quê: Lições da AI Pesquisa e Aplicações; papéis do AAAI Oficina de 2008. Relatório Técnico WS-08-14. AAAI Press. Julho de 2008.
  • William Kornfeld e Carl Hewitt. "A Comunidade metáfora científica" IEEE Transactions on Systems, Homem e Cibernética, SMC-11. 1981
  • Bill Kornfeld. "O uso de paralelismo para implementar uma busca heurística" IJCAI 1981.
  • Bill Kornfeld. Paralelismo na resolução de problemas MIT EECS tese de doutoramento. Agosto 1981.
  • Bill Kornfeld. "Combinatória Implosiva Algoritmos" CACM. 1982.
  • Robert Kowalski "Lógica de Predicados como Programming Language" Memo 70, Departamento de Inteligência Artificial, Universidade de Edimburgo. 1973
  • Imre Lakatos. "Provas e Refutações" Cambridge: Cambridge University Press. 1976.
  • Bruno Latour. Ciência na ação: Como seguir cientistas e engenheiros Através Society , Harvard University Press, Cambridge Mass, EUA, 1987..
  • John McCarthy. "Generalidade em Inteligência Artificial" CACM. Dezembro de 1987.
  • Jeff Rulifson, Jan Derksen, e Richard Waldinger . "QA4, um cálculo processuais para raciocínio intuitivo" SRI AI Centro Técnico Nota 73, Novembro de 1973.
  • Earl Sacerdoti, et al., "QLISP um idioma para o Desenvolvimento Interactivo de sistemas complexos" AFIPS. 1976
  • Empurre Singh "Examinando a Society of Mind" Para aparecer em Computação e Informática