background preloader

Moteur d'inférence

Moteur d'inférence
Un article de Wikipédia, l'encyclopédie libre. Un moteur d'inférence (du verbe « inférer » qui signifie « déduire ») est un logiciel correspondant à un algorithme de simulation des raisonnements déductifs. Un moteur d'inférence permet aux systèmes experts de conduire des raisonnements logiques et de dériver des conclusions à partir d'une base de faits et d'une base de connaissances. Les moteurs d'inférences peuvent implémenter : une logique formelle d'ordre 0 (logique des propositions), d'ordre 0+, d'ordre 1 (logique des prédicats) ou d'ordre 2 avecune gestion d'hypothèses monotone ou non monotone,un chaînage avant, chaînage arrière ou mixte,une complétude déductive ou non. Historique[modifier | modifier le code] Les premiers moteurs d'inférences sont nés dans les années 1960 dans la communauté des chercheurs en informatique, notamment lors du lancement du programme de recherche américain sur le GPS (General Problem Solver). Exemples de moteurs d'inférence[modifier | modifier le code] Related:  Web SemantiqueIntelligence artificielle

Ontologie (informatique) Un article de Wikipédia, l'encyclopédie libre. Par analogie, le terme est repris en informatique et en science de l'information, où une ontologie est l'ensemble structuré des termes et concepts représentant le sens d'un champ d'informations, que ce soit par les métadonnées d'un espace de noms, ou les éléments d'un domaine de connaissances. L'ontologie constitue en soi un modèle de données représentatif d'un ensemble de concepts dans un domaine, ainsi que des relations entre ces concepts. Elle est employée pour raisonner à propos des objets du domaine concerné. L'objectif premier d'une ontologie est de modéliser un ensemble de connaissances dans un domaine donné, qui peut être réel ou imaginaire. Les ontologies sont employées dans l'intelligence artificielle, le Web sémantique, le génie logiciel, l'informatique biomédicale ou encore l'architecture de l'information comme une forme de représentation de la connaissance au sujet d'un monde ou d'une certaine partie de ce monde. Notes

Système expert Un article de Wikipédia, l'encyclopédie libre. D'une manière générale, un système expert est un outil capable de reproduire les mécanismes cognitifs d'un expert, dans un domaine particulier. Il s'agit de l'une des voies tentant d'aboutir à l'intelligence artificielle. Plus précisément, un système expert est un logiciel capable de répondre à des questions, en effectuant un raisonnement à partir de faits et de règles connus. Un système expert se compose de 3 parties : une base de faits,une base de règles etun moteur d'inférence. Le moteur d'inférence est capable d'utiliser faits et règles pour produire de nouveaux faits, jusqu'à parvenir à la réponse à la question experte posée. La plupart des systèmes experts existants reposent sur des mécanismes de logique formelle (logique aristotélicienne) et utilisent le raisonnement déductif. si P est vrai (fait ou prémisse) et si on sait que P implique Q (règle) alors, Q est vrai (nouveau fait ou conclusion). Historique[modifier | modifier le code]

The Whole Art of Deduction A Message from Dean Protas I am pleased to announce that Vicki Freeman, PhD, Professor and Chair of the Clinical Laboratory Sciences Department and Susan Logan Endowed Professor in the School of Health Professions has been accepted as a member of the 2014-2015 class of Fellows in the Executive Leadership in Academic Technology and Engineering (ELATE at Drexel). Her selection places her among the very best and brightest of today's and tomorrow's women leaders in academic STEM fields. ELATE at Drexel is a national leadership development program designed to advance senior women faculty in academic engineering, computer science, and related fields into effective institutional leadership roles within their schools and university. ELATE is a collaborative project of Drexel University and Drexel University College of Medicine. Dr. Please join me in congratulating her on this major accomplishment. Elizabeth J. Months after rehab, knee and hip patients keep improving A visit with Dr. "Dr. John A.

Setting Gold Standards for the Semantic Web A new article out of AI3 discusses the need for so-called “gold standards” in the semantic web and examines several possible gold standards. As the article puts it, “The types of gold standards useful to the semantic Web are similar to those useful to our analogy of human languages. We need guidance on structure (syntax and grammar), plus reference vocabularies that encompass the scope of the semantic Web (that is, everything).” The gold standards that the author, Mike Bergman suggests are RDF, RDFS and OWL (building blocks for languages); Wikipedia (a “standard reference vocabulary of things, concepts, and entities”); WordNet (“lexical language references as an aid to natural language processing”); and UMBEL (“the structural reference for the connectedness of things”). The article insists, “The need for gold standards for the semantic Web is particularly acute. Image: Courtesy Flickr/ Brian Giesen

