CSSE 490: Presentation of a logic application.
The purpose of this assignment is to learn about areas in which
logical systems are not just used to study valid reasoning but where
logical systems are used to solve problems.
Specifications
- Work on this assignment by yourself.
- Identify an application area in which logical systems are used to
solve problems. Do this by Friday, September 26th. Please discuss with
me or email me your proposed area. If more than one of you proposes
the same area then the first one to propose it will get first dibs on
that area. As soon as I approve someones application area, I will post
them here so that you know what has been proposed already.
- Here is a list of potential application areas:
- Hardware verification
- Software verification
- AI
- Semantic Web
- Security
- Bioinformatics
- See also the following page on applications of
logic.
- You will give a 30 minute presentation of the system and how it is
being used in the application area.
- Please follow the presentation guidelines