Diferencias entre hechos básicos, complejos y terminológicos en una base de conocimiento utilizando lógica de primer orden

Question

He estado leyendo el excelente libro Representación y razonamiento del conocimiento por Ronald Brachman y Héctor Levesque.

Al comienzo de la Sección 3.2 "Vocabulario" del Capítulo 3 "Expresando conocimiento" indican:

Al crear un KB (base de conocimiento), es una buena idea comenzar con el conjunto de predicados y funciones dependientes del dominio que proporcionan la base para los hechos sobre el dominio del KB.

En la misma sección, estos hechos se separan en tres categorías:

• Hechos básicos
• Hechos complejos
• Hechos terminológicos

Después de leer todo el capítulo, no pude entender por completo las diferencias entre este tipo de hechos.

¿Alguien puede ayudarme a comprender las diferencias en estos conceptos?

Answer 1

En §3.2 distinguen entre las siguientes cuatro categorías gramaticales, con algunos ejemplos:

Predicates: Woman, Rich, Beautiful, Bankrupt
Relations: LivesAt, HadAnAffairWith, Loves
Functions: fatherOf, bestFriendOf, ceoOf
Individual constants: maryJones, johnQSmith, tomsHouse

En segundo plano tienen lógica de primer orden con identidad, lo que significa que permiten cuantificar solo sobre individual variables. Dentro de esta maquinaria, en §§ 3.3–5 introducen los tres tipos de hechos.

Hechos básicos son los oraciones atómicas y ellos negaciones.

los oraciones atómicas son esas oraciones que están hechas de:

1. A [predicado] + an [individual]. EG: Mujer (Maryjones)
2. un N-ARY [relación] + n [individual] s. EG: Loves (Maryjones, TomShouse)
3. un [individual] + "=" + an [individual]. Por ejemplo: Maryjones = Marysmith

Tenga en cuenta que funciones Aplicado a las constantes individuales también denota individuos (por ejemplo, padre de (Maryjones) es algún individuo), por eso las cláusulas (1–3) incluyen la palabra 'individual' en lugar de 'constante individual' para permitir también expresiones funcionales que denotan individuos. los negaciones de las oraciones atómicas se definen de la siguiente manera: una oración es una negación de una oración atómica IFF S es una oración atómica.

Hechos complejos son los hechos básicos cerrado bajo booleano conectivos y cuantificadores.

Esa es solo una forma elegante de decir que: (i) los hechos básicos son hechos complejos, y (ii) si φ y ψ son hechos complejos, entonces ¬φ, (φ ∧ ψ), (φ ∨ ψ), (φ → ψ ), y ∀xφ también son hechos complejos. Dan el siguiente ejemplo de un hecho complejo en p. 34: ∀y [rico (y) ∧ hombre (y) → amores (y, Jane)] (Todo hombre rico ama a Jane).

Tenga cuidado con eso en p. 36 Enumeran oraciones como "Jane ¬ = John" entre hechos complejos, lo que sugiere que son no hechos básicos. Pero son. Sospecho que es por eso que ha tenido dificultades para ver la diferencia entre los tipos. Por la definición de hechos básicos (ver arriba), las oraciones como "Jane ¬ = John" se consideran básicas, porque son los negaciones de oraciones atómicas como "Jane = John".

Hechos terminológicos son hechos complejos tomado como axiomático o definitivamente cierto.

Un término mejor para ellos sería "hechos de definición" o "que significa postulados" (como los llama Rudolf Carnap). Considere el hombre predicado. Si alguien es un hombre, sabemos, sin tener que ver a esta persona, que no es una mujer; ¡Definitivamente es cierto! Capturamos esa relación lógica entre los predicados hombre y mujer con el hecho terminológico: ∀x [hombre (x) → ¬woman (x)]. Ese es solo un ejemplo de un hecho terminológico; Se puede encontrar más en las páginas 36–7. Son bastante sencillos de entender.

Espero que esto ayude a aclarar la distinción.