home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / ai / 4647 < prev    next >
Encoding:
Internet Message Format  |  1992-12-16  |  3.8 KB
  1. Xref: sparky comp.ai:4647 aus.ai:181
  2. Newsgroups: comp.ai,syd.seminar,aus.ai,unsw.general
  3. Path: sparky!uunet!spool.mu.edu!umn.edu!math.fu-berlin.de!informatik.tu-muenchen.de!lrz-muenchen.de!regent!monu1.cc.monash.edu.au!monu6!bruce.cs.monash.edu.au!munnari.oz.au!metro!usage!spectrum!timm
  4. From: timm@spectrum.cs.unsw.oz.au (Tim Menzies)
  5. Subject: UNSW AI SEMINAR 18/12- Eklund on Epistemic Interactive Design
  6. Message-ID: <1992Dec16.031604.25598@usage.csd.unsw.OZ.AU>
  7. Sender: news@usage.csd.unsw.OZ.AU
  8. Nntp-Posting-Host: sorrel.spectrum.cs.unsw.oz.au
  9. Reply-To: timm@spectrum.cs.unsw.oz.au (Tim Menzies)
  10. Organization: none
  11. Distribution: aus
  12. Date: Wed, 16 Dec 1992 03:16:04 GMT
  13. Lines: 79
  14.  
  15.                University of New South Wales
  16.  
  17.          School of Computer Science and Engineering
  18.  
  19.              Artificial Intelligence Laboratory
  20.  
  21.                        Seminar Series
  22. --------------------------------------------------------------
  23.  
  24. TITLE:     An Epistemic Approach to Interactive Design
  25.  
  26. WHO:       Peter Eklund
  27.            Department of Computer Science
  28.            University of Adelaide
  29.            peter@cs.adelaide.edu.au
  30.  
  31. WHEN       1-2pm Friday, December 18, 1992
  32.  
  33.  
  34.                           ABSTRACT
  35.  
  36. The seminar explores the advantages of a marriage between  a
  37. ``mixed  dialogue''  interaction metaphor  and belief logics
  38. and in particular how the two  can  be  used  for   multiple
  39. inheritance  hierarchy  design.   The result is a design aid
  40. which produces critiques of multiple inheritance hierarchies
  41. in  terms of their logical consequences. The work draws on a
  42. number of theoretical  issues  in  artificial  intelligence,
  43. namely  belief  logics  and  multiple inheritance reasoning,
  44. applying ``belief sets'' to  dialogue  and   using  multiple
  45. inheritance hierarchy design as a specific application.
  46.  
  47. The work identifies three design  modes  for  the  interface
  48. which reflect the intuitions of multiple inheritance hierar-
  49. chy design and conform to an  existing  framework  for  user
  50. modeling.   A  major survey  of multiple inheritance hierar-
  51. chies leads to the  allocation   of  a  precise  inheritance
  52. semantics  for  each  of  these design modes.  The semantics
  53. enable a definition of network entailment in each,  and  are
  54. in  turn  used to determine the translation from inheritance
  55. networks to belief sets.
  56.  
  57. The formal properties of belief  sets  imply  that  when  an
  58. ambiguous  inheritance network is encountered more than than
  59. one belief set must be created. Each  belief set provides an
  60. alternative  interpretation  of  the logical consequences of
  61. the inheritance hierarchy.  A ``situations matrix'' provides
  62. the   basic  referent  data  structure  for  the  system  we
  63. describe. Detailed examples  of  multiple  inheritance  con-
  64. struction  demonstrate that a significant design aid results
  65. from the explicit representation  of  operator  beliefs  and
  66. their internalization using an epistemic logic.
  67.  
  68. WHERE:     Rm 212, Samuel Building, University of New  South
  69.            Wales.  Enter off Botany Street, stop at gate and
  70.            ask grey men for day pass and instructions.  Park
  71.            in  the  main car park on your left.  The Samuels
  72.            building is the gray building directly behind the
  73.            gates  with  strange shield-like objects over the
  74.            windows.
  75.  
  76. INQUIRIES: timm@cs.unsw.oz.au (Tim Menzies)
  77.  
  78. --------------------------------------------------------------
  79.  
  80.                        PLEASE NOTE:
  81.  
  82. If you have a seminar that you would like to present at this
  83. forum,  contact  Tim.  Also,  if you are not working in Aus-
  84. tralia and are puzzled why this item appears  on  your  news
  85. reader/mailer,  then  so  are  we.   The seminar notices are
  86. posted to "nation" and then the news reader decides that  it
  87. should  go  international.  The  cyberpunks  must  be right:
  88. information wants to be free.                                                      2
  89.  
  90.  
  91.  
  92.  
  93.  
  94.