Student research opportunities
Implementation of Conditional Logics
Project Code: CECS_889
This project is available at the following levels:
CS single semester, Honours, Summer Scholar, Masters, PhD
Keywords:
Modal Logic, Automated Theorem Proving, Conditional Logics, Implementation of Logics
Supervisor:
Dr Dirk PattinsonOutline:
Conditional logics are logics that have an additional binary connective that can have various readings, such as 'if A then normally B' (default implication) or 'if A were the case, then so would B' (counterfactual implication). In recent research, we have found new calculi and decision procedures that allow more efficent reasoning with logics of this kind.
Goals of this project
The goal is to implement these new decision procedures and compare them with already existing implementations. The expectation is that the new procedures perform significantly better which would add experimental evidence to a theoretical result -- and would hopefully result in a good research paper!
Requirements/Prerequisites
Interest in theoretical questions, good programming skills, some background in logic.
Student Gain
Practical and theoretical experience with implementation of logics. Possibly a good conference publication!
Background Literature
Conditional Logics as such:
Chellas, Modal Logic.
New decision procedures for conditional logics:
Lellmann and Pattinson. Sequent systems for Lewis'
conditional logics. In Luis Fariñas del Cerro, Andreas
Herzig, and Jérôme Mengin, editors, Proc. JELIA 2012,
volume 7519 of Lecture Notes in Computer Science, pages
320-332. Springer, 2012.
