Semantics - Example -

1
Semantics- Example -
2
Semantics Example I
Logic for 'Flakey' Constants Karen, John, Flakey,
Hall, Kurt, f1, o1, o2 Predicates R binary S
binary Functions F unary Proper Axioms ?x,y
R(x,y) ? F(x)F(y)
3
Semantics Example I
Domain 'Flakey' Objects D Karen Meyers, John
Bear, Flakey, Hall, Kurt Konolidge, the file,
office-1, office-2 Relations has (Karen
Meyers, the file) office (John Bear,
office-1), (Karen Meyers,
office-2) Functions f ? f(Karen
Meyers)office-2, f(Flakey)Hall, f(John
Bear)office-1, f(the file)office-2
4
Semantics Example I
Interpretation for Domain 'Flakey' I (c) for
Karen, John, Flakey, Hall, Kurt, f1, o1, o2
obvious mapping onto D with Karen Meyers,
John Bear, Flakey, Hall, Kurt Konolidge, the
file, office-1, office-2 I (R) has (Karen
Meyers, the file) I (S) office (John Bear,
office-1), (Karen Meyers, office-2) I (F)
f ? f(Karen Meyers)office-2, f(Flakey)Hall,
f(John Bear)office-1, f(the file)office-2

5
Semantics Example I
Is the 'Flakey' Domain a Model for the Proper
Axiom? ?x,y R(x,y) ? F(x)F(y) D Karen
Meyers, John Bear, Flakey, Hall, Kurt
Konolidge, the file, office-1, office-2 I (R)
has (Karen Meyers, the file) I (S) office
(John Bear, office-1), (Karen Meyers,
office-2) I (F) f(Karen Meyers)office-2,
f(Flakey)Hall, f(John Bear)office-1, f(the
file)office-2