Supongamos que una base de datos sobre relaciones familiares se compone de
un conjunto de hechos que declaran a los miembros familiares conocidos en base
a su sexo y sus progenitores. Por ejemplo:
progenitor(pablo, juan). % “pablo es el progenitor de juan”
progenitor(maría, juan).
hombre(pablo).
hombre(juan).
mujer(maría).
...
Además, la base de datos contiene reglas que definen ciertas relaciones
familiares, como la relación abuelo/2:
abuelo(X,Y):% "X es el abuelo de Y"
progenitor(X,Z),
progenitor(Z,Y),
hombre(X).
A. Definir el predicado comprobar_sujetos/1 que permita verificar que los
sujetos que intervienen en una relación de parentesco son conocidos. El
argumento debe ser un functor de la relación donde sus argumentos
representan a los sujetos. Por ejemplo:
?- comprobar_sujetos(abuelo(luis, juan)).
debería fallar, indicando la causa, si alguno de los sujetos no está
completamente definido.
B. Definir el predicado definido(Cabeza, Cuerpo), tal que compruebe si una
determinada relación de parentesco es conocida, p.e. cuando cabeza es
tia(X,pedro), y que devuelva en Cuerpo el cuerpo de la definición de la
regla. Cuando la regla no se haya definido, debe fallar alertando de este
extremo.
C. Encontrar una definición del predicado inspecciona(Termino,
NVarLibres, Aridad) de manera que siendo el primer argumento un
término compuesto, básicamente un functor con argumentos, lo analice y
devuelva el número de variables libres y su aridad.
D. Definir el predicado ordena_premisas(Lista_P1, Lista_P_Ordenada),
tal que dada una lista de premisas como primer argumento, devuelva la misma
lista de premisas, pero ordenadas según un criterio que sitúe en primer lugar
las premisas más restrictivas. Un criterio podría basarse en considerar como
más restrictivas aquellas premisas que involucren predicados con mayor
número de variables instanciadas y mayor aridad.
E. Dada la lista de variables VarNL y el functor con argumentos Premisa, definir
el predicado insertaVarNL(Premisa, VarNL, NvarNL), tal que se
devuelva en NvarNL una lista que contendrá la unión de la variables de la lista
original con aquellas contenidas en el functor como argumentos.
Descargar

Supongamos que una base de datos sobre relaciones familiares se

TEMA 11 Características de las reclamaciones La estructura. Motivo

TEMA 11 Características de las reclamaciones La estructura. Motivo

PredicadoPublicidadGramáticaTipos de oracionesAntonimiaDialectismosOraciones reflexivas y recíprocasReclamacionesSinonimia

Planificación de una empresa

Planificación de una empresa

PlanesSistema de informaciónRRHH (Recursos Humanos)ControlEvaluación de desempeñoOrganización de personal

EL CONOCIMIENTO EL CONOCIMIENTO DESDE EL PUNTO DE VISTA PSICOLÓGICO. Percepción

EL CONOCIMIENTO EL CONOCIMIENTO DESDE EL PUNTO DE VISTA PSICOLÓGICO. Percepción

Sensación y percepciónKuhn: paradigmaImaginaciónEpistemologíaLógicaInteligenciaDeducciónMemoriaTeorías psicológicasFalacias

Sujeto y predicado

Sujeto y predicado

LenguajeSintaxisGramáticaElementos oracionales

EXAMEN DE SEMANTICA Nombre:. VI semestre.

EXAMEN DE SEMANTICA Nombre:. VI semestre.

PredicadoLenguaDesviación semánticaArgumentosFunciones del lenguajeSintagmaHablaPrdicaciónOración

TEMA PRIMERO: CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS (UTILITARIO) PURAS(CONOCIMIENTO): FORMALES (IDEAS):

TEMA PRIMERO: CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS (UTILITARIO) PURAS(CONOCIMIENTO): FORMALES (IDEAS):

HistoriaEstructura del pensamientoSilogismoMétodos de razonamientoDefinición

Toma de decisiones en el proceso empresarial

Toma de decisiones en el proceso empresarial

Administración de empresasGerente y árbol de decisionesNecesidades de la organizaciónEstrategia organizacionalPremisas