Architecture Reasoning Project
Goal: To reason about the needed components for a building to meet code requirements.
Possible Project steps
- Get DLV running on sample code (Blocks world?)
- Start reading reading Gelfond text
- Learn DLV system and language by implementing several small sample program (from book?)
- Find a subset of Building code (fire code?)
- Implement a proof of concept tool that asks questions about building, gives code requirements
Resources:
Learning system and architectual reasoning
Topic revision: r8 - 2016-11-04
- JimSkon