Wiki-ch2 - Revision history

Manfred: /* Models */

2023-04-19T12:07:03Z

Models

← Older revision		Revision as of 12:07, 19 April 2023
Line 23:		Line 23:
	* Universe: ''U'' = {''LittleRedRidingHood'', ''Grandmother'', ''Wolf''}		* Universe: ''U'' = {''LittleRedRidingHood'', ''Grandmother'', ''Wolf''}
	* Name symbols: '''NAME''' = {'''little-red-riding-hood'''}<br>Note: In our model, only one individual has a name.		* Name symbols: '''NAME''' = {'''little-red-riding-hood'''}<br>Note: In our model, only one individual has a name.
	* Predicate symbols: '''PREDICATE''' = {'''red-hood1''', '''female1''', '''big-~~mouth~~''', '''live-in-forest1''', '''grand-child-of2''', '''afternoon-snack-of2'''}		* Predicate symbols: '''PREDICATE''' = {'''red-hood1''', '''female1''', '''big-mouth1''', '''live-in-forest1''', '''grand-child-of2''', '''afternoon-snack-of2'''}
	* Interpretation function I:		* Interpretation function I:
	:* for name symbols: I('''little-red-riding-hood''') = ''LittleRedRidingHood''		:* for name symbols: I('''little-red-riding-hood''') = ''LittleRedRidingHood''

Manfred: /* Models */

2023-04-19T12:06:05Z

Models

← Older revision		Revision as of 12:06, 19 April 2023
Line 28:		Line 28:
	:* for predicate symbols:<br>		:* for predicate symbols:<br>
	:: I('''red-hood1''') = ''RedHood'' = { < ''x''> \| ''x'' wears a read hood } = { <''LittleRedRidingHood''> }		:: I('''red-hood1''') = ''RedHood'' = { < ''x''> \| ''x'' wears a read hood } = { <''LittleRedRidingHood''> }
	:: I('''~~female~~''') = ''Female'' = { <''x''> \| ''x'' is female } = { <''LittleRedRidingHood''>, <''Grandmother''> }		:: I('''female1''') = ''Female'' = { <''x''> \| ''x'' is female } = { <''LittleRedRidingHood''>, <''Grandmother''> }
	:: I('''big-mouth1''') = ''BigMouth'' = { <''x''> \| ''x'' has a big mouth } = { <''Wolf''> }		:: I('''big-mouth1''') = ''BigMouth'' = { <''x''> \| ''x'' has a big mouth } = { <''Wolf''> }
	:: I('''live-in-forest1''') = ''LiveInForest'' = { < ''x''> \| ''x'' lives in the forest } = { <''Grandmother''>, <''Wolf''>}		:: I('''live-in-forest1''') = ''LiveInForest'' = { < ''x''> \| ''x'' lives in the forest } = { <''Grandmother''>, <''Wolf''>}

Manfred: /* Models */

2023-04-19T10:50:11Z

Models

← Older revision		Revision as of 10:50, 19 April 2023
Line 9:		Line 9:
	<embedvideo service="youtube" dimensions="400">http://youtu.be/4a3mXelw7H4</embedvideo>		<embedvideo service="youtube" dimensions="400">http://youtu.be/4a3mXelw7H4</embedvideo>

	Based on this podcast, we can define a ~~model~~ as follows:		Based on this podcast, we can define a scenario as follows:
			* Universe: ''U'' = {''LittleRedRidingHood'', ''Grandmother'', ''Wolf''}<br />
			* Properties:
			:: ''RedHood'' = { < ''x''> \| ''x'' wears a read hood } = { <''LittleRedRidingHood''> }
			:: ''Female'' = { <''x''> \| ''x'' is female } = { <''LittleRedRidingHood''>, <''Grandmother''> }
			:: ''BigMouth'' = { <''x''> \| ''x'' has a big mouth } = { <''Wolf''> }
			:: ''LiveInForest'' = { < ''x''> \| ''x'' lives in the forest } = { <''Grandmother''>, <''Wolf''>}
			* Relations:
			:: ''GrandChildOf'' = { <''x'',''y''> \| ''x'' is ''y'' 's grandchild } = { <''LittleRedRidingHood'',''Grandmother'' > }
			:: ''AfternoonSnackOf'' = { <''x'',''y''> \| ''x'' is ''y'' 's afternoon snack } = { <''LittleRedRidingHood'',''Wolf'' > }

	* Universe: ''U'' = {''LittleRedRidingHood'', ''Grandmother'', ''Wolf''}<br />		From this scenario, we can build a model ''M'' = < ''U'', I >
	* ~~Properties~~: <br />''red-~~hood~~'' = { < ''x''> \| ''x'' wears a read hood } = { <''LittleRedRidingHood''> }~~<br />~~''female'' = { <''x''> \| ''x'' is female } = { <''LittleRedRidingHood''>, <''Grandmother''> }~~<br />~~''big-~~mouth~~'' = { <''x''> \| ''x'' has a big mouth } = { <''Wolf''> }~~<br />~~''live-in-~~forest~~'' = { < ''x''> \| ''x'' lives in the forest } = { <''Grandmother''>, <''Wolf''>}~~<br />~~		* Universe: ''U'' = {''LittleRedRidingHood'', ''Grandmother'', ''Wolf''}
	* Relations:~~<br />~~ ''grand-child-of'' = { <''x'',''y''> \| ''x'' is ''y'' 's grandchild } = { <''LittleRedRidingHood'',''Grandmother'' > }~~<br />~~''afternoon-snack-of'' = { <''x'',''y''> \| ''x'' is ''y'' 's afternoon snack } = { <''LittleRedRidingHood'',''Wolf'' > }		* Name symbols: '''NAME''' = {'''little-red-riding-hood'''}<br>Note: In our model, only one individual has a name.
			* Predicate symbols: '''PREDICATE''' = {'''red-hood1''', '''female1''', '''big-mouth''', '''live-in-forest1''', '''grand-child-of2''', '''afternoon-snack-of2'''}
			* Interpretation function I:
			:* for name symbols: I('''little-red-riding-hood''') = ''LittleRedRidingHood''
			:* for predicate symbols:<br>
			:: I('''red-hood1''') = ''RedHood'' = { < ''x''> \| ''x'' wears a read hood } = { <''LittleRedRidingHood''> }
			:: I('''female''') = ''Female'' = { <''x''> \| ''x'' is female } = { <''LittleRedRidingHood''>, <''Grandmother''> }
			:: I('''big-mouth1''') = ''BigMouth'' = { <''x''> \| ''x'' has a big mouth } = { <''Wolf''> }
			:: I('''live-in-forest1''') = ''LiveInForest'' = { < ''x''> \| ''x'' lives in the forest } = { <''Grandmother''>, <''Wolf''>}
			:: I('''grand-child-of2''') = ''GrandChildOf'' = { <''x'',''y''> \| ''x'' is ''y'' 's grandchild } = { <''LittleRedRidingHood'',''Grandmother'' > }
			:: I('''afternoon-snack-of2''') = ''AfternoonSnackOf'' = { <''x'',''y''> \| ''x'' is ''y'' 's afternoon snack } = { <''LittleRedRidingHood'',''Wolf'' > }

	= Atomic formulae =		= Atomic formulae =

Manfred: /* Videos with example computations */

2019-10-13T15:46:37Z

Videos with example computations

← Older revision		Revision as of 15:46, 13 October 2019
Line 92:		Line 92:
	<embedvideo service="youtube" dimensions="400">http://www.youtube.com/watch?v=ZWdltj5Mqdc</embedvideo>		<embedvideo service="youtube" dimensions="400">http://www.youtube.com/watch?v=ZWdltj5Mqdc</embedvideo>


	~~= Videos with example computations =~~

	== Formulae with connectives ==		== Formulae with connectives ==
Line 113:		Line 111:

	<embedvideo service="youtube" dimensions="400">http://youtu.be/C1rjU104R54</embedvideo>		<embedvideo service="youtube" dimensions="400">http://youtu.be/C1rjU104R54</embedvideo>


	= Logical determiners/quantifiers =		= Logical determiners/quantifiers =

Manfred at 15:45, 13 October 2019

2019-10-13T15:45:40Z

@@ Line 1: / Line 1: @@
-= Additional Wiki pages for Chapter 2 =
+<!-- = Additional Wiki pages for Chapter 2 = -->
-== Models ==
+= Models =
 {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:IsaB|Isabelle]].
@@ Line 14: / Line 14: @@
 * Properties: <br />''red-hood'' = { < ''x''> | ''x'' wears a read hood } = { <''LittleRedRidingHood''> }<br />''female'' = { <''x''> | ''x'' is female } = { <''LittleRedRidingHood''>, <''Grandmother''> }<br />''big-mouth'' = { <''x''> | ''x'' has a big mouth } = { <''Wolf''> }<br />''live-in-forest'' = { < ''x''> | ''x'' lives in the forest } = { <''Grandmother''>, <''Wolf''>}<br />
 * Relations:<br /> ''grand-child-of'' = { <''x'',''y''> | ''x'' is ''y'' 's grandchild } = { <''LittleRedRidingHood'',''Grandmother'' > }<br />''afternoon-snack-of'' = { <''x'',''y''> | ''x'' is ''y'' 's afternoon snack } = { <''LittleRedRidingHood'',''Wolf'' > }
 == Truth tables ==
@@ Line 81: / Line 94: @@
 = Videos with example computations =
 == Formulae with connectives ==

Manfred: /* Logical determiners/quantifiers */

2016-04-25T21:39:27Z

Logical determiners/quantifiers

← Older revision		Revision as of 21:39, 25 April 2016
Line 114:		Line 114:
	= Logical determiners/quantifiers =		= Logical determiners/quantifiers =

	Video introducing determiners into our logical language.		Video introducing determiners into our logical language. (The video is based on the scenario of ''Romeo and Juliett''.)

	<embedvideo service="youtube" dimensions="400">http://youtu.be/5PRL23XcaFY</embedvideo>		<embedvideo service="youtube" dimensions="400">http://youtu.be/5PRL23XcaFY</embedvideo>

Manfred: /* Logical determiners/quantifiers */

2016-04-25T21:38:15Z

Logical determiners/quantifiers

← Older revision		Revision as of 21:38, 25 April 2016
Line 113:		Line 113:

	= Logical determiners/quantifiers =		= Logical determiners/quantifiers =

			Video introducing determiners into our logical language.

	<embedvideo service="youtube" dimensions="400">http://youtu.be/5PRL23XcaFY</embedvideo>		<embedvideo service="youtube" dimensions="400">http://youtu.be/5PRL23XcaFY</embedvideo>

Suzanne at 18:31, 3 April 2016

2016-04-03T18:31:00Z

← Older revision		Revision as of 18:31, 3 April 2016
Line 7:		Line 7:
	Watch a short podcast what first-order models look like.		Watch a short podcast what first-order models look like.

	<~~mediaplayer~~>http://youtu.be/4a3mXelw7H4</~~mediaplayer~~>		<embedvideo service="youtube" dimensions="400">http://youtu.be/4a3mXelw7H4</embedvideo>

	Based on this podcast, we can define a model as follows:		Based on this podcast, we can define a model as follows:
Line 77:		Line 77:
	This is shown in the following podcast, created by [[User:Lisa\|Lisa Günthner]].		This is shown in the following podcast, created by [[User:Lisa\|Lisa Günthner]].

	<~~mediaplayer~~>http://www.youtube.com/watch?v=ZWdltj5Mqdc</~~mediaplayer~~>		<embedvideo service="youtube" dimensions="400">http://www.youtube.com/watch?v=ZWdltj5Mqdc</embedvideo>


Line 90:		Line 90:
	* '''kill(lady-macbeth,macbet)'''		* '''kill(lady-macbeth,macbet)'''

	<~~mediaplayer~~>http://youtu.be/8HGCB9urmbg</~~mediaplayer~~>		<embedvideo service="youtube" dimensions="400">http://youtu.be/8HGCB9urmbg</embedvideo>

	== Formulae with connectives ==		== Formulae with connectives ==
Line 100:		Line 100:
	* '''king(duncan) &or; king(lady-macbeth)'''		* '''king(duncan) &or; king(lady-macbeth)'''

	<~~mediaplayer~~>http://youtu.be/ABXPMzHFYxU</~~mediaplayer~~>		<embedvideo service="youtube" dimensions="400">http://youtu.be/ABXPMzHFYxU</embedvideo>
	<!-- https://www.youtube.com/watch?v=K14D7VllA8M -->		<!-- https://www.youtube.com/watch?v=K14D7VllA8M -->

Line 109:		Line 109:
	The video shows two different methods: top down and bottom up.		The video shows two different methods: top down and bottom up.

	<~~mediaplayer~~>http://youtu.be/C1rjU104R54</~~mediaplayer~~>		<embedvideo service="youtube" dimensions="400">http://youtu.be/C1rjU104R54</embedvideo>


	= Logical determiners/quantifiers =		= Logical determiners/quantifiers =

	<~~mediaplayer~~> http://youtu.be/5PRL23XcaFY</~~mediaplayer~~>		<embedvideo service="youtube" dimensions="400">http://youtu.be/5PRL23XcaFY</embedvideo>
	<!-- old video with less optimal audio: http://youtu.be/b0iLejXP9C8 -->		<!-- old video with less optimal audio: http://youtu.be/b0iLejXP9C8 -->

Manfred: /* Logical determiners/quantifiers */

2015-04-27T21:45:20Z

Logical determiners/quantifiers

← Older revision		Revision as of 21:45, 27 April 2015
Line 110:		Line 110:

	<mediaplayer>http://youtu.be/C1rjU104R54</mediaplayer>		<mediaplayer>http://youtu.be/C1rjU104R54</mediaplayer>


	= Logical determiners/quantifiers =		= Logical determiners/quantifiers =
Line 115:		Line 116:
	<mediaplayer> http://youtu.be/5PRL23XcaFY</mediaplayer>		<mediaplayer> http://youtu.be/5PRL23XcaFY</mediaplayer>
	<!-- old video with less optimal audio: http://youtu.be/b0iLejXP9C8 -->		<!-- old video with less optimal audio: http://youtu.be/b0iLejXP9C8 -->


	= Links =		= Links =

Manfred: /* Links */

2015-04-27T21:16:30Z

Links

← Older revision		Revision as of 21:16, 27 April 2015
Line 110:		Line 110:

	<mediaplayer>http://youtu.be/C1rjU104R54</mediaplayer>		<mediaplayer>http://youtu.be/C1rjU104R54</mediaplayer>

			= Logical determiners/quantifiers =

			<mediaplayer> http://youtu.be/5PRL23XcaFY</mediaplayer>
			<!-- old video with less optimal audio: http://youtu.be/b0iLejXP9C8 -->


	= Links =		= Links =

← Older revision		Revision as of 12:06, 19 April 2023
Line 28:		Line 28:
	:* for predicate symbols:<br>		:* for predicate symbols:<br>
	:: I('''red-hood1''') = ''RedHood'' = { < ''x''> \| ''x'' wears a read hood } = { <''LittleRedRidingHood''> }		:: I('''red-hood1''') = ''RedHood'' = { < ''x''> \| ''x'' wears a read hood } = { <''LittleRedRidingHood''> }
	:: I('''~~female~~''') = ''Female'' = { <''x''> \| ''x'' is female } = { <''LittleRedRidingHood''>, <''Grandmother''> }		:: I('''female1''') = ''Female'' = { <''x''> \| ''x'' is female } = { <''LittleRedRidingHood''>, <''Grandmother''> }
	:: I('''big-mouth1''') = ''BigMouth'' = { <''x''> \| ''x'' has a big mouth } = { <''Wolf''> }		:: I('''big-mouth1''') = ''BigMouth'' = { <''x''> \| ''x'' has a big mouth } = { <''Wolf''> }
	:: I('''live-in-forest1''') = ''LiveInForest'' = { < ''x''> \| ''x'' lives in the forest } = { <''Grandmother''>, <''Wolf''>}		:: I('''live-in-forest1''') = ''LiveInForest'' = { < ''x''> \| ''x'' lives in the forest } = { <''Grandmother''>, <''Wolf''>}