Tag knowledge-representation - Ceci est la page 1 - GeneraCodice

Pourquoi cette expression (a et ¬a | = c) implique-t-elle?

https://www.generacodice.com/fr/articolo/1598017/pourquoi-cette-expression-a-et-a-c-implique-t-elle
  logic  -  reasoning  -  knowledge-representation
cs.stackexchange cs.stackexchange

Lambda-calcul peut-il être utilisé pour la représentation des connaissances?

https://www.generacodice.com/fr/articolo/1586837/lambda-calcul-peut-il-etre-utilise-pour-la-representation-des-connaissances
  lambda-calculus  -  curry-howard  -  knowledge-representation  -  computational-linguistics
cs.stackexchange cs.stackexchange

Taille de variable minimale si les informations sont codées dans un système non binaire

https://www.generacodice.com/fr/articolo/1563021/taille-de-variable-minimale-si-les-informations-sont-codees-dans-un-systeme-non-binaire
  knowledge-representation
cs.stackexchange cs.stackexchange

Quelle est la différence entre les ontologies de la cybersécurité et les ontologies de scénario dans ce système?

https://www.generacodice.com/fr/articolo/1546614/quelle-est-la-difference-entre-les-ontologies-de-la-cybersecurite-et-les-ontologies-de-scenario-dans-ce-systeme
  terminology  -  knowledge-representation  -  ontologies
cs.stackexchange cs.stackexchange

Quelles sont les utilisations pratiques des ontologies?

https://www.generacodice.com/fr/articolo/1535798/quelles-sont-les-utilisations-pratiques-des-ontologies
  artificial-intelligence  -  robotics  -  applied-theory  -  knowledge-representation  -  ontologies
cs.stackexchange cs.stackexchange

Collections d'informations sémantiques sur le Web. (Wikipedia sémantique)

https://www.generacodice.com/fr/articolo/1527760/collections-d-informations-semantiques-sur-le-web-wikipedia-semantique
  semantics  -  knowledge-representation  -  reference-request  -  data-sets  -  ontologies
cs.stackexchange cs.stackexchange

Les différences entre les faits de base, complexes et dans une base terminologique de connaissances en utilisant du premier ordre logique

https://www.generacodice.com/fr/articolo/1124572/les-differences-entre-les-faits-de-base-complexes-et-dans-une-base-terminologique-de-connaissances-en-utilisant-du-premier-ordre-logique
  logic  -  terminology  -  first-order-logic  -  reasoning  -  knowledge-representation
cs.stackexchange cs.stackexchange

première unification de résolution logique de commande

https://www.generacodice.com/fr/articolo/1118863/premiere-unification-de-resolution-logique-de-commande
  artificial-intelligence  -  first-order-logic  -  knowledge-representation
cs.stackexchange cs.stackexchange

Sont ontologies réseaux sémantiques?

https://www.generacodice.com/fr/articolo/1118468/sont-ontologies-reseaux-semantiques
  terminology  -  knowledge-representation  -  ontologies
cs.stackexchange cs.stackexchange

MGU et normalisation variable - CNF

https://www.generacodice.com/fr/articolo/1117156/mgu-et-normalisation-variable-cnf
  artificial-intelligence  -  logic  -  first-order-logic  -  knowledge-representation
cs.stackexchange cs.stackexchange
Résultats trouvés: 47
scroll top