Resultats de la cerca
Es mostren 2 resultats
asserció
Electrònica i informàtica
Proposició que assegura que en un determinat punt d’un programa es compleix certa condició.
Els casos més habituals d’assercions són les precondicions propietats que cal que compleixin les dades per a poder executar un fragment de codi determinat, les postcondicions propietats que compleixen les dades un cop s’ha executat un segment de codi determinat, els invariants de les iteracions propietats que compleixen les dades en pas de la iteració i els invariants de la representació propietats que compleix la representació de les dades, independentment del valor exacte que contingui Les assercions permeten entendre el comportament d’un programa, i raonar sobre la seva validesa per tant,…
agent
Electrònica i informàtica
Programari que simula cert nivell d’intel·ligència a base d’automatitzar tasques segons un conjunt de regles definides per l’usuari.
Es tracta d’una especialització del concepte general d’agent la tasca a realitzar és la cerca d’informació, basada en un conjunt de regles heurístiques que informen de la bondat de la informació trobada amb relació la informació desitjada L’usuari defineix els paràmetres de la cerca abans de llançar executar l’agent un cop aquest troba informació que quadra amb els paràmetres donats, avisa l’usuari bé donant-li la informació trobada, bé indicant-li la seva situació i continua la seva tasca de cerca La utilitat dels agents queda palesa en entorns d’informació dinàmica, com…