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