Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
1Activity
0 of .
Results for:
No results containing your search query
P. 1
Inteligenta Artificial A Alfab An3 Sem 1

Inteligenta Artificial A Alfab An3 Sem 1

Ratings: (0)|Views: 58 |Likes:
Published by iuli

More info:

Published by: iuli on Feb 04, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

07/12/2013

pdf

text

original

 
78.
Fie
undeb. Daca E este unificabila atunci F este unificabila.79.
Fie
unde b. Mult E∪Feste unificabila80. Fiec32.
Fie
 b. γ este tautologie33.
Fie
in limb de primul ordin al aritmeticii.c. α este adevarata in orice L-struct cu domen de interpr multime finita34.
Fie
 d.to afirm (a),(b),(c) sunt false73.
Fie
λ µ θ, , substitutii arbitrare.b 26.
Fie
multimi de formule inchise.a29.
Fie
 bdaca pent oriceAst inc35.
Fie
multimi de formule inchisece log F8.
Fie
considera programul PROLOG,calcul([],[]):-!.calcul(L,L):-calcul_2(L),!.calcul (L,S):-calcul_1(L,T), calcul (T,S).calcul_2 ([X,Y|T]):-X<=Y,
calcul_2 ([Y|T]).
Rezult apel calcul([1,2,1,3,2,4],S) estec. S= [1,1,2,2,3,4],9.
Fie
considera programul PROLOG,calcul ([],[]).calcul ([H|T],S):- calcul (T,A), calcul_1 (H,A,S).calcul_1 (X,[H|T],[H|S]):-X>H
, calcul_1 (X,T,S).
 Rezultatul apelului calcul
([1,2,1,3,2,4],
S) estea. S= [1,1,2,2,3,4], 10.
Fie
considera programul PROLOG,calcul ([],[]).calcul ([X],[X]).calcul (L,[Min|T]):-mnm (L,Min),
calcul_2 (X,_,X).
Rezultatul apelului calcul
([1,2,1,3,2,4
],S) ested. S= [1,1,2,2,3,4]
 
11.
Fie
considera programul PROLOG,calcul ([],[]).calcul ([H|T],R):- calcul (T,S), calcul_1 (H,S,R).calcul_1 ([H|T],L,[H|S]):- calcul_1 (T,L,S).Rezult apelului calcul
([1,1],[2],[1,3,2],[4]],
S) estea. S= [1,1,2,1,3,2,4], 12.
Fie
considera programul PROLOG,calcul ([],[]).calcul ([H|T],S):- calcul_1 (H,T,L1),calcul_3 ([],X,X).calcul_3 ([H|T],L,[H|S]):-
calcul_3 (T,L,S
Rezultatul apelului calcul([1,2,1,3,2,4],S) este c. S= [1,1,2,2,3,4],27.
Fie 
expr undesi fie D dezaco multa76.
Fie
exprd. Daca exis λ substit astfel incat E Fλ= F atunci exi µ substitutie astfelincat77.
Fie
expresiiled. Toate afirmatiile precedente sunt false.86.
Fie
forma. α este formula valida 87.
Fie
forma. α este formula valida 23.
Fie
H
inf 
univers herbrand B
H
(S) baza atom Herbrand pen o mult fin de cla S.c. Pentru orice S, H∞este multime finita daca si numai daca B
H
(S)este multime finita81.
Fie
limbajul de primul ordinFie formulaastf incat68.
Fie
mult de claa. Universul Herbrand H∞este o multime finita.56.
Fiemult de cla
 undeSe considera L-structura M = (N, I) unde pentru orice n,m numere naturale, a =1,
 
Fie valuatiac
56.57
.b
56.58
. c
56.59
.b 
56.60
. 
56.61
. 
56.62
. 
56.63
.
56.64
. 17.
Fie
multimea de expresii,a. E nu este unificabila,18
.Fie
multimea de expresii,b

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->