Commonsense rules development - Redigeerimiste ajalugu

Tammet – 22. detsember 2021, kell 12:10

2021-12-22T12:10:36Z

2021-12-16T12:10:38Z

Finding the predicates

←Vanem redaktsioon		Redaktsioon: 16. detsember 2021, kell 14:10
64. rida:		64. rida:


	=== ~~Finding~~ the predicates ===		=== Identifying the predicates ===

	(From Jurafsky: 15.4 "Event and State Representation")		(From Jurafsky: 15.4 "Event and State Representation")

2021-12-16T12:10:10Z

Finding the predicates

←Vanem redaktsioon		Redaktsioon: 16. detsember 2021, kell 14:10
66. rida:		66. rida:
	=== Finding the predicates ===		=== Finding the predicates ===

	From Jurafsky: 15.4 "Event and State Representation"		(From Jurafsky: 15.4 "Event and State Representation")

	# Events are captured with predicates that take single event variable as an argument. Events are denoted by verbs.		# Events are captured with predicates that take single event variable as an argument. Events are denoted by verbs.

2021-12-16T12:09:57Z

High level steps for constructing a logical form

←Vanem redaktsioon		Redaktsioon: 16. detsember 2021, kell 14:09
62. rida:		62. rida:
	# Specifying quantifers for the variables.		# Specifying quantifers for the variables.
	# Constructing the final FOL formula.		# Constructing the final FOL formula.


			=== Finding the predicates ===

			From Jurafsky: 15.4 "Event and State Representation"

			# Events are captured with predicates that take single event variable as an argument. Events are denoted by verbs.
			# There is no need to specifiy a fixed number of arguments for a given FOL predicate: as many roles and fillers can be glued on
			# No more roles are postulated than are mentioned in input.
			# The logical connections between closely related inputs that share same predicate are satisfied without the need for additional inference.
			# Syntactic arguments form the arguments of semantic predicates.

2021-12-16T12:08:10Z

High level steps for constructing logical form

←Vanem redaktsioon		Redaktsioon: 16. detsember 2021, kell 14:08
48. rida:		48. rida:


	== High level steps for constructing logical form ==		== High level steps for constructing a logical form ==

	Construction of logical form consists of the following steps:		Construction of logical form consists of the following steps:

	# Finding predicates and specify their arguments (number, type)		# Finding predicates and specify their arguments (number, type)
	~~1.1~~ Concepts and events - predicate/1		## Concepts and events - predicate/1
	~~1.2~~ Roles - predicate/2		## Roles - predicate/2
	# Constructing corresponding atoms		# Constructing corresponding atoms
	# Dividing atoms on same level into groups		# Dividing atoms on same level into groups

2021-12-16T12:07:44Z

High level steps for constructing logical form

←Vanem redaktsioon		Redaktsioon: 16. detsember 2021, kell 14:07
52. rida:		52. rida:
	Construction of logical form consists of the following steps:		Construction of logical form consists of the following steps:

	1. Finding predicates and specify their arguments (number, type)		# Finding predicates and specify their arguments (number, type)
	1.1 Concepts and events - predicate/1		1.1 Concepts and events - predicate/1
	1.2 Roles - predicate/2		1.2 Roles - predicate/2
	2. Constructing corresponding atoms		# Constructing corresponding atoms
	3. Dividing atoms on same level into groups		# Dividing atoms on same level into groups
	4. Specifying connectives between atoms of each group and construct corresponding formulas.		# Specifying connectives between atoms of each group and construct corresponding formulas.
	5. Dividing formulas and/or any of the remaining atoms of the same level into groups. If there are no groups go to step 7		# Dividing formulas and/or any of the remaining atoms of the same level into groups. If there are no groups go to step 7
	6. Specifyng connectives between elements of each group		# Specifyng connectives between elements of each group
	7. Specifying quantifers for the variables.		# Specifying quantifers for the variables.
	8. Constructing the final FOL formula.		# Constructing the final FOL formula.

2021-12-16T12:06:45Z

←Vanem redaktsioon		Redaktsioon: 16. detsember 2021, kell 14:06
46. rida:		46. rida:

	This example does not fully make sense yet, since the event itself lacks context. Work in progress.		This example does not fully make sense yet, since the event itself lacks context. Work in progress.


			== High level steps for constructing logical form ==

			Construction of logical form consists of the following steps:

			1. Finding predicates and specify their arguments (number, type)
			1.1 Concepts and events - predicate/1
			1.2 Roles - predicate/2
			2. Constructing corresponding atoms
			3. Dividing atoms on same level into groups
			4. Specifying connectives between atoms of each group and construct corresponding formulas.
			5. Dividing formulas and/or any of the remaining atoms of the same level into groups. If there are no groups go to step 7
			6. Specifyng connectives between elements of each group
			7. Specifying quantifers for the variables.
			8. Constructing the final FOL formula.

2021-12-08T14:55:24Z

←Vanem redaktsioon		Redaktsioon: 8. detsember 2021, kell 16:55
41. rida:		41. rida:
	be(X, X).		be(X, X).

	''Proposal'' SVO triples can be connected to events like this:		'''Proposal''' SVO triples can be connected to events like this:

	ovs(Z, Y, X) & event_type(Y, W) & event_subject(X, W) => event_object(Z, W).		ovs(Z, Y, X) & event_type(Y, W) & event_subject(X, W) => event_object(Z, W).

	This example does not fully make sense yet, since the event itself lacks context. Work in progress.		This example does not fully make sense yet, since the event itself lacks context. Work in progress.

2021-12-08T11:54:39Z

←Vanem redaktsioon		Redaktsioon: 8. detsember 2021, kell 13:54
1. rida:		1. rida:
	A place to develop and maintain commonsense rules for quasimodo etc.		A place to develop and maintain commonsense rules for quasimodo etc.

			= Static knowledge encoding =

			Description of current Quasimodo/ConceptNet encoding coming soon

			= Event encoding =

			We use Neo-Davidsonian encoding with semantic roles:

			* actor (subject)
			* patient (object)
			* ...

			Event type is the verb that describes the event.

			Example: "Brutus stabbed Caesar in the agora"

			event_subject(brutus, ev1).
			event_object(caesar, ev1).
			event_type(stab, ev1).
			event_location(agora, ev1).

			== Connecting Static Knowledge to Events ==

			This is mostly unsolved. This minimal example may help get things started:

			"Did grape juice turn into wine?"

			event_subject(grape_juice, ev1).
			event_type(turn_into, ev1).

			There are multiple ways of encoding that this is a question, for example:

			event_object(wine, ev1) => $ans(yes).

			Assuming we have commonsense knowledge about fermenting grape juice:

			be(grape_juice, X) => ovs(wine, turn_into, X).
			% reflexivity
			be(X, X).

			''Proposal'' SVO triples can be connected to events like this:

			ovs(Z, Y, X) & event_type(Y, W) & event_subject(X, W) => event_object(Z, W).

			This example does not fully make sense yet, since the event itself lacks context. Work in progress.

2021-12-01T12:35:33Z

Uus lehekülg: 'A place to develop and maintain commonsense rules for quasimodo etc.'

Uus lehekülg

A place to develop and maintain commonsense rules for quasimodo etc.