resources.data.tests.valid-yaml.yml Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of decima Show documentation

Decima is a proof-of-concept Java implementation of the probabilistic logic programming language ProbLog.

There is a newer version: 1.39

name: Friends and Smokers
description: "The program below encodes a variant of the \"Friends & Smokers\" problem."
rules:
  - name: stress
    parameters: X
    confidence: 0.3
    body:
      - person(X)

  - name: influences
    parameters: X, Y
    confidence: 0.2
    body:
      - person(X), person(Y)

  - name: smokes
    parameters: X
    body:
      - stress(X)
      - friend(X, Y), influences(Y, X), smokes(Y)
    tests:
      - kb: "person(éléana).\nperson(jean).\nperson(pierre).\nperson(alexis).\nfriend(jean, pierre).\nfriend(jean, éléana).\nfriend(jean, alexis).\nfriend(éléana, pierre)."
        query: "smokes(éléana)?"
        output: "0.342::smokes(éléana)."

      - kb: "person(éléana).\nperson(jean).\nperson(pierre).\nperson(alexis).\nfriend(jean, pierre).\nfriend(jean, éléana).\nfriend(jean, alexis).\nfriend(éléana, pierre)."
        query: "smokes(jean)?"
        output: "0.42557::smokes(jean)."

  - name: asthma
    parameters: X
    confidence: 0.4
    body:
      - smokes(X)