Comunicació

7 les relacions: EXPTIME, NEXPTIME, Ontologia, PSPACE, Representació del coneixement, Web semàntic, 1980.

EXPTIME

En teoria de la complexitat, la classe de complexitat EXPTIME és el conjunt dels problemes de decisió que poden ser resolts amb una màquina de Turing determinista en temps O(2p(n)), on p(n) és una funció polinomial sobre n. En termes de DTIME es té Es coneix que i pel teorema de la jerarquia temporal: de manera que almenys una de les inclusions de la primera línia ha de ser estricta (es creu que totes ho son).

Nou!!: Lògica de descripció і EXPTIME · Veure més »

NEXPTIME

En teoria de la complexitat, la classe de complexitat NEXPTIME és el conjunt dels problemes de decisió que poden ser resolts amb una màquina de Turing no determinista en espai O (2p(n)), on p(n) és una funció polinomial sobre n. En termes de NTIME es té També es pot definir NEXPTIME usant màquines de Turing deterministes com a verificadors.

Nou!!: Lògica de descripció і NEXPTIME · Veure més »

Ontologia

Lontologia és l'estudi de l'ésser o de l'existència.

Nou!!: Lògica de descripció і Ontologia · Veure més »

PSPACE

En teoria de la complexitat, la classe de complexitat PSPACE és el conjunt dels problemes de decisió que poden ser resolts amb una màquina de Turing usant un espai polinòmic.

Nou!!: Lògica de descripció і PSPACE · Veure més »

Representació del coneixement

Des del punt de vista de l'enginyeria, gran part del treball que es requereix per a construir sistemes d'Intel·ligència Artificial està basat en el desenvolupament de representacions del coneixement adequades i les seves corresponents estratègies de manipulació.

Nou!!: Lògica de descripció і Representació del coneixement · Veure més »

Web semàntic

El Web semàntic és un projecte que té com a objectiu crear un medi universal per a l'intercanvi d'informació significativa (semàntica), d'una forma comprensible per a les màquines, del contingut dels documents de la Web.

Nou!!: Lògica de descripció і Web semàntic · Veure més »

1980

1980 (MCMLXXX) fon un any de traspàs del calendari gregorià començat en dimarts.

Nou!!: Lògica de descripció і 1980 · Veure més »

Uniopèdia és un mapa conceptual o xarxa semàntica organitzada com una enciclopèdia o diccionari. Es dóna una breu definició de cada concepte i les seves relacions.

Aquest és un mapa mental en línia gegant que serveix com a base per a diagrames de conceptes. És lliure d'utilitzar i cada article o document es pot descarregar. És una eina, de recursos o de referència per a l'estudi, la investigació, l'educació, l'aprenentatge o l'ensenyament, que pot ser utilitzat per professors, educadors, alumnes o estudiants; per al món acadèmic: per a l'escola, primària, secundària, batxillerat, secundària, universitat, grau tècnic, escola, universitat, de llicenciatura, mestratge o doctorat; per als papers, informes, projectes, idees, documents, enquestes, resums, o tesi. Aquí està la definició, l'explicació, la descripció o el significat de cada significativa sobre la qual necessita informació, i una llista dels seus conceptes associats com un glossari. Disponible en català, anglès, espanyol, portuguès, japonès, xinès, francès, alemany, italià, polonès, holandès, rus, àrab, hindi, suec, ucraïnesa, hongaresa, txec, hebreu, danès, finlandès, indonesi, noruec, romanès, turc, vietnamita, coreana, tailandesa, grega, búlgara, croata, eslovaca, lituània, filipina, letònia, estònia і eslovè. Més idiomes aviat.

Tota la informació va ser extreta de Viquipèdia i està disponible sota la Llicència de Creative Commons Reconeixement i Compartir-Igual.

Uniopèdia no està avalada ni afiliada a la Fundació Wikimedia.

Google Play, Android i el logotip de Google Play són marques comercials de Google Inc.

Política de privacitat

SortintEntrant