% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % File: workers.dtr % % Purpose: simple examples of local and global inheritance % % Authors: Gerald Gazdar & Roger Evans, 19 August 1989 % % Email: geraldg@cogs.sussex.ac.uk, Roger.Evans@itri.bton.ac.uk % % Address: COGS, Sussex University, Brighton BN1 9QH, UK % % ITRI, Univ. Brighton, Lewes Road, Brighton BN2 4GJ, UK % % Documentation: see reference cited below % % Related files: wessex.dtr % % Version: 2.01 % % Copyright (c) University of Sussex 1989. All rights reserved. % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % The seven rules of inference used in the proofs below follow the numbering % given in Evans & Gazdar (1989) "Inference in DATR", 4th EACL Proc., 66-71. %___________________________________________________________________________% % EXAMPLE 1 -- UNQUOTED PATH AND UNQUOTED NODE INTERACTION Blue_collar1: == 10 % 1 == . % 2 Security_guard1: == 12 % 3 == Blue_collar1. % 4 % Some theorems % % Blue_collar1: == 10. % 5 from 1 & 2 by IV % Blue_collar1: = 10. % 6 from 5 by I % Security_guard1: == 10. % 7 from 4 & 5 by III % Security_guard1: = 10. % 8 from 7 by I %___________________________________________________________________________% % EXAMPLE 2 -- QUOTED PATH AND UNQUOTED NODE INTERACTION Blue_collar2: == 10 % 1 == "". % 2 Security_guard2: == 12 % 3 == Blue_collar2. % 4 % Some theorems % % Blue_collar2: = 10. % 5 from 1 by I % Blue_collar2: = 10. % 6 from 2 & 5 by VII % Security_guard2: = 12. % 7 from 3 by I % Security_guard2: == "". % 8 from 2 & 4 by III % Security_guard2: = 12. % 9 from 7 & 8 by VII % % The only difference between the premises of examples 1 and 2 is that the % path in the second premise of the latter is quoted. This changes the % result that you get for the security guard's night rate. %___________________________________________________________________________% % EXAMPLE 3 -- UNQUOTED NODE AND QUOTED NODE:PATH PAIR INTERACTION Blue_collar3: == 10 % 1 == 12. % 2 Janitor3: == Blue_collar3. % 3 Security_guard3: == "Janitor3:". % 4 % Some theorems % % Janitor3: == 10. % 5 from 1 & 3 by III % Janitor3: = 10. % 6 from 5 by I % Security_guard3: = 10. % 7 from 4 & 6 by V %___________________________________________________________________________% % EXAMPLE 4 -- QUOTED NODE AND UNQUOTED NODE:PATH PAIR INTERACTION Blue_collar4: == 10 % 1 == 12. % 2 Janitor4: == "Blue_collar4". % 3 Security_guard4: == Janitor4:. % 4 % Some theorems % % Blue_collar4: = 10. % 5 from 1 by I % Janitor4: = 10. % 6 from 3 & 5 by VI % Security_guard4: % == "Blue_collar4". % 7 from 3 & 4 by II % Blue_collar4: = 12. % 8 from 2 by I % Security_guard4: = 12. % 9 from 7 & 8 by VI % % Example 4 is like example 3 except that the former has the node in % the third premise quoted, whereas the latter has the node:path pair % in the fourth premise quoted. This difference is reflected in the % result that you get for the security guard's night rate. %___________________________________________________________________________% % EXAMPLE 5 -- QUOTED PATH AND QUOTED NODE INTERACTION Blue_collar5: == 10 % 1 == "". % 2 Security_guard5: == 12 % 3 == "Blue_collar5". % 4 % Some theorems % % Blue_collar5: = 10. % 5 from 1 by I % Blue_collar5: = 10. % 6 from 2 & 5 by VII % Security_guard5: = 10. % 7 from 4 & 6 by VI % % The only difference between the premises of examples 2 and 5 is that the % node in the fourth premise of the latter is quoted. This changes the % result that you get for the security guard's night rate. %___________________________________________________________________________% % EXAMPLE 6 -- UNQUOTED NODE AND UNQUOTED NODE:PATH PAIR INTERACTION Blue_collar6: == 10 % 1 == 12. % 2 Janitor6: == Blue_collar6. % 3 Security_guard6: == Janitor6:. % 4 % Some theorems % % Janitor6: == 10. % 5 from 1 & 3 by III % Janitor6: = 10. % 6 from 5 by I % Security_guard6: == 10. % 7 from 4 & 5 by II % Security_guard6: = 10. % 8 from 7 by I % % The only difference between the premises of examples 4 and 6 is that the % node in the third premise of the latter is unquoted. This changes the % result that you get for the security guard's night rate. %___________________________________________________________________________% % EXAMPLE 7 -- QUOTED NODE AND QUOTED NODE:PATH PAIR INTERACTION Blue_collar7: == 10 % 1 == 12. % 2 Janitor7: == "Blue_collar7". % 3 Security_guard7: == "Janitor7:". % 4 % Some theorems % % Blue_collar7: = 10. % 5 from 1 by I % Janitor7: = 10. % 6 from 3 & 5 by VI % Security_guard7: = 10. % 7 from 4 & 6 by V % % The only difference between the premises of examples 4 and 7 is that the % node:path pair in the fourth premise of the latter is quoted. This changes % the result that you get for the security guard's night rate. %___________________________________________________________________________% # show . % The next line is the Revision Control System Id: do not delete it. % $Id: archive.dtr,v 1.1 1997/04/09 20:40:33 root Exp $