Add and use uncertainty in rules - Redigeerimiste ajalugu

Tammet – 27. aprill 2022, kell 12:07

2022-04-27T12:07:16Z

←Vanem redaktsioon		Redaktsioon: 27. aprill 2022, kell 14:07
25. rida:		25. rida:

	* [[geodata wars and castles]]: built this during 20 April prax.		* [[geodata wars and castles]]: built this during 20 April prax.
			* [[geodata tourism city]]: built this during 27 April prax. Also used the strategy
			<pre>
			{
			"strategy":["query_focus"],
			"query_preference": 1,
			"independence": 100,
			"equality":0,
			"max_answers": 20
			}
			</pre>
			and the command line
			<pre>
			./gk_07 geodata.js proveevents.js -strategy strategy3.js -seconds 100
			</pre>

Tammet – 20. aprill 2022, kell 12:37

2022-04-20T12:37:32Z

←Vanem redaktsioon		Redaktsioon: 20. aprill 2022, kell 14:37
21. rida:		21. rida:

	Additionally, it helpful to have a look at the [https://dtai.cs.kuleuven.be/problog/tutorial.html Problog tutorial]: a somewhat similar system for confidences.		Additionally, it helpful to have a look at the [https://dtai.cs.kuleuven.be/problog/tutorial.html Problog tutorial]: a somewhat similar system for confidences.

			Useful examples built on our geodata:

			* [[geodata wars and castles]]: built this during 20 April prax.

Tammet – 12. aprill 2022, kell 06:50

2022-04-12T06:50:39Z

←Vanem redaktsioon		Redaktsioon: 12. aprill 2022, kell 08:50
1. rida:		1. rida:
	Here are just the initial instructions: further details will be added during and after explanatory lecture at 12. April and practical work at 13. April.		Here are just the initial instructions: further details will be added during and after explanatory lecture at 12. April and practical work at 13. April.

	Your task is to ~~use~~ numeric confidences and exceptions in rules and ask questions so that these are sensibly used.		Your task is to experiment with using numeric confidences and exceptions in rules and ask questions so that these are sensibly used.

	To do this, you need to:		To do this, you need to:

Tammet – 12. aprill 2022, kell 06:49

2022-04-12T06:49:34Z

←Vanem redaktsioon		Redaktsioon: 12. aprill 2022, kell 08:49
18. rida:		18. rida:

	* For confidences read [https://link.springer.com/chapter/10.1007/978-3-030-79876-5_29 the paper] and look at the examples at [https://logictools.org/confer/ confer web page]		* For confidences read [https://link.springer.com/chapter/10.1007/978-3-030-79876-5_29 the paper] and look at the examples at [https://logictools.org/confer/ confer web page]
	* For exceptions look at the [https://logictools.org/gk/ gk web page] with the gk reasoner and a wealth of examples.		* For exceptions read [http://dijkstra.cs.ttu.ee/~tammet/Implementing_Default_Logic.pdf the draft paper] and look at the [https://logictools.org/gk/ gk web page] with the gk reasoner and a wealth of examples.

	Additionally, it helpful to have a look at the [https://dtai.cs.kuleuven.be/problog/tutorial.html Problog tutorial]: a somewhat similar system for confidences.		Additionally, it helpful to have a look at the [https://dtai.cs.kuleuven.be/problog/tutorial.html Problog tutorial]: a somewhat similar system for confidences.

Tammet – 12. aprill 2022, kell 06:46

2022-04-12T06:46:25Z

←Vanem redaktsioon		Redaktsioon: 12. aprill 2022, kell 08:46
17. rida:		17. rida:
	How to give confidences/exceptions and how to get answers?		How to give confidences/exceptions and how to get answers?

	* For confidences read ~~the recently~~ [~~http~~://~~dijkstra.cs~~.~~ttu~~.ee/~~~tammet~~/~~confer~~.~~pdf submitted~~ paper] and look at the examples at [https://logictools.org/confer/ confer web page]		* For confidences read [https://link.springer.com/chapter/10.1007/978-3-030-79876-5_29 the paper] and look at the examples at [https://logictools.org/confer/ confer web page]
	* For exceptions look at the [https://logictools.org/gk/ gk web page] with the gk reasoner and a wealth of examples.		* For exceptions look at the [https://logictools.org/gk/ gk web page] with the gk reasoner and a wealth of examples.

	Additionally, it helpful to have a look at the [https://dtai.cs.kuleuven.be/problog/tutorial.html Problog tutorial]: a somewhat similar system for confidences.		Additionally, it helpful to have a look at the [https://dtai.cs.kuleuven.be/problog/tutorial.html Problog tutorial]: a somewhat similar system for confidences.

Tammet: Uus lehekülg: 'Here are just the initial instructions: further details will be added during and after explanatory lecture at 12. April and practical work at 13. April. Your task is to use nume...'

2022-04-12T06:45:05Z

Uus lehekülg: 'Here are just the initial instructions: further details will be added during and after explanatory lecture at 12. April and practical work at 13. April. Your task is to use nume...'

Uus lehekülg

Here are just the initial instructions: further details will be added during and after explanatory lecture at 12. April and practical work at 13. April.

Your task is to use numeric confidences and exceptions in rules and ask questions so that these are sensibly used.

To do this, you need to:

* Augment some of your existing (uncertain) rules/facts with numeric confidences,
* Add some new sensible uncertain rules/facts with numeric confidences,
* Augment some of your existing (uncertain) rules/facts with exceptions,
* Add some new sensible uncertain rules/facts with exceptions,
* Ask questions which use these enhanced rules/facts in a sensible way.
* Give a presentation with the example queries, results and explanations of the rules/facts.

Use the [https://logictools.org/gk/ gk reasoner for these experiments].
Currently only a Linux version of the gk reasoner is available. Please use wsl or a linux server for experiments.

How to give confidences/exceptions and how to get answers?

* For confidences read the recently [http://dijkstra.cs.ttu.ee/~tammet/confer.pdf submitted paper] and look at the examples at [https://logictools.org/confer/ confer web page]
* For exceptions look at the [https://logictools.org/gk/ gk web page] with the gk reasoner and a wealth of examples.

Additionally, it helpful to have a look at the [https://dtai.cs.kuleuven.be/problog/tutorial.html Problog tutorial]: a somewhat similar system for confidences.