Chris Pollett > Students >
Jignesh
    ( Print View )

    [Bio]

    [Project Blog]

    [CS297 Proposal]

    [Deliverable 1]

    [Deliverable 2]

    [Deliverable 3]

    [Deliverable 4]

    [CS297 Report - PDF]

    [CS298 Proposal]

    [CS298 Presentation-PDF]

    [CS298 Report-PDF] 

                          

























Deliverable-2

Install and experiment with smodels

  • I have installed smodels-2.33
  • The smodels is an implementation of stable model semantics for logic program.
  • The main front end is lparse
  • I have performed various experiment on smodels. I measured outputs of smodels for various logic programs.

Example-1

Rules: 
 
   a: b,c, not d , not e.
   b: a, not d.
   c: a, not b.

   Stable Model doesn't exist.

Example-2

Rules: 
   a: not b.
   b: not a.

   Stable Model doesn't exist.

Example-3

Rules: 
   b: not a.
   c: not b.

   Stable Model exists if all variables of the rules are true.

Example-4

Rules: 
   a: not b, not c.
   b: a.
   c: b.

   Stable Model doesn't exist.

Example-5

Rules : 
   a: c,d, not b.
   b: a, c.
   c: d, not c.

   Stable Model doesn't exist.