Difference: ArchitectureReasoning (1 vs. 8)

Revision 82016-11-04 - JimSkon

Line: 1 to 1
 
META TOPICPARENT name="LIMRI.WebHome"

Architecture Reasoning Project

Line: 12 to 12
 

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
Added:
>
>
 

Revision 72016-10-31 - JimSkon

Line: 1 to 1
 
META TOPICPARENT name="LIMRI.WebHome"

Architecture Reasoning Project

Line: 11 to 11
 
  1. Implement a proof of concept tool that asks questions about building, gives code requirements

Resources:

Changed:
<
<
  • 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
    gelfond.jpeg
>
>
 

Learning system and architectual reasoning

Revision 62016-10-30 - JimSkon

Line: 1 to 1
 
META TOPICPARENT name="LIMRI.WebHome"

Architecture Reasoning Project

Line: 18 to 18
 
Added:
>
>
 
META FILEATTACHMENT attachment="gelfond.jpeg" attr="" comment="" date="1472217299" name="gelfond.jpeg" path="gelfond.jpeg" size="35124" user="JimSkon" version="1"
META FILEATTACHMENT attachment="eiter_asp.pdf" attr="" comment="ASP programming and interface with Java persentation" date="1477792781" name="eiter_asp.pdf" path="eiter_asp.pdf" size="684122" user="JimSkon" version="1"
Added:
>
>
META FILEATTACHMENT attachment="10.1.1.96.6567.pdf" attr="" comment="A Java Wrapper for DLV" date="1477797924" name="10.1.1.96.6567.pdf" path="10.1.1.96.6567.pdf" size="159094" user="JimSkon" version="1"
 
META TOPICMOVED by="JimSkon" date="1472234461" from="LIMRI.ArchitectureReasoning" to="Main.ArchitectureReasoning"

Revision 52016-10-30 - JimSkon

Line: 1 to 1
 
META TOPICPARENT name="LIMRI.WebHome"

Architecture Reasoning Project

Line: 15 to 15
 

Learning system and architectual reasoning

Changed:
<
<
>
>
 
META FILEATTACHMENT attachment="gelfond.jpeg" attr="" comment="" date="1472217299" name="gelfond.jpeg" path="gelfond.jpeg" size="35124" user="JimSkon" version="1"
Added:
>
>
META FILEATTACHMENT attachment="eiter_asp.pdf" attr="" comment="ASP programming and interface with Java persentation" date="1477792781" name="eiter_asp.pdf" path="eiter_asp.pdf" size="684122" user="JimSkon" version="1"
 
META TOPICMOVED by="JimSkon" date="1472234461" from="LIMRI.ArchitectureReasoning" to="Main.ArchitectureReasoning"

Revision 42016-10-26 - JimSkon

Line: 1 to 1
 
META TOPICPARENT name="LIMRI.WebHome"

Architecture Reasoning Project

Line: 12 to 12
 

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
    gelfond.jpeg
Added:
>
>
  Learning system and architectual reasoning

Revision 32016-08-26 - JimSkon

Line: 1 to 1
Changed:
<
<
META TOPICPARENT name="WebHome"
>
>
META TOPICPARENT name="LIMRI.WebHome"
 

Architecture Reasoning Project

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

Line: 13 to 13
 
  • 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
    gelfond.jpeg
Added:
>
>
Learning system and architectual reasoning
 
META FILEATTACHMENT attachment="gelfond.jpeg" attr="" comment="" date="1472217299" name="gelfond.jpeg" path="gelfond.jpeg" size="35124" user="JimSkon" version="1"
Added:
>
>
META TOPICMOVED by="JimSkon" date="1472234461" from="LIMRI.ArchitectureReasoning" to="Main.ArchitectureReasoning"

Revision 22016-08-26 - JimSkon

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Architecture Reasoning Project

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

Changed:
<
<
Resources:
>
>

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:

 
Deleted:
<
<
  • 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
 \ No newline at end of file
Added:
>
>
  • 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
    gelfond.jpeg

META FILEATTACHMENT attachment="gelfond.jpeg" attr="" comment="" date="1472217299" name="gelfond.jpeg" path="gelfond.jpeg" size="35124" user="JimSkon" version="1"

Revision 12016-08-22 - JimSkon

Line: 1 to 1
Added:
>
>
META TOPICPARENT name="WebHome"

Architecture Reasoning Project

Goal: To reason about the needed components for a building to meet 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
 
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