Download programacion Logica y Funcional Unidad 4 PDF

Titleprogramacion Logica y Funcional Unidad 4
TagsLógica de primer orden Lógica Consecuencia lógica Algoritmos Lógica Matemática
File Size153.4 KB
Total Pages16
Document Text Contents
Page 1

Programación Lógica y Funcional

��

Pág. 1

Page 2

Programación Lógica y Funcional

Una contradicción. La palabra no tienen ninguna connotación
insultante, implemente es la forma correcta de decir que algo se
contradice a sí mismo: l caballo de !antiago es blanco y negro. "ay
menos y más de dos man#anas en el cesto.

$apcioso. %tra palabra que no pretende ser insultante. &ndica laspreguntas que la persona que debe responderlas no puede
responder, porque esa persona no acepta alguna suposición implítica
en la pregunta: '($uándo mató a su madre)' '*Pero si mamá +i+e'
'*-esponda la pregunta'.

Falacia. Una falacia es un error lógico en un ra#onamiento. $uando
un ra#onamiento contiene una falacia, ese ra#onamiento no es +álido
como ra#onamiento lógico. Puede ser+ir para acer política /'0i
padre fue conser+ador, y por tanto yo lo soy, pero sospeco que el
suyo fue asaltador de caminos...', pero no son ra#onamientos
+álidos en lógica. 0ás sobre falacias en el e2celente artículo de la
-ed 3tea sobre lógica y falacias /o en cualquier buen manual de

lógica.

FU4$&%4. Una cosa que se e+al5a de alg5n modo. Por e6emplo:
'logaritmo /7' o 'esposa /Pepe'.

o !e lee 'logaritmo neperiano de 7' y 'esposa de Pepe'.

o !i la esposa de Pepe es 0aru6a, 'esposa /Pepe' se e+al5a a
0aru6a.

P-8&$38%. Un tipo de función, que se e+al5a a cierto o falso, osea
una 'frase' que puede ser cierta o falsa.

Por e6emplo: '2 9 7', 'Pepe lle+a un sombrero'. !e dice que los
predicados se e+al5an a cierto o falso, lo que en lengua6e normal
decimos 'ser' +erdadero o falso.

Pág. 7

Page 8

Programación Lógica y Funcional

<0PL%

n general cualquier cláusula puede escribirse como implicación,

dando lugar a lo que se conoce como forma normal con6unti+a. La

equi+alencia es directa, si tenemos una cláusula de la forma 31

+R.+3n +G1 +R.+Gn equi+ale a

1Q...Qn 31,+R+ 3n

!emántica pro+iene de un +ocablo griego que puede traducirse como

signi;cati+oM. !e trata de aquello perteneciente o relati+o a la

signi;cación de las palabras. Por e2tensión, se conoce como

semántica al estudio del signi;cado de los signos lingVísticos y de

sus combinaciones.

La semántica lógica, por otra parte, se encarga del análisis de los

problemas lógicos de signi;cación. Para esto estudia los signos

/parntesis, cuanti;cados, etc., las +ariables y constantes, los

predicados y las reglas.

La semántica lógica, por otra parte, se encarga del análisis de los

problemas lógicos de signi;cación. Para esto estudia los signos

/parntesis, cuanti;cados, etc., las +ariables y constantes, los

predicados y las reglas.

$3-3$-&!&$3!

W Una tarea de la semántica es in+estigar las $%48&$&%4! 8

X-838 de los enunciados

W La semántica formal se ocupa 5nicamente de los aspectos formales

o estructurales de las condiciones de +erdad

W Un enunciado comple6o será +erdadero o falso en función de la

forma en que estn dispuestos los enunciados simples que lo

componen

W sta forma +iene dada por la disposición de las conecti+as dentro

del enunciado.

Pág. Y

Page 9

Programación Lógica y Funcional

6emplo

La semántica operacional de los programas lógicos está basada en el

mtodo de resolución de -obinson, aplicado a cláusulas de "orn.

sto supone una limitación tanto sintáctica como semántica que, a

pesar de las +enta6as teóricas y prácticas que trae consigo, restringe

en algunos casos la aplicabilidad de la Programación en Lógica.

3lternati+as para capturar la semántica de los programas lógicos.

W !emántica %peracional

W !emántica 8eclarati+a

W !emántica de Punto Fi6o

Pág. E

Page 15

Programación Lógica y Funcional

P: G q1, R, qn , r1, R, rm

Programación lógica intenta resol+er los ob6eti+osq1, R, qn
normalmente /aciendo bacKtraKing sobre cada uno de ellos si es
necesario>

<0PL%

l corte en e6emplos /&
n la página )) de;níamos un predicado para incrementar en 1
los enteros de una lista /de6ando intactos los no enteros:

incLst7/   ,    .

incLst7/  [ [s ,  S Ss  : G integer/ [ ,  , S is [_1,
incLst7/ [s, Ss .

incLst7/  [ [s ,  [ Ss  : G incLst7/ [s, Ss .

��

l primer mecanismo es el A que usamos para uni;car trminos.

l operador [email protected] y se satisface cuando sus dos operando son

trminos literalmente iguales, la diferencia con A es que AA no

fuer#a uni;cación. l operador [email protected] es la negación del operador

anterior y se satisface cuando sus operandos son trminos

literalmente diferentes:

)G f/[ AA f /S. 4o

)G [ A S, f/[ AA f /S. 4o

Pág. 1

Similer Documents