Sequent calculi with an efficient loop-check for BDI logics ; Sekvenciniai skaičiavimai BDI logikoms su efektyvia ciklų paieška

VILNIUSUNIVERSITYAdomasBirštunasSEQUENTCALCULIWITHANEFFICIENTLOOP-CHECKFORBDILOGICSDoctoraldissertationPhysicalsciences,Informatics(09P)Vilnius,2010Thisworkwasperformedin2004-2009atVilniusUniversity,Lithuania.Researchsupervisor :Assoc. Prof. Habil. Dr. Regimantas Pliuškevičius (Institute of Mathematics andInformatics,phisicalscience,mathematics-01P)VILNIAUSUNIVERSITETASAdomasBirštunasSEKVENCINIAISKAIČIAVIMAIBDILOGIKOMSSUEFEKTYVIACIKLŲPAIEŠKADaktarodisertacijaFiziniaimokslai,Informatika(09P)Vilnius,2010Disertacijarengta2004-2009metaisVilniausuniversitete.Mokslinisvadovas :doc. habil. dr. Regimantas Pliuškevičius (Matematikos ir informatikos institutas,fiziniaimokslai,matematika-01P)AbstractBDI logics are widely used for agent system description and implementation. Agentsare autonomous systems, those acts in some environment and aspire to achieve preas-signed goals. Decision making mechanism is the main and the most complicated partof agent systems implementation. Different logics are used as a basis for the decisionmaking. OneofsuchalogicsisBDI logic,whichexpressagentviaitsbeliefs,desiresandintentions. Inthisthesis,thereareresearchedsequentcalculiforBDI logics.KnownsequentcalculiforBDI logics,likesequentcalculiforothermodallogics,use loop-check technique to get decidability. Inefficient loop-check takes a major partoftheresourcesusedforthederivation.