Mamur: Mugapenen Betetzean oinarritutako tresna modular multimaila

Cargando...
Miniatura
Fecha
1992-11-25
Título de la revista
ISSN de la revista
Título del volumen
Editor
Universidad de Deusto
Resumen
Tesi 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.
Palabras clave
Descripción
Materias
Matemáticas
Ciencia de los ordenadores
Informática
Ciencias tecnológicas
Tecnología de los ordenadores
Cita
Colecciones