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


  • DLV Systems -
  • 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
  • Java Wrapper

Learning system and architectual reasoning

Topic attachments
I Attachment History Action Size Date Who Comment
JPEGjpeg gelfond.jpeg r1 manage 34.3 K 2016-08-26 - 13:14 JimSkon  
Edit | Attach | Watch | Print version | History: r8 | r6 < r5 < r4 < r3 | Backlinks | Raw View | Raw edit | More topic actions...
Topic revision: r4 - 2016-10-26 - JimSkon
  • Edit
  • Attach
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2019 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback