Inteligencia Artificial - Logica Proposicional

Algunos pensamientos al respecto de la logica proposicional:

Definiendo tres clases de cualidades que una entidad puede tener, y, teniendo en cuenta que un verbo denota acción, pasion o estado, tendríamos que:

SER : ser de un Tipo (Accion y pasion)
TENER : tener un Atributo (Accion y estado)
ESTAR : estar en un estado o Propiedad (Pasion y estado)

Utilizaríamos estos tres verbos en sus diferentes conjugaciones como cópula de una proposición.

Siendo Propiedad (estar) la clase de Tipo (ser), Atributo (tener) la clase de una Propiedad, y Tipo la clase de un Atributo, tendríamos el siguiente orden cíclico:

Tipo > Atributo, y,
Atributo > Propiedad, y,
Propiedad > Tipo

También podemos considerar el siguiente orden, no cíclico de:

Tipoc > Atributo > Propiedad

Podemos decir que un Tipo (Nombre, sustantivo abstracto) tiene Atributos (Nombre y Valor, sustantivos concretos), y un Atributo tiene Propiedades (Valores, adjetivos).

Entonces, por ejemplo, podemos hacer las siguientes proposiciones/inferencias simples utilizando el primer orden cíclico:

Juan es un Hombre (Tipo),
Juan tiene esposa (Atributo),
Juan está casado (Propiedad)
:: Juan es Marido (Tipo nuevamente).

Al promover el tipo inicial de Juan (Hombre) a Marido, de manera inversa podemos inferir:

Juan es Marido,
Juan está casado,
Juan tiene una esposa,
:: Juan es un Hombre.

Otro ejemplo, usando el segundo orden no cíclico, podría ser:

Juan es Empleado de Pedro,
Juan tiene empleo de Pedro,
Pedro está empleando a Juan,
: Juan es empleado de Pedro.

Considerando la clase de un Tipo (una Propiedad) y la instancia de ese tipo como selectores, tendríamos una serie de posibles clases e instancias de Atributos para asignar a la primera proposicion (verbo ser). Lo mismo con clase/instancia de Tipo y clase/instancia de Atributo para una lista de Propiedades a inferir.

Saludos,
Sebastian