A revised system for Natural Deduction for Linear Temporal Logic

Simple item page
dc.contributor.advisorHubbers, E.M.G.M.
dc.contributor.advisorWiedijk, F.
dc.contributor.authorNijboer, T. J.
dc.date.issued2020-07-10
dc.description.abstractLinear Temporal Logic is a language often used to model planning problems. The application of Natural Deduction to these planning problems is a novel, but interesting idea. The Natural Deduction calculus developed by Bolotov et al. is a promising candidate for such an implementation. However, this calculus needs some revisions. This thesis presents an introduction to the subjects of Propositional Logic, Natural Deduction and Linear Temporal Logic, followed by a thorough analysis and explanation of Bolotov et al.'s system. The analysis shows that this system is awed and its proof of completeness is incorrect. A revised Natural Deduction system is presented that mends the major shortcom- ings of the original system. Furthermore, completeness of this revised system is proven and an attempt at a proof for correctness is made. It is concluded that the revised system is more streamlined and easier to apply, both for humans as for potential planning agents.en_US
dc.embargo.lift10000-01-01
dc.embargo.typePermanent embargoen_US
dc.identifier.urihttps://theses.ubn.ru.nl/handle/123456789/12725
dc.language.isoenen_US
dc.thesis.facultyFaculteit der Sociale Wetenschappenen_US
dc.thesis.specialisationBachelor Artificial Intelligenceen_US
dc.thesis.studyprogrammeArtificial Intelligenceen_US
dc.thesis.typeBacheloren_US
dc.titleA revised system for Natural Deduction for Linear Temporal Logicen_US
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Nijboer, T. s-0853666-BSc-Thesis-2020.pdf
Size:
414.23 KB
Format:
Adobe Portable Document Format
Download
Collections
Faculteit der Sociale Wetenschappen