Sequent calculus usage for BDI agent implementation

Adomas Birstunas

doi:10.15388/LMR.2006.30715

Straipsniai

Adomas Birstunas

Vilniaus universitetas

Publikuota 2023-09-21

https://doi.org/10.15388/LMR.2006.30715

PDF (anglų)

##submission.howToCite##

Birstunas, A. (2023) „Sekvencinio skaičiavimo panaudojimas BDI agentų realizavimui“, Lietuvos matematikos rinkinys, 46(spec.), p. 232–237. doi:10.15388/LMR.2006.30715.

##submission.howToCite.downloadCitation##

Santrauka

Pateikta bendra BDI agento realizavimo schema. Parodyta kaip tam tikrų dalių realizavimui gali būti panaudotas sekvencinis skaičiavimas. Pasiūlyta, kaip galima realizuoti lankstesnę funkciją filter.

PDF (anglų)

##submission.license.cc.by4.footer##

Atsisiuntimai

Nėra atsisiuntimų.

##plugins.generic.recommendByAuthor.heading##

Adomas Birštunas, Elena Reivytytė, Loginio išvedimo paieška su prielaidų atsekamumu , Lietuvos matematikos rinkinys: T 62 (2021): A serija
Adomas Birštunas, Apribojimai ciklų radimui sekvenciniame laiko logikos skaičiavime , Lietuvos matematikos rinkinys: T 48 (2008)
Adomas Birštunas, Apribojimai ciklų radimui sekvenciniame laiko logikos skaičiavime su until operatoriumi , Lietuvos matematikos rinkinys: T 50 (2009)
Adomas Birštunas, Efektyvus ciklų radimas multimodalinei KD45n logikai , Lietuvos matematikos rinkinys: T 47 (2007)
Kostas Ragauskas, Adomas Birštunas, Grupavimu paremtas tiesinės teiginių laiko logikos skaičiavimas , Lietuvos matematikos rinkinys: T 65 (2024): A serija
Adomas Birštunas, Stanislovas Norgėla, Atvirkštinis metodas teiginių modalumo logikai S4 , Lietuvos matematikos rinkinys: T 43 (2003)
Adomas Birštunas, Efektyvi sprendimo procedūra modaliniam operatoriui Belief , Lietuvos matematikos rinkinys: T 45 (2005)