Test 2 Sistemas Inteligentes
COMENTARIOS |
ESTADÍSTICAS |
RÉCORDS
|
Título del Test: Test 2 Sistemas Inteligentes Descripción: Test dos para Sistemas Inteligentes |
Nuevo Comentario| Comentarios |
|---|
NO HAY REGISTROS |
|
En lógica de descripciones ALC: ∃r.A ⊓ ∃r.¬A es un concepto insatisfacible. Verdadero. Falso. En lógica de descripciones ALC: A ⊓ B ⊑ B. Verdadero. Falso. En lógica de descripciones ALC: ∃r.C ⊓ ∀r.C ≡ ⊤. Verdadero. Falso. En lógica de descripciones ALC: A ⊓ ¬ A ≡ ⊥. Verdadero. Falso. En RDFS (RDF Schema) se puede expresar que una propiedad es subpropiedad de otra. Verdadero. Falso. En OWL se puede expresar que una propiedad es transitiva. Verdadero. Falso. En SPARQL no se pueden realizar comparaciones numéricas. Verdadero. Falso. Para toda norma triangular (t-norma) T, ∀x T(x, 0) ≥ x. Verdadero. Falso. No existe ninguna norma triangular (t-norma) K tal que ∀x K(x, x) > x. Verdadero. Falso. En lógica borrosa: ∀μA∨ B(x) ≥ μA(x). Verdadero. Falso. En lógica de descripciones ALC: A ⊓ ⊥ ≡ ⊥. Verdadero. Falso. En lógica de descripciones ALC: ∃r.C ⊑ ∃r.⊤. Verdadero. Falso. En lógica de descripciones ALC: ∃r.A ⊓ ∃r.B ≡ ∃r.(A ⊓ B). Verdadero. Falso. En lógica de descripciones ALC: A ⊓ ∃r.B ⊑ ⊤. Verdadero. Falso. En OWL se puede representar que dos clases son disjuntas. Verdadero. Falso. En RDF Schema no se puede representar Carnívoro ≡ ∃come.Animal. Verdadero. Falso. La DBpedia admite consultas en SPARQL. Verdadero. Falso. Para toda conorma triangular S, ∀x existe [0,1] S(1, x) = 1. Verdadero. Falso. Ninguna t-norma T cumple que ∀x T(x, x) = x. Verdadero. Falso. Existe alguna norma triangular (t-norma) T que cumple T(0.3, 0.2) > 0.3. Verdadero. Falso. No existe ninguna norma triangular (t-norma) K tal que ∀x K(x, x) > x. Verdadero. Falso. En lógica borrosa: ∀x μA∨ B(x) ≥ μA(x). Verdadero. Falso. En lógica de descripciones ALC: ⊤ es un concepto satisfacible. Verdadero. Falso. En lógica de descripciones ALC: A ⊓ B ⊑ A. Verdadero. Falso. En lógica de descripciones ALC: ∀r.C ⊑ ∃r.C. Verdadero. Falso. En lógica de descripciones ALC: ∃r.C ⊔ ∃r.¬C ⊑ ⊤. Verdadero. Falso. En OWL se puede especificar que dos clases son disjuntas. Verdadero. Falso. En RDF el predicado de una tripla tiene que ser una IRI. Verdadero. Falso. En SPARQL no se pueden utilizar prefijos en las consultas. Verdadero. Falso. Para toda norma triangular T, ∀xExiste [0,1] T(0, x) = x. Verdadero. Falso. En lógica borrosa, sea μP(a) = x, μQ(b) = y, con x, y existe [0,1]. El grado de verdad de la fórmula P(a)∧Q(b) no puede ser menor de x. Verdadero. Falso. La unión de conjuntos borrosos se calcula mediante una norma triangular. Verdadero. Falso. |