Metafora vědecké obce

Metafora vědecké obce je v informatice jedním ze způsobů, jak porozumět vědeckým obcím. V tomto přístupu byl vyvinut vysokoúrovňový programovací jazyk zvaný Ether, který využíval vzývání řízených vzorců k vyvolání vysoce úrovňových procedurálních plánů na základě sdělení (např. tvrzení a cílů). Metafora vědecké obce staví na filozofii, historii a sociologii vědy svou analýzou, že vědecký výzkum kriticky závisí na monotónnosti, souběžnosti, komutativitě a pluralismu, aby mohl navrhovat, modifikovat, podporovat a oponovat vědeckým metodám, postupům a teoriím.

Monotonicita, souběžnost, komutativita, pluralismus, skepse a provenience

Podle Carla Hewitta mají systémy Scientific Community Metaphor vlastnosti monotónnosti, souběžnosti, komutativity, pluralismu, skepse a provenience.

Navrhování, úprava, podpora a oponování

Vědecký výzkum zahrnuje generování teorií a procesů pro modifikaci, podporu a oponování těchto teorií. Karl Popper nazval tento proces „domněnkami a vyvráceními“, které sice vyjadřují základní vhled, ale ukázaly se jako příliš restriktivní charakterizace prací Michela Callona, Paula Feyerabenda, Elihu M. Gersona, Marka Johnsona, Thomase Kuhna, George Lakoffa, Imre Lakatose, Bruna Latoura, Johna Lawa, Susan Leigh Star, Anselma Strausse, Lucy Suchmanové, Ludwiga Wittgensteina, atd.. Tři základní druhy účasti v Etheru jsou navrhování, podpora a oponování. Vědecké komunity jsou strukturovány tak, aby podporovaly soutěž i spolupráci.

Tyto činnosti ovlivňují dodržování přístupů, teorií, metod apod. ve vědeckých komunitách. Současné dodržování neznamená dodržování po celý budoucí čas. Pozdější vývoj změní a rozšíří současné chápání. Dodržování je spíše lokální než globální jev. Nikdo nemluví za vědeckou komunitu jako celek.

Protichůdné myšlenky mohou v komunitách koexistovat po staletí. Ve vzácných případech komunita dosáhne průlomu, který jasně rozhodne o dříve zamotané otázce.

Názory, dědictví, překlad a vyjednávání

Ether používal hlediska k relativistickým informacím v publikacích. Velké množství informací je však sdíleno napříč hledisky. Ether tedy využil dědičnosti, aby informace z hlediska mohly být snadno použity v jiných hlediscích. Někdy tato dědičnost není přesná, jako když jsou fyzikální zákony v newtonovské mechanice odvozeny od zákonů Speciální relativity. V takových případech Ether použil překlad místo dědičnosti. Bruno Latour analyzoval překlad ve vědeckých komunitách v kontextu teorie herecké sítě. Imre Lakatos studoval velmi sofistikované druhy překladů matematických (např. Eulerův vzorec pro mnohostěn) a vědeckých teorií.

Doporučujeme:  Neoklasická kriminalistická škola

Pohledy byly použity k provedení přirozené dedukce (Fitch [1952]) v Etheru. Pro prokázání cíle tvaru (P implikuje Q) v úhlu V, stačí vytvořit nový úhel V‘, který dědí z V, prosadit P v V‘, a pak dokázat Q v V‘. Podobná myšlenka byla původně zavedena do programovacího jazyka dokazování Rulifsonem, Derksenem a Waldingerem [1973] s výjimkou toho, že Ether je spíše souběžný než sekvenční nespoléhá na to, že je v jediném úhlu pohledu, který může být sekvenčně posunut a vysunut pro přesun do jiných úhlů pohledu.

Řešení problémů mezi těmito hledisky je nakonec záležitostí k jednání, jak ji studovali v sociologii a filozofii vědy Geof Bowker, Michel Callon, Paul Feyerabend, Elihu M. Gerson, Bruno Latour, John Law, Karl Popper, Susan Leigh Star, Anselm Strauss, Lucy Suchman, atd.

Důraz na komunity spíše než na jednotlivce

Alan Turing byl jedním z prvních, kdo se pokusil přesněji charakterizovat individuální inteligenci pomocí konceptu svého slavného Turingova testu. Toto paradigma bylo vyvinuto a prohloubeno v oblasti umělé inteligence. Allen Newell a Herbert Simon udělali průkopnickou práci při analýze protokolů chování při řešení individuálních lidských problémů na hádankách. Nedávno Marvin Minsky vyvinul myšlenku, že mysl jednotlivého člověka je složena ze společnosti agentů ve společnosti mysli (viz analýza Pushe Singha).

Výše uvedený výzkum individuálního řešení lidských problémů doplňuje Metaforu vědecké obce.

Současné aplikace Metafory vědecké obce

S ohledem na Metaforu vědecké obce se uplatňuje určitý vývoj v oblasti hardwaru a softwarových technologií pro internet.

Právní koncerny (např. HIPAA, Sarbanes-Oxley , „The Books and Records Rules“ v SEC pravidle 17a-3/4 a „Design Criteria Standard for Electronic Records Management Software Applications“ v DOD 5015.2 v USA) vedou organizace k tomu, aby uchovávaly informace monotónně navždy. Právě teď je v mnoha případech méně nákladné ukládat informace na magnetický disk než na pásek. Se zvyšující se úložnou kapacitou mohou weby monotónně zaznamenávat, co čtou z internetu, stejně jako monotónně zaznamenávat své vlastní operace.

Doporučujeme:  Sociální psychlogové

Vyhledávače v současné době poskytují základní přístup ke všem těmto informacím. Budoucí systémy budou poskytovat interaktivní odpovědi na široce pojaté otázky, díky kterým budou všechny tyto informace mnohem užitečnější.

Masivní souběžnost (tj. webové služby a vícejádrové počítačové architektury) spočívá v budoucnosti a představuje obrovské výzvy a příležitosti pro Metaforu vědecké komunity.