Mamur: Mugapenen Betetzean oinarritutako tresna modular multimaila

Vista sencilla de ítem
dc.contributor.advisorMoral Bueno, Anselmo deles_ES
dc.contributor.authorPikatza Atxa, Juan Manueles_ES
dc.contributor.otherInformatika Fakultateaes_ES
dc.date.accessioned2024-06-11T10:19:36Z
dc.date.available2024-06-11T10:19:36Z
dc.date.issued1992-11-25
dc.description.abstractTesi hau zortzi kapituluetan banatu da. Lehenengo kapitulu honetan tesiaren aurkezpena egin da. Bigarren kapituluan laburpen historikoa egiten da eta SA-k eraikitzeko tekniken eta kontrolerako erabilitako metodoen gaurko egoera azaltzen du. Hirugarren kapituluan MAMUR-en eraikuntzan erabilitako jakintza errepresentazio formaalismoaren xehetasunak ematen dirá, baita JB-aren konpilaziorako jarraitutako prozedura ere, Laugarren kapituluan zihurgabetasunaren errepresentaziorako termino liguistikoen bidez erabilitako metodoa aurkezten da. Bostgarren kapituluan jakintzaren manipulaziorako erabilitako teknikei buruzkoa da, hau da, arrazonamenduan erabilitako kateaketa mota aldez aurretik iragazitako (RETE algoritmoa jarraituz) erregelak aktibatzeko. Emaitza eta azalpenen aurkezpenerako interfacea ere aurkeztu da. Seigarren kapituluaren barruan, helburuak ahalik eta azkarren lortzeko estrategia desberdinak azaltzen dirá, hau da metajakintzaren erabilera mugapenen bidez errepresentatua arrazonamenduaren kontrolerako JB-aren erregelak eta metaerregelak osatzen zuhaitzaren iñausketaren bidez, kasu konkretu baterako baliozkoak ez diren adarrak deuseztatuz. Zazpigarren kapituloko edukiak MAMUR sistemaren alderdi guztien b aterako funtzionamendua erakusten du, harén portaera eraginkorra CETODIA SA-ren eraikeran egiaztatuz. Azkenik zortzigarren kapituloan lanaren ondorioak erakusten dirá eta etorkizuneko ikerketa bideak.es_ES
dc.identifier.urihttps://hdl.handle.net/20.500.14454/1442
dc.language.isoeus
dc.publisherUniversidad de Deustoes_ES
dc.subjectMatemáticases_ES
dc.subjectCiencia de los ordenadoreses_ES
dc.subjectInformáticaes_ES
dc.subjectCiencias tecnológicases_ES
dc.subjectTecnología de los ordenadoreses_ES
dc.titleMamur: Mugapenen Betetzean oinarritutako tresna modular multimailaes_ES
dc.typedoctoral thesises_ES
Archivos
Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
5717-41.pdf
Tamaño:
4.82 MB
Formato:
Adobe Portable Document Format
Descargar
Colecciones
Tesis doctorales