Automated reasoning homework 2015 - Redigeerimiste ajalugu

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

2015-11-17T17:16:44Z

Examples to use as a starting point

2015-11-17T16:34:43Z

Example code

2015-11-17T16:33:59Z

2015-11-17T16:31:44Z

Examples to use as a starting point

2015-11-17T16:28:04Z

Examples to use as a starting point

2015-11-17T15:47:14Z

2015-11-10T08:58:21Z

What you have to do

2015-11-09T17:11:19Z

2015-11-09T16:38:56Z

How to create the Otter file and use the output

2015-11-09T16:36:17Z

@@ 78. rida: / 78. rida: @@
 * [[Ask a query about Obama]]
 * [[Output of first lab converted to second lab]] with a few rules added: can derive that Hyatt has type hotel and Obama is rich. [[Here is otter output of this example]]
 * [[Probabilities and web scraping]] Determine the type of objects using information from a web page and probability-like measures.

←Vanem redaktsioon		Redaktsioon: 17. november 2015, kell 16:34
101. rida:		101. rida:
	== Example code ==		== Example code ==

−	[[lab 2 example code converted to give]] [[Output of first lab converted to second lab]]	+	[[lab 2 example code converted to give]] as a result the [[Output of first lab converted to second lab]]

←Vanem redaktsioon		Redaktsioon: 17. november 2015, kell 16:33
98. rida:		98. rida:

	* Process the myoutput.txt, filtering out derived stuff and/or determine whether the output contains the word PROOF		* Process the myoutput.txt, filtering out derived stuff and/or determine whether the output contains the word PROOF
		+
		+	== Example code ==
		+
		+	[[lab 2 example code converted to give]] [[Output of first lab converted to second lab]]

@@ 77. rida: / 77. rida: @@
 * [[Derive simple information about Obama]]
 * [[Ask a query about Obama]]
-* [[Output of first lab converted to second lab]] with a few rules added: can derive that Hyatt has type hotel and Obama is rich.
+* [[Output of first lab converted to second lab]] with a few rules added: can derive that Hyatt has type hotel and Obama is rich. [[Here is otter output of this example]]
 * [[Probabilities and web scraping]] Determine the type of objects using information from a web page and probability-like measures.

@@ 77. rida: / 77. rida: @@
 * [[Derive simple information about Obama]]
 * [[Ask a query about Obama]]
 * [[Probabilities and web scraping]] Determine the type of objects using information from a web page and probability-like measures.

@@ 1. rida: / 1. rida: @@
 == Automated reasoning homework as a second part of a two-phase project ==
@@ 10. rida: / 14. rida: @@
 == Administrative ==
-Homework defence deadline: 24. November. Presentation afer this deadline will give half of the points. Absolute deadline is 8. December: no submissions will be accepted after that,.
+Homework defence deadline: 1. December. Presentation afer this deadline will give half of the points. Absolute deadline is 8. December: no submissions will be accepted after that,.
 Work should be submitted to git, latest one day before deadline.

@@ 29. rida: / 29. rida: @@
 </pre>
-where the list [http://en.wikipedia.org/wiki/Barack_Obama, http://en.wikipedia.org/wiki/china] means that we do not know
+where the list [ http://en.wikipedia.org/wiki/Barack_Obama, http://en.wikipedia.org/wiki/china ] means that we do not know
 which interpretation is the correct one (the original word was like he,this,she,it,...)

@@ 47. rida: / 47. rida: @@
 * pose a question in otter format
 * run otter to find answer
 If you manage to do that, you will pass.

@@ 85. rida: / 85. rida: @@
 * In case you pose a question, add the negated question in the Otter format.
-* Compile a full intput file by appending
+* Compile the full intput file by appending these parts into a full input file myinput.txt:
 ** the prefix part,
 ** the automatically created rdf data in Otter format,
 ** the commonsense rules and facts: either static handmade rules or rules/facts created automatically from conceptnet/wordnet/dbpedia
 ** the short final part ie end_of_list

@@ 68. rida: / 68. rida: @@
 This is not required for 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 extra points!
-== Examples ==
+== 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
@@ 76. rida: / 76. rida: @@
 * [[Ask a query about Obama]]
 * [[Probabilities and web scraping]] Determine the type of objects using information from a web page and probability-like measures.