Accès plus rapide que le navigateur!
17 relations: Cadre (intelligence artificielle), Cambridge University Press, Concept (philosophie), Ensemble fini, Génie logiciel, Gestion des connaissances, Logique modale, Marvin Minsky, Ontologie (informatique), Réseau sémantique, Recherche d'information, Sémantique, Sémantique formelle (logique), Traitement automatique du langage naturel, UML (informatique), Web Ontology Language, Web sémantique.
Cadre (intelligence artificielle)
Le terme de cadres (en anglais frames) a été proposé par Marvin Minsky dans son article de 1974 intitulé A Framework for Representing Knowledge.
Nouveau!!: Logique de description et Cadre (intelligence artificielle) · Voir plus »
Cambridge University Press
Cambridge University Press ou CUP (en français, Presses universitaires de Cambridge) est une maison d'édition universitaire britannique rattachée à l’université de Cambridge.
Nouveau!!: Logique de description et Cambridge University Press · Voir plus »
Concept (philosophie)
En logique, un concept est un contenu de pensée, qui, lorsqu'il est appliqué à un objet, peut former une proposition.
Nouveau!!: Logique de description et Concept (philosophie) · Voir plus »
Ensemble fini
En mathématiques, un ensemble fini est un ensemble qui possède un nombre fini d'éléments, c'est-à-dire qu'il est possible de compter ses éléments, le résultat étant un nombre entier.
Nouveau!!: Logique de description et Ensemble fini · Voir plus »
Génie logiciel
Le génie logiciel, l'ingénierie logicielle ou l'ingénierie du logiciel (en software engineering) est une science de génie industriel qui étudie les méthodes de travail et les bonnes pratiques des ingénieurs qui développent des logiciels.
Nouveau!!: Logique de description et Génie logiciel · Voir plus »
Gestion des connaissances
La gestion des connaissances (en anglais knowledge management) est une démarche managériale pluridisciplinaire qui regroupe l'ensemble des initiatives, des méthodes et des techniques permettant de percevoir, identifier, analyser, organiser, mémoriser, partager les connaissances des membres d'une organisation – les savoirs créés par l'entreprise elle-même (marketing, recherche et développement) ou acquis de l'extérieur (intelligence économique) – en vue d'atteindre un objectif fixé.
Nouveau!!: Logique de description et Gestion des connaissances · Voir plus »
Logique modale
En logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités.
Nouveau!!: Logique de description et Logique modale · Voir plus »
Marvin Minsky
Marvin Lee Minsky, PhD, né le à New York et mort le à Boston, est un scientifique américain.
Nouveau!!: Logique de description et Marvin Minsky · Voir plus »
Ontologie (informatique)
En informatique et en science de l'information, une ontologie est un modèle de données contenant des concepts et relations permettant de modéliser un ensemble de connaissances dans un domaine donné.
Nouveau!!: Logique de description et Ontologie (informatique) · Voir plus »
Réseau sémantique
Un réseau sémantique est un graphe marqué destiné à la représentation des connaissances, qui représente des relations sémantiques entre concepts.
Nouveau!!: Logique de description et Réseau sémantique · Voir plus »
Recherche d'information
La recherche d'information (RI) est le domaine qui étudie la manière de retrouver des informations dans un corpus.
Nouveau!!: Logique de description et Recherche d'information · Voir plus »
Sémantique
La sémantique est une branche de la linguistique qui étudie les signifiés, ce dont on parle, ce que l'on veut transmettre par un énoncé, soit l'ensemble des processus concourant à la construction d'un sens dans la communication (langagière particulièrement).
Nouveau!!: Logique de description et Sémantique · Voir plus »
Sémantique formelle (logique)
En logique, la sémantique de la logique est l'étude de la sémantique, ou l'interprétation, des langages formels et naturels qui, en général, tentent de saisir la notion pré-théorique de déduction.
Nouveau!!: Logique de description et Sémantique formelle (logique) · Voir plus »
Traitement automatique du langage naturel
Le traitement automatique du langage naturel (TALN), en anglais natural language processing ou NLP, est un domaine multidisciplinaire impliquant la linguistique, l'informatique et l'intelligence artificielle, qui vise à créer des outils de traitement du langage naturel pour diverses applications.
Nouveau!!: Logique de description et Traitement automatique du langage naturel · Voir plus »
UML (informatique)
Le Langage de Modélisation Unifié, de l'anglais Unified Modeling Language (UML), est un langage de modélisation graphique à base de pictogrammes conçu comme une méthode normalisée de visualisation dans les domaines du développement logiciel et en conception orientée objet.
Nouveau!!: Logique de description et UML (informatique) · Voir plus »
Web Ontology Language
(OWL) est un langage de représentation des connaissances construit sur le modèle de données de RDF.
Nouveau!!: Logique de description et Web Ontology Language · Voir plus »
Web sémantique
Logo du W3C pour le Web sémantique Le Web sémantique, ou toile sémantique.
Nouveau!!: Logique de description et Web sémantique · Voir plus »
