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

Kaip cituoti

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

Atsisiųsti citatą

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

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

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)
Adomas Birštunas, Efektyvi sprendimo procedūra modaliniam operatoriui Belief , Lietuvos matematikos rinkinys: T 45 (2005)
Adomas Birštunas, Stanislovas Norgėla, Atvirkštinis metodas teiginių modalumo logikai S4 , Lietuvos matematikos rinkinys: T 43 (2003)