Efficient decision procedure for Belief modality

Adomas Birštunas

doi:10.15388/LMR.2005.26673

Straipsniai

Adomas Birštunas

Vilniaus universitetas

Publikuota 2005-12-18

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

PDF

Kaip cituoti

Birštunas, A. (2005) “Efektyvi sprendimo procedūra modaliniam operatoriui Belief”, Lietuvos matematikos rinkinys, 45(spec.), pp. 321–325. doi:10.15388/LMR.2005.26673.

Atsisiųsti citatą

Santrauka

Pateiktas sprendimo radimo algoritmas BDI logikos formulių klasei, kuris naudoja efektyvų ciklų radimo mechanizmą modaliniam operatoriui Belief.

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 Birstunas, Sekvencinio skaičiavimo panaudojimas BDI agentų realizavimui , Lietuvos matematikos rinkinys: T 46 (2006)
Adomas Birštunas, Stanislovas Norgėla, Atvirkštinis metodas teiginių modalumo logikai S4 , Lietuvos matematikos rinkinys: T 43 (2003)