Dear Dave,
Can I express myself in Prolog?
I want something like:
v(s1, 8).
v(s2, 120).
p1(X, Y, C):-
p11(X, Y, C).
p1(X, Y, C):-
p12(X, Y, C).
p11(X, o1, 0.8):-
v(X, V),
V < 10.
p12(X, o1, 0.7):-
v(X, V),
V >= 100.
p1(s1, Y, C)?
Y = o1, C = 0.8
p1(s2, Y, C)?
Y = o1, C = 0.7
In best of my knowledge, is not possible what I want. But I¹m new in Jena
and perhaps there are a solution that I can¹t figure out. I think that is
not possible because I need a quad: Subject, Property, Object, Confidence.
I tried with blank nodes but I didn¹t had success.
MBA
On 12/11/13 11:19, "Dave Reynolds" <[email protected]> wrote:
>Depending on exactly what semantics you want for confidence coefficients
>then you probably want to look at a Bayesian network software.
>
>Dave
>
>On 12/11/13 09:04, Miguel Bento Alves wrote:
>>
>>
>> I want to introduce a confidence coefficient in my rules. For instance,
>>in
>> the example below, let's consider that p11 has a confidence coefficient
>>of
>> 0.8 while p12 has a confidence coefficient of 0.7. When ?x exa:p1 ?y
>>happens
>> I want to know the confidence of this conclusion. Any ideas? I have been
>> study but I couldn't figure out a good solution.
>>
>> (?x exa:p1 ?y) <- (?x exa:p11 ?y).
>>
>> (?x exa:p1 ?y) <- (?x exa:p12 ?y).
>>
>> (?x exa:p11 exa:o1) <- (?x exa:qvalue ?v), lessThan(?v, 10).
>>
>> (?x exa:p12 exa:o2) <- (?x exa:qvalue ?v), ge(?v, 100).
>>
>> MBA
>>
>>
>>
>
