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.), p. 321–325. doi:10.15388/LMR.2005.26673.

Atsisiųsti citatas

Anotacija

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

PDF

Nuorodos

Šis darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.

Atsisiuntimai

Nėra atsisiuntimų.

Dažniausiai skaitomi to paties autoriaus (-ių) 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)
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 Birstunas, Sekvencinio skaičiavimo panaudojimas BDI agentų realizavimui , Lietuvos matematikos rinkinys: T. 46 (2006)
Lukas Maksimiak, Adomas Birštunas, Becikliai sekvenciniai skaičiavimai unariniam laiko logikos fragmentui , Lietuvos matematikos rinkinys: T. 66 (2025): A serija