Mamur: Mugapenen Betetzean oinarritutako tresna modular multimaila

Vista sencilla de ítem
dc.contributor.advisorMoral Bueno, Anselmo del
dc.contributor.authorPikatza Atxa, Juan Manuel
dc.contributor.otherInformatika Fakultatea
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.
dc.identifier.urihttps://hdl.handle.net/20.500.14454/1442
dc.language.isoeus
dc.publisherUniversidad de Deusto
dc.subjectMatemáticas
dc.subjectCiencia de los ordenadores
dc.subjectInformática
dc.subjectCiencias tecnológicas
dc.subjectTecnología de los ordenadores
dc.titleMamur: Mugapenen Betetzean oinarritutako tresna modular multimaila
dc.typedoctoral thesis
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