| Title |
Logical derivation search with assumption traceability / |
| Translation of Title |
Loginio išvedimo paieška su prielaidų atsekamumu. |
| Authors |
Birštunas, Adomas ; Reivytytė, Elena |
| DOI |
10.15388/LMR.2021.25215 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. Ser. A.. Vilnius : Vilniaus universiteto leidykla. 2021, t. 62, p. 16-22.. ISSN 0132-2818. eISSN 2335-898X |
| Keywords [eng] |
propositional logic ; traceability ; loop checking |
| Abstract [eng] |
In this paper authors research the problem of traceability of assumptions in logical derivation. The essence of this task is to trace which assumptions from the available knowledge base of assumptions are necessary to derive a certain conclusion. The paper presents a new derivation procedure for propositional logic, which ensures traceability feature. For the derivable conclusion formula derivation procedure also returns the smallest set of assumptions those are enough to get derivation of the conclusion formula. Verification of the procedure were performed using authors implementation. |
| Published |
Vilnius : Vilniaus universiteto leidykla |
| Type |
Journal article |
| Language |
English |
| Publication date |
2021 |
| CC license |
|
