Loginio išvedimo paieška su prielaidų atsekamumu
Straipsniai
Adomas Birštunas
Vilniaus universitetas
https://orcid.org/0000-0003-4574-1534
Elena Reivytytė
Vilniaus universitetas
Publikuota 2021-12-15
https://doi.org/10.15388/LMR.2021.25215
PDF

Reikšminiai žodžiai

teiginių logika
atsekamumas
ciklų aptikimas

Kaip cituoti

Birštunas A. ir Reivytytė E. (2021) „Loginio išvedimo paieška su prielaidų atsekamumu“, Lietuvos matematikos rinkinys, 62(A), p. 16-22. doi: 10.15388/LMR.2021.25215.

Santrauka

Šiame darbe autoriai nagrinėja loginio išvedimo iš prielaidų atsekamumo problemą. Šio uždavinio esmė yra atsekti, kurios prielaidos iš turimos prielaidų žinių bazės yra būtinos tam tikros išvados išvedimui. Darbe pristatoma nauja teiginių logikai skirta išvedimo procedūra užtikrinanti prielaidų atsekamumo savybę. Išvedamai formulei išvedimo procedūra grąžina ir mažiausią prielaidų aibę, kurios užtenka išvados formulės išvedimui gauti. Procedūra verifikuota su autorių realizacija.

PDF
Kūrybinių bendrijų licencija

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

Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.