Jonathan Augustin

In this section, you will implement a collection of classes corresponding to logical expressions, asimple knowledge base, and algorithms for propositional logic inference via truth table enumerationand resolution. All expressions will be subclasses of the provided base Expr class.

This project asksyou todesign, implement, document,and present a database-backed web application for an online bookstore.This project aims not to produce a complete implementation of the system, as it would require too much time and resources for the students. Instead, students will focus on i) the process of the database design that may pose a significant risk due to uncertainty and the lack of understanding in requirements, and ii) the prototyping of certain system functionsas a proof of concept. It is anticipated that based on careful examination ofthe tested prototypes, valuable insights and lessons may be obtained. Indeed, this design-prototype approach of the feasibility study is often adopted when the requirements are not well understood. Moreover, a successful prototype can potentially serve as the foundation for the future production system in operation. Besides, an impressive demonstration of the prototyped system, functions, and unique features may attract your prospective employers when listed on your CV.