Ask a query about Obama - Redigeerimiste ajalugu

Tanel – 3. november 2017, kell 09:49

2017-11-03T09:49:42Z

Tanel – 3. november 2017, kell 09:46

2017-11-03T09:46:43Z

Tanel – 3. november 2017, kell 09:44

2017-11-03T09:44:43Z

Tanel – 10. november 2015, kell 09:00

2015-11-10T09:00:41Z

Tanel – 9. november 2015, kell 16:22

2015-11-09T16:22:05Z

Tanel – 9. november 2015, kell 16:19

2015-11-09T16:19:53Z

Tanel: Uus lehekülg: ' Suppose we have a triplet

 http://en.wikipedia.org/wiki/Barack_Obama, id:type, http://conceptnet5.media.mit.edu/web/c/en/person

then we encode it in the otter form...'

2015-11-09T16:15:08Z

Uus lehekülg: ' Suppose we have a triplet <pre> http://en.wikipedia.org/wiki/Barack_Obama, id:type, http://conceptnet5.media.mit.edu/web/c/en/person </pre> then we encode it in the otter form...'

Uus lehekülg

Suppose we have a triplet

<pre>
http://en.wikipedia.org/wiki/Barack_Obama,
id:type,
http://conceptnet5.media.mit.edu/web/c/en/person
</pre>

then we encode it in the otter format like this:

<pre>
rdf("http://en.wikipedia.org/wiki/Barack_Obama",
"id:type",
"http://conceptnet5.media.mit.edu/web/c/en/person").
</pre>

and then we add three handmade common-sense taxonomy rules:

<pre>
-rdf(X,"id:type",
"http://conceptnet5.media.mit.edu/web/c/en/person") |
rdf(X,"id:type",
"http://conceptnet5.media.mit.edu/web/c/en/animal").

-rdf(X,"id:type",
"http://conceptnet5.media.mit.edu/web/c/en/animal") |
rdf(X,"id:type",
"mortal").

-rdf(X,"id:type",
"http://conceptnet5.media.mit.edu/web/c/en/person") |
rdf(X,"id:CapableOf",
"id:eat").
</pre>

The whole problem obama2.txt with the strategy selection and everything, ready to run:

<pre>
% clear automatic strategy selection
clear(auto).

% use capital letters (A,X,T,...) as vars
set(prolog_style_variables).

% select the search strategy
set(hyper_res). % an alternative is to use set(binary_res).
set(factor).

% select sensible amount of output
clear(print_given). % uncomment to see input and process
set(print_kept). % this is important: prints all generated and kept clauses
assign(stats_level, 0).

% just make it stop after N secs
assign(max_seconds, 10).

list(sos).

% example data

rdf("http://en.wikipedia.org/wiki/Barack_Obama",
"id:type",
"http://conceptnet5.media.mit.edu/web/c/en/person").

% some simple taxonomy rules of the form A->B i.e. -A | B in clause form.

-rdf(X,"id:type",
"http://conceptnet5.media.mit.edu/web/c/en/person") |
rdf(X,"id:type",
"http://conceptnet5.media.mit.edu/web/c/en/animal").

-rdf(X,"id:type",
"http://conceptnet5.media.mit.edu/web/c/en/animal") |
rdf(X,"id:type",
"mortal").

-rdf(X,"id:type",
"http://conceptnet5.media.mit.edu/web/c/en/person") |
rdf(X,"id:CapableOf",
"id:eat").

end_of_list.
</pre>

Just send it to otter via standard inpt:
<pre>
otter < obama2.txt
</pre>

and look at the **KEPT lines in output.

It is a good idea to send the output to a file and then process it later, like this:

<pre>
otter < obama2.txt > obama2.out
</pre>

@@ 1. rida: / 1. rida: @@
 == Initial setting ==
-We repeat the obama1.txt scenario in this chapter.
+We repeat the obama1.txt scenario in this section.
 Suppose we have a triplet
@@ 117. rida: / 115. rida: @@
 <pre>
 otter < obama2.txt > obama2.out
 </pre>

@@ 1. rida: / 1. rida: @@
-This example is a small modification of the obama1.txt problem, with an actual question added and a bit less output.
+This example is a small modification of the obama1.txt problem, with actual questions added and a bit less output.
 Suppose we have a triplet
@@ 37. rida: / 41. rida: @@
 </pre>
-= Yes/No question =
+= Asking a Yes/No question =
 Now we add the <b>question</b>: is Obama mortal? We add the question in a negated form, like this:
@@ 116. rida: / 120. rida: @@
-= A task: question with a factual output =
+= Asking a question with a factual output =
-Now we add the <b>task</b>: find something mortal. We add the question in a negated form with a special <b>$ans</b> predicate added to capture a value, like this:
+Now we add the question to find an actual value: something mortal. We add the question in a negated form with a special <b>$ans</b> predicate added to capture the value found, like this:
 <pre>
@@ 185. rida: / 189. rida: @@
 Just send it to otter via standard inpt:
 <pre>
-otter < obama2.txt
+otter < obama3.txt
 </pre>
@@ 193. rida: / 197. rida: @@
 <pre>
-otter < obama2.txt > obama2.out
+otter < obama3.txt > obama3.out
 </pre>

@@ 59. rida: / 59. rida: @@
 % select sensible amount of output
-clear(print_given). % uncomment to see input and process
+clear(print_given). % remove to see search process milestones
-clear(print_kept).  % do not prints out generated and kept clauses.
+clear(print_kept).  % do not print out generated and kept clauses.
 assign(stats_level, 0).

@@ 1. rida: / 1. rida: @@
-This example is a small modification of the obama1.txt problem, with an actual question added.
+This example is a small modification of the obama1.txt problem, with an actual question added and a bit less output.
 Suppose we have a triplet
@@ 105. rida: / 105. rida: @@
 </pre>
-and look at the **KEPT lines in output.
+and look at the --- PROOF --- in output.
 It is a good idea to send the output to a file and then process it later, like this:

@@ 36. rida: / 36. rida: @@
        "id:eat").
 </pre>
 Now we add the <b>question</b>: is Obama mortal? We add the question in a negated form, like this:
@@ 96. rida: / 98. rida: @@
       "id:type",
       "mortal").
 end_of_list.