create new tag
view all tags

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


Learning system and architectual reasoning

Topic attachments
I Attachment History Action Size Date Who Comment
PDFpdf r1 manage 155.4 K 2016-10-30 - 03:25 JimSkon A Java Wrapper for DLV
PDFpdf eiter_asp.pdf r1 manage 668.1 K 2016-10-30 - 01:59 JimSkon ASP programming and interface with Java persentation
JPEGjpeg gelfond.jpeg r1 manage 34.3 K 2016-08-26 - 13:14 JimSkon  
Edit | Attach | Watch | Print version | History: r8 < r7 < r6 < r5 < r4 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r8 - 2016-11-04 - JimSkon
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2018 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback