Project Description

Natural Logic is the research area of this project. A mix of logic, linguistics, and computer science, it aims for computer implementations of logical reasoning in very small pieces of English. We have some natural logic implementations up and running, but they could use documentation and also better user interfaces. So this would be one project. We also have several algorithms in papers that should be implemented, and so this would be another. Finally, there is the possibility of eventually doing original research in this area.

Technology or Computational Component

Our existing implementations are mainly Jupyter notebooks running Python programs. (We also have some Haskell implementations.) The ideal student would be conversant in Python. The main projects would involve reading, understanding, and documenting programs, and also writing some new ones.