Lineáris és logikai programozás 2LP-ben

Abstract

A diplomamunkámmal a 2LP nyelv jelentőségét, felhasználásának alapvető módjait szeretném bemutatn i példákon keresztül. A 2LP nyelv egy lépés az "Operatica Program" projektben, amelynek elsődleges célja egy olyan elegáns és hatékony programozási környezet megalkotása, amely egyesíti a mestgerséges intelligencia és az operációkutatás módszerét a döntéstámogató rendszerek fejlesztéséhez. Az Az "Operatica" szót J.I. Lassez alkotta azért, hogy ezzel is hangsúlyozza a Mathematica rendszerrel való analógiát, amely a szimbolikus matematikai számításokat támogatja. A mesterséges intelligencia és az operációkutatás integrációja két alapvető témát vet fel: a deklarativ programozás és a logikai következtetés területét, majd a procedurális programozás és a kereső algoritmusok számos változatát. A 2LP mint a lineáris és logikai programozást támogató rendszer motorja egyrészről a szimplex módszer, másrészről pedig a visszalépéses (barktracking) megoldást kereső algoritmus. Mindezeket a technikákat beépítve egy standard C szintaktikájú nyelvbe, amely a matematikai modult objektumorientált eszközrendszerrel támogatja, nagyon hatékony és könnyen használható eszközt nyújt.