• Keine Ergebnisse gefunden

Signature of the logic program:

N/A
N/A
Info
Herunterladen
Protected

Academic year: 2021

Aktie "Signature of the logic program:"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Jetzt herunterladen ( 2 Seite )

Volltext

(1)

Signature of the logic program:

Σ

0

= IN ∪ { monika, karin, renate, susanne, aline, werner, klaus, gerd, peter, dominique}

Σ

3

= { date }

∆

1

= { female, male, human }

∆

2

= { married, motherOf , fatherOf , parent, ancestor, born }

9

(2)

Formulas corresponding to the logic program:

female(monika) male(werner) married(werner,monika) motherOf(monika,karin) female(karin) male(klaus) married(gerd,renate motherOf(monika,klaus) female(renate) male(gerd) married(klaus,susanne) motherOf(renate,susanne)

female(susanne) male(peter) motherOf(renate,peter)

female(aline) male(dominique) motherOf(susanne,aline)

motherOf(susanne,dominique)

∀ X human( X )

∀F, W, C married(F, W ) ∧ motherOf (W, C ) → fatherOf (F, C )

∀ X, Y motherOf ( X, Y ) → parent( X, Y )

∀ X, Y fatherOf ( X, Y ) → parent( X, Y )

∀V, X parent(V, X ) → ancestor(V, X )

∀V, Y, X parent(V, Y ) ∧ ancestor(Y, X ) → ancestor(V, X )

10

Referenzen

Jetzt herunterladen ( PDF - 2 Seite - 16.96 KB )

ÄHNLICHE DOKUMENTE

The Uncertain Logic of Standard Setting

samples of animals. To reduce the experimental doses, and thus the unreliability of extrapolations outside the experimental range, one could think of conducting experiments

Simulating the signature of starspots in stellar oscillations

In the linear regime of the perturbation, the power spectrum of the low-degree modes revealed a complex structure: the combined e ff ects of rotation and the active-region

(Signature of the author

I use the propensity score matching (PSM) and standard fixed effects to estimate the relationship between foreign direct investment (FDI) and the real wages of laborers in

The Logic of Skipped Spawning in Fish

number of years after maturation increased, the frequency of skipped spawning in the early- 179.. maturing population (scenario 3) stabilised quickly at the expected level

3 Program Logic and Sequent Calculus

In the second phase, the target program is synthesized by a leaves-to-root traversal of the symbolic execution tree by backward application of (extended) sequent calculus rules..

The logic of confirmation

Hempel then showed that (1-4) entail that every sentence (observation report) E confirms every sentence (theory) H, i.e. Since Hempel's negative result, there has hardly

Honeywell MULTICS STORAGE SYSTEM PROGRAM LOGIC MANUAL ADDENDUM A

rt has been discovered that any segment accessible to only one process can be made encacheable if a simple rule is followed: any time a process switches

The Logic of Theory Assessment

But then, when discussing the Converse Consequence Condition, Hempel also felt the need for a second concept of confirmation aiming at informative theories.. Given that it was