Inspiration
I used to study philosophy, in particular the metaphysics and semantics of modal claims (claims about possibility and necessity). People often had trouble wrapping their heads around arguments involving modal operators. This resource can help people quickly interpret modal arguments. If optimized, it could allow AIs to reason about possibilities (a metaphysical notion), distinct from probabilities (an epistemic notion).
What it does
It takes a set of formal sentences and tells you whether they are consistent in S5 Propositional Modal Logic. The sentences can be inputted by the user or taken from built-in examples.
How I built it
Python. I used a Tableau method of inference on sets of sentences. It is mostly done with arrays and string manipulation.
Challenges I ran into
Modal operators embedded inside non-modal operators. Negated modal operators.
Accomplishments that I'm proud of
Finishing. Being able to handle every reasonably-sized collection of sentences I've tested.
What I learned
Python is the best! Some other people like modal logic. I can stay up throughout the entire night.
What's next for Propositional Modal Logic Consistency Checker
GUI. Opening testing to philosophers and computer scientists. Adding options to check for argument validity, logical truth, and contradiction.
Log in or sign up for Devpost to join the conversation.