Heuristique Un article de Wikipédia, l'encyclopédie libre. Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : heuristique, sur le Wiktionnaire L'heuristique (du grec ancien εὑρίσκω, eurisko, « je trouve »[1]), parfois orthographiée euristique, est un terme de didactique qui signifie « l'art d'inventer, de faire des découvertes »[2]. Voir aussi[modifier | modifier le code] Sérendipité Notes et références[modifier | modifier le code] CORE 3225 - Introduction to Research A Message from Dean Protas I am pleased to announce that Vicki Freeman, PhD, Professor and Chair of the Clinical Laboratory Sciences Department and Susan Logan Endowed Professor in the School of Health Professions has been accepted as a member of the 2014-2015 class of Fellows in the Executive Leadership in Academic Technology and Engineering (ELATE at Drexel). Her selection places her among the very best and brightest of today's and tomorrow's women leaders in academic STEM fields. ELATE at Drexel is a national leadership development program designed to advance senior women faculty in academic engineering, computer science, and related fields into effective institutional leadership roles within their schools and university. Dr. Please join me in congratulating her on this major accomplishment. Elizabeth J. Months after rehab, knee and hip patients keep improving -Chicago Tribune, Feb. 17, 2014 Read full article at Chicago Tribune A visit with Dr. "Dr. See full article at GuidryNews.com Dr.

Defining the Semantic Web in a Few Sentences A Quora user posed this challenge to the network: “How do you explain semantic web to a nine-year old child in one sentence?” The challenge was followed by a quote from Albert Einstein: “If you can’t explain it to a six year old, you don’t understand it yourself.” Some of the best responses so far include, “A web where computers better understand the real meaning of the words we use to communicate with them.” “Hi Timmy, the web is like one giant big book written by a lot of people. We at Semantic Web recently offered up a challenge of our own: give us your best elevator pitch answering the question, “What is the Semantic Web?” Sandro Hawke, W3C – for a general audience David Wood, Talis – for journalistic research Mark Montgomery, Kyield – for enterprise decision makers Gordon Brown, UK Prime Minister (not an official pitch) – for government and citizenry Image: Courtesy Flickr/ ricardodiaz11

Intelligence artificielle Un article de Wikipédia, l'encyclopédie libre. Définition[modifier | modifier le code] Le terme « intelligence artificielle », créé par John McCarthy, est souvent abrégé par le sigle « I.A. » (ou « A.I. » en anglais, pour Artificial Intelligence). Il est défini par l’un de ses créateurs, Marvin Lee Minsky, comme « la construction de programmes informatiques qui s’adonnent à des tâches qui sont, pour l’instant, accomplies de façon plus satisfaisante par des êtres humains car elles demandent des processus mentaux de haut niveau tels que : l’apprentissage perceptuel, l’organisation de la mémoire et le raisonnement critique »[1],[2]. On y trouve donc le côté « artificiel » atteint par l'usage des ordinateurs ou de processus électroniques élaborés et le côté « intelligence » associé à son but d'imiter le comportement. Même si elles respectent globalement la définition de Minsky, il existe un certain nombre de définitions différentes de l'IA qui varient sur deux points fondamentaux[3] :

Introduction to Research A Message from Dean Protas I am pleased to announce that Vicki Freeman, PhD, Professor and Chair of the Clinical Laboratory Sciences Department and Susan Logan Endowed Professor in the School of Health Professions has been accepted as a member of the 2014-2015 class of Fellows in the Executive Leadership in Academic Technology and Engineering (ELATE at Drexel). Her selection places her among the very best and brightest of today's and tomorrow's women leaders in academic STEM fields. ELATE at Drexel is a national leadership development program designed to advance senior women faculty in academic engineering, computer science, and related fields into effective institutional leadership roles within their schools and university. ELATE is a collaborative project of Drexel University and Drexel University College of Medicine. Dr. Please join me in congratulating her on this major accomplishment. Elizabeth J. Months after rehab, knee and hip patients keep improving A visit with Dr. "Dr. John A.

Jena Semantic Web Framework Vie artificielle Un article de Wikipédia, l'encyclopédie libre. Simulation de vie artificielle d'un véhicule Braitenberg. La vie artificielle est un champ de recherche interdisciplinaire alliant informatique et biologie, mais avec des applications dans des domaines variés tels que l'économie ou l'archéologie. Histoire et origines[modifier | modifier le code] La première manifestation de la vie artificielle date des années 40. Tentatives de définition[modifier | modifier le code] Il est difficile de donner une définition exacte de la vie artificielle. Ainsi, selon Christopher Langton : "La vie artificielle est donc l'étude de systèmes vivants naturels pour en trouver des principes afin de recréer sur des supports artificiels des phénomènes biologiques à partir de rien." Ou encore, selon J. Une compilation des meilleures définitions de la vie proposées par des experts en biologie et vie artificielle est l'objet de "Comment définir la vie" chez Vuibert. J. Voir aussi[modifier | modifier le code]

Divergent thinking Divergent thinking is a thought process or method used to generate creative ideas by exploring many possible solutions. It is often used in conjunction with its cognitive opposite, convergent thinking, which follows a particular set of logical steps to arrive at one solution, which in some cases is a ‘correct’ solution. By contrast, divergent thinking typically occurs in a spontaneous, free-flowing manner, such that many ideas are generated in an emergent cognitive fashion. Many possible solutions are explored in a short amount of time, and unexpected connections are drawn. After the process of divergent thinking has been completed, ideas and information are organized and structured using convergent thinking. Traits associated with divergent thinking[edit] Psychologists have found that a high IQ (like Albert Einstein) alone does not guarantee creativity. Promoting divergent thinking[edit] Playfulness and divergent thinking[edit] Effects of sleep deprivation on divergent thinking[edit] 1.

Q&A - SATisfiability, ontologies

Related: