Automated reasoning homework 2017 - Redigeerimiste ajalugu

Tanel – 17. november 2017, kell 08:44

2017-11-17T08:44:49Z

Tanel: /* Examples to use as a starting point */

2017-11-03T14:22:36Z

Examples to use as a starting point

Tanel: /* What you have to do */

2017-11-03T10:21:48Z

What you have to do

Tanel: /* Automated reasoning homework as a second part of a two-phase project */

2017-11-03T10:19:58Z

Automated reasoning homework as a second part of a two-phase project

Tanel – 3. november 2017, kell 10:19

2017-11-03T10:19:37Z

Tanel: /* What you have to do */

2017-11-03T10:12:17Z

What you have to do

Tanel: /* Automated reasoning homework as a second part of a two-phase project */

2017-11-03T10:10:30Z

Automated reasoning homework as a second part of a two-phase project

Tanel: /* Integrating with the external knowledge base */

2017-11-03T10:08:19Z

Integrating with the external knowledge base

Tanel: /* Automated reasoning homework as a second part of a two-phase project */

2017-11-03T10:05:18Z

Automated reasoning homework as a second part of a two-phase project

Tanel: /* Integrating with the external knowledge base */

2017-11-03T09:58:55Z

Integrating with the external knowledge base

←Vanem redaktsioon		Redaktsioon: 17. november 2017, kell 08:44
1. rida:		1. rida:
		+
		+	<b>Deadline 1. december.</b>

	== Automated reasoning homework as a second part of a two-phase project ==		== Automated reasoning homework as a second part of a two-phase project ==

@@ 90. rida: / 90. rida: @@
 == Examples to use as a starting point ==
-The following examples are in the Otter format: the first two are in the clause syntax and are similar to what
+The following examples are in the Otter format: the first four are in the clause syntax and are similar to what
-you are expected to in the third lab. The last one demonstrates formula syntax, calculation and probabilities (kind of).
+you are expected to in the third lab. The last two demonstrate formula syntax, calculation and probabilities (kind of).
 * [[Derive simple information about Obama]]

@@ 27. rida: / 27. rida: @@
 == What you have to do ==
-First of all, by default we will use the [http://www.cs.unm.edu/~mccune/otter/ otter prover]. Download it and try out some example problems in the otter zip file. Useful examples for the lab are given below, in the section "Examples to use as a starting point".   Have a look at the otter manual as well. We note that newer reasoners are allowed as well, but using these would be more complex.
+First of all, by default we will use the [http://www.cs.unm.edu/~mccune/otter/ otter prover]. Download it and try out some example problems in the otter zip file. Useful examples for the lab are given below, in the section "Examples to use as a starting point".   Have a brief look at the [http://www.cs.unm.edu/~mccune/otter/Otter33.pdf otter manual] as well. We note that newer reasoners are allowed as well, but using these would be more complex.
 Suppose you have a  triplet like

@@ 7. rida: / 7. rida: @@
 * experimenting with integrating external knowledge bases with your rdf-style data
-The main concrete task is to add some common sense rules to the rdf-style output of the first phase of the project and then ask and prove some example queries using an automated reasoner.
+The main concrete task is to add some common sense rules to the rdf-style output of the first phase of the project and then ask and prove some example queries using an automated reasoner. This is required for passing the lab.
 The secondary (non-obligatory) concrete task  is to integrate an external knowledge base like [http://wiki.dbpedia.org/ dbpedia] or [http://conceptnet.io/ conceptnet] or [https://www.mpi-inf.mpg.de/departments/databases-and-information-systems/research/yago-naga/yago/#c10444 yago] with your rdf-style output and be able to answer queries with the added help of the external knowledge base.

@@ 9. rida: / 9. rida: @@
 The main concrete task is to add some common sense rules to the rdf-style output of the first phase of the project and then ask and prove some example queries using an automated reasoner.
-The secondary concrete task is to integrate an external knowledge base like [http://wiki.dbpedia.org/ dbpedia] or [http://conceptnet.io/ conceptnet] or [https://www.mpi-inf.mpg.de/departments/databases-and-information-systems/research/yago-naga/yago/#c10444 yago] with your rdf-style output and be able to answer queries with the added help of the external knowledge base.
+The secondary (non-obligatory) concrete task  is to integrate an external knowledge base like [http://wiki.dbpedia.org/ dbpedia] or [http://conceptnet.io/ conceptnet] or [https://www.mpi-inf.mpg.de/departments/databases-and-information-systems/research/yago-naga/yago/#c10444 yago] with your rdf-style output and be able to answer queries with the added help of the external knowledge base.
 As in the previous lab, for the lab defence/grading you will have to make a short presentation about your results with examples you manage to handle and the examples where you cannot.
@@ 79. rida: / 81. rida: @@
 * Second, write a program which converts this representation to a data/rule file in the otter syntax, using the same conventions and wrapping predicates as you did while processing the English text.
 * When you create a final query file for Otter, you have to add the relevant rows in the created data/rule file to the Otter query file. Since Otter does not manage working with a huge input file, first filter out relevant facts/rule rows. What are the relevant rows? A simple approach is to take these rows which contain uri-s in your own data/rule set created while processing the English text.
 == Examples to use as a starting point ==

←Vanem redaktsioon		Redaktsioon: 3. november 2017, kell 10:10
10. rida:		10. rida:

	The secondary concrete task is to integrate an external knowledge base like [http://wiki.dbpedia.org/ dbpedia] or [http://conceptnet.io/ conceptnet] or [https://www.mpi-inf.mpg.de/departments/databases-and-information-systems/research/yago-naga/yago/#c10444 yago] with your rdf-style output and be able to answer queries with the added help of the external knowledge base.		The secondary concrete task is to integrate an external knowledge base like [http://wiki.dbpedia.org/ dbpedia] or [http://conceptnet.io/ conceptnet] or [https://www.mpi-inf.mpg.de/departments/databases-and-information-systems/research/yago-naga/yago/#c10444 yago] with your rdf-style output and be able to answer queries with the added help of the external knowledge base.
		+
		+	As in the previous lab, for the lab defence/grading you will have to make a short presentation about your results with examples you manage to handle and the examples where you cannot.

	== Administrative ==		== Administrative ==

@@ 65. rida: / 65. rida: @@
 == Integrating with the external knowledge base ==
-Instead of relying on your own handmade rules and facts stated in your processed English, you could
+Instead of relying only on your own handmade rules and facts stated in your processed English, you could
-* use the http://wiki.dbpedia.org/ to get a large amount of real-world facts you could add to your knowledge base.
+use [http://wiki.dbpedia.org/ dbpedia] or [http://conceptnet.io/ conceptnet] or [https://www.mpi-inf.mpg.de/departments/databases-and-information-systems/research/yago-naga/yago/#c10444 yago] to get a large amount of real-world facts and a set of relevant rules automatically.
 This is what you could really get from conceptnet and wordnet and dbpedia: the main purpose why these databases/systems exist.
@@ 75. rida: / 74. rida: @@
 How to integrate dbpedia or conceptnet?
-* First download the large textual representation in json or some other easily processable format.
+* First download the large textual representation in json or some other easily processable format: investigate different download options and try to find relevant ones which you can understand and work with.
 * Second, write a program which converts this representation to a data/rule file in the otter syntax, using the same conventions and wrapping predicates as you did while processing the English text.
 * When you create a final query file for Otter, you have to add the relevant rows in the created data/rule file to the Otter query file. Since Otter does not manage working with a huge input file, first filter out relevant facts/rule rows. What are the relevant rows? A simple approach is to take these rows which contain uri-s in your own data/rule set created while processing the English text.

←Vanem redaktsioon		Redaktsioon: 3. november 2017, kell 09:58
72. rida:		72. rida:

	This is not required to pass the lab, but if you manage to do it (ie. use some of these systems for creating relevant rules and facts automatically) we'll award you more points!		This is not required to pass the lab, but if you manage to do it (ie. use some of these systems for creating relevant rules and facts automatically) we'll award you more points!
		+
		+	How to integrate dbpedia or conceptnet?
		+
		+	* First download the large textual representation in json or some other easily processable format.
		+	* Second, write a program which converts this representation to a data/rule file in the otter syntax, using the same conventions and wrapping predicates as you did while processing the English text.
		+	* When you create a final query file for Otter, you have to add the relevant rows in the created data/rule file to the Otter query file. Since Otter does not manage working with a huge input file, first filter out relevant facts/rule rows. What are the relevant rows? A simple approach is to take these rows which contain uri-s in your own data/rule set created while processing the English text.

	== Examples to use as a starting point ==		== Examples to use as a starting point ==