Mode de déplacement automatique des hypothèques : Logique et épistémologie de l'exploitation

Dans le cadre des formalisations théoriques préliminaires, les méthodes de formalisation automatiques sont utilisées порождения гипотез. Cette méthode permet d'exploiter les logiques actuelles des idées de D.S.Milly pour l'induction et les idées de C.S.Pirsa pour l'abduction, mais aussi, Méthode DM использует принцип фальсификации К.Р.Поппера как средство отбрасывания нерелевантных гипотез. Le résultat final, prévu dans le livre, est de formaliser le type d'économies « industrie + analogie + abduction », ce qui signifie синтез этих познавательных процедур. C'est une formalisation qui est prévue par le type de décision du ministère de la Justice. Le ministère des Affaires étrangères, qui comprend des informations contextuelles sur les contrôles des clients, utilise tous les arguments pour les projets антииндуктивизма К.Р.Поппера. Par ailleurs, la décision du ministère de l'Intérieur est adaptée aux besoins de l'État --- la technologie originale et des méthodes d'analyse intellectuelle. Книга предназначена для специалистов в области искусственного интеллекта и анализа данных, а также на логиков и философов, интересующихся проблемами искусственного интеллекта. Méthode JSM de génération automatique d'hypothèses : fondements logiques et épistimologiques / Éd. par OManshakov. --- Moscou : KD "LIBROCOM", 2009. --- 432 p. Cet ouvrage présente les bases théoriques de la formalisation du raisonnement plausible utilisé dans la méthode JSM de génération automatique d'hypothèses. Cette méthode développe les idées de Mill sur l'induction et celles de Peirce sur l'abduction par la logique contemporaine. De plus, la méthode JSM utilise le principe de falsification de Popper pour rejeter les hypothèses non pertinentes. Le principal résultat de l'ouvrage est une formalisation de l'heuristique de la forme « induction + analogie + abduction ». Cette formalisation est le raisonnement plausible de type JSM, synthétisant les trois procédures cognitives mentionnées ci-dessus (induction, analogie et abduction). Le raisonnement JSM, qui inclut une induction contextuelle avec des conclusions contrôlables, constitue un argument puissant contre l'anti-inductivisme de Popper. De plus, le raisonnement JSM est un élément essentiel de la méthode JSM de génération automatique d'hypothèses : technologie et méthodologie originales de découverte des connaissances. L'ouvrage s'adresse aux professionnels travaillant dans le domaine de l'intelligence artificielle et de l'analyse de données, ainsi qu'aux logiciens et philosophes intéressés par cette recherche.

#ASTTD# Termes de recherche : Финн В.К., Аншаков О.М. (Ред.) , Finn VK, Anshakov OM (Red.) , Либроком , Librokom , Русский , Rysskii , 9785397006361 , 978-5-397-00636-1 , 341433