Q$4$ Unification

$12$ Points

Grading comment:

Compute the most general unifier $($mgu$)$ for each of the following pairs of atomic sentences, or state that no mgu exists. $($Recall that lowercase letters denote variables, and uppercase letters denote constants.$)$

$($a$)$ Q$($y$,$Gee$($A$,$B$))$Q$($y$,$Gee$($A$,$B$)),$ Q$($Gee$($x$,$x$),$y$)$Q$($Gee$($x$,$x$),$y$)($b$)$ Older$($Father$($y$),$y$)$Older$($Father$($y$),$y$),$ Older$($Father$($x$),$John$)$Older$($Father$($x$),$John$)($c$)$ Knows$($Father$($y$),$y$)$Knows$($Father$($y$),$y$),$ Knows$($x$,$x$)$Knows$($x$,$x$)$

Note: If the mgu does not exist, write $-($a dash$)$ in the blank. This question is autograded.

Question $4\mathrm{.}1$

Q$4\mathrm{.}1$

$2$ Points

Grading comment:

In $($a$),$ xx binds to

$-$

Save Answer

Question $4\mathrm{.}1$:

Last saved on Nov $08$ at $3$:$34$ PM

Question $4\mathrm{.}2$

Q$4\mathrm{.}2$

$2$ Points

Grading comment:

In $($a$),$ yy binds to

$-$

Save Answer

Question $4\mathrm{.}2$:

Last saved on Nov $08$ at $3$:$34$ PM

Question $4\mathrm{.}3$

Q$4\mathrm{.}3$

$2$ Points

Grading comment:

In $($b$),$ xx binds to

John

Save Answer

Question $4\mathrm{.}3$:

Last saved on Nov $08$ at $1$:$22$ PM

Question $4\mathrm{.}4$

Q$4\mathrm{.}4$

$2$ Points

Grading comment:

In $($b$),$ yy binds to

John

Save Answer

Question $4\mathrm{.}4$:

Last saved on Nov $08$ at $1$:$22$ PM

Question $4\mathrm{.}5$

Q$4\mathrm{.}5$

$2$ Points

Grading comment:

In $($c$),$ xx binds to

$-$

Save Answer

Question $4\mathrm{.}5$:

Last saved on Nov $08$ at $3$:$58$ PM

Question $4\mathrm{.}6$

Q$4\mathrm{.}6$

$2$ Points

Grading comment:

In $($c$),$ yy binds to