home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / news / announce / conferen / 1388 < prev    next >
Encoding:
Internet Message Format  |  1992-12-23  |  4.7 KB
  1. Path: sparky!uunet!spool.mu.edu!olivea!tekbspa!denny
  2. From: ijcai@cs.uni-sb.de (Erica Melis *IJCAI Workshop*)
  3. Newsgroups: news.announce.conferences
  4. Subject: IJCAI Workshop
  5. Message-ID: <Bzqo4x.A5D@tss.com>
  6. Date: 24 Dec 92 01:00:32 GMT
  7. Expires: Mon, 1 Mar 1993 08:00:00 GMT
  8. Sender: denny@tss.com (Denny Page)
  9. Organization: Computer Science, University of the Saarland, Germany
  10. Lines: 90
  11. Approved: denny@tss.com
  12.  
  13.  
  14.         ****   CALL FOR PAPERS AND PARTICIPATION   ****
  15.  
  16.  
  17.                       IJCAI-93 Workshop on
  18.        "Principles of Hybrid Representation and Reasoning"
  19.             August 28, 29, or 30, Chambery, France
  20.  
  21.  
  22. Topic: The one-day workshop will focus on issues  common  to  the
  23. integration  of  deductive  and  representation-based  reasoning.
  24. Several areas of AI have independently developed  techniques  for
  25. incorporating  reasoning  based  on various semantically oriented
  26. representations into  more  traditional  deductive  systems.  The
  27. resulting  heterogenous systems are called Hybrid Reasoners. Some
  28. specific activities making use of  Hybrid  Reasoning  are  model-
  29. based methods in theorem proving, the manipulation of diagrams as
  30. a means of inference, and analogical reasoning based  on  typical
  31. examples.  This  development  has  been  paralleled  in Cognitive
  32. Psychology, where recent research has investigated reasoning with
  33. examples  and perceptually-based representations, as well as more
  34. explicit, rule-based, inference.  This workshop provides a  forum
  35. for  researchers  in diverse areas investigating hybrid reasoning
  36. and representation.  One of our principal  aims  is  to  discover
  37. what  is common to the different approaches, and to lay the foun-
  38. dations for a theory of hybrid systems.  Issues we expect to  ad-
  39. dress include (but are not limited to):
  40.  
  41. - What are the reasons/the criteria for using hybrid systems  and
  42.   semantic representations?
  43. - What is the information content of hybrid representations?
  44. - What is an appropriate semantics of hybrid systems?
  45. - Are there appropriate concepts for hybrid  systems  similar  to
  46.   soundness and completeness?
  47. - Are hybrid systems more efficient  computationally  than  their
  48.   deductive counterparts?
  49. - How can semantically-represented  information  be  incorporated
  50.   into more traditional deductive systems?
  51. - What forms of representation and processes operating  on repre-
  52.   sentations are potentially useful  for intelligent agents: what
  53.   are  their advantages  and disadvantages  relative to different
  54.   contexts and purposes, and to what extent can or should they be
  55.   mixed?
  56.  
  57. It should be noted that we are placing  emphasis  on  representa-
  58. tions  that  have an explicit semantical interpretation.  This is
  59. in contrast to the neural network  community,  in  which  "hybrid
  60. systems" refer to combinations of symbolic and neural representa-
  61. tions.  Although there are connections between these  approaches,
  62. we  will  focus  the workshop on "semantical" hybrid systems, and
  63. exclude research in the neural network area.
  64.  
  65. The workshop will be open to researchers from the disciplines  of
  66. Artificial Intelligence and Cognitive Science.  Participants will
  67. be selected on the basis of submitted abstracts (10 page maximum,
  68. 12pt).  Abstracts describing current work in the area are accept-
  69. able, but we especially  encourage  position  papers  that  state
  70. strong  opinions on the topics above.  Abstracts may be submitted
  71. by email in the form of one standard LaTeX  file  preferably,  or
  72. four  hard  copies may be sent to the workshop chair (see below).
  73. Papers must contain author's name(s), full  address,  email,  and
  74. phone number.  The final papers will be published in the workshop
  75. proceedings.  To facilitate  a  productive  workshop,  attendance
  76. will  be  restricted.  Those interested in participating, but not
  77. wishing to submit an abstract, should  submit  a  short  research
  78. statement and bibliography.
  79.  
  80.  
  81. Each WS  attendee must have  registered for the main IJCAI confe-
  82. rence. S/He  will pay an  additional (low)  300 FF fee for the WS
  83. (about US$60).
  84.  
  85. Schedule: papers received:       March 1st, 1993
  86.       notice of acceptance:  April 1st, 1993
  87.       final papers received: June  1st, 1993
  88.  
  89. Organization and Program Committee:
  90.  
  91. J.Halpern,      IBM Almaden Research Center
  92. M.Kerber,       Universitaet des Saarlandes, FB Informatik
  93. K.Konolige,     Artificial Intelligence Center, SRI International
  94. E.Melis,        Universitaet des Saarlandes, FB Informatik
  95. K.Myers,        Artificial Intelligence Center, SRI International
  96. J.Siekmann,     DFKI Saarbruecken
  97. A.Sloman,       University Birmingham School of Computer Science
  98. M.Vardi,        IBM Almaden Research Center
  99.  
  100. Chair: Erica Melis, Universitaet des Saarlandes, FB Informatik,
  101.        D-W-6600 Saarbruecken 11, Germany
  102.        email:ijcai@cs.uni-sb.de
  103.