Architecture Reasoning Project

Goal: To reason about the needed components for a building to meet code requirements.

Possible Project steps

1. Get DLV running on sample code (Blocks world?)
2. Start reading reading Gelfond text
3. Learn DLV system and language by implementing several small sample program (from book?)
4. Find a subset of Building code (fire code?)
5. Implement a proof of concept tool that asks questions about building, gives code requirements

Resources:

• DLV Systems - http://www.dlvsystem.com/
• Knowledge Representation, Reasoning, and the Design of Intelligent Agents
  By: Michael Gelfond; Yulia Kahl
  Publisher: Cambridge University Press
  Pub. Date: February 28, 2014Print ISBN: 978-1-107-02956-9
• http://www.hakank.org/answer_set_programming/
• http://0-proquest.safaribooksonline.com.dewey2.library.denison.edu/book/electrical-engineering/computer-engineering/9781107779464
  
• Java Wrapper

Learning system and architectual reasoning

• TableSystemandComputeFunction
• eiter_asp.pdf: ASP programming and interface with Java persentation

• 10.1.1.96.6567.pdf: A Java Wrapper for DLV