home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / ai / 2902 < prev    next >
Encoding:
Text File  |  1992-07-26  |  5.4 KB  |  147 lines
  1. Newsgroups: comp.ai
  2. Path: sparky!uunet!mcsun!sun4nl!fwi.uva.nl!streppel
  3. From: streppel@fwi.uva.nl (Hans Streppel (Academie voor Informatica))
  4. Subject: Course Design Techniques for Knowledge-based Ssytems
  5. Message-ID: <1992Jul27.080320.10116@fwi.uva.nl>
  6. Sender: news@fwi.uva.nl
  7. Nntp-Posting-Host: wendy.fwi.uva.nl
  8. Organization: FWI, University of Amsterdam
  9. Date: Mon, 27 Jul 1992 08:03:20 GMT
  10. Lines: 135
  11.  
  12. Design Techniques for Knowledge-based Reasoning Systems
  13. a 5-day course
  14.  
  15. Amsterdam, October 1-2-5-6-7
  16.  
  17.  
  18. This course is aimed at university graduates, working in industry, 
  19. governemental agencies and other institutions such as such insurance 
  20. companies,banks etc. who are or will be involved in designing and 
  21. implementing knowledge-based systems. For post-graduate lecturers 
  22. the course will provide a valuable overview of the field. 
  23.  
  24. Content
  25. This course provides technical support for the design and implementation 
  26. phase of the development of a complex knowledge-based reasoning
  27. system. Formal specification techniques tailored to knowledge-based 
  28. reasoning systems and automated tools supporting these techniques 
  29. will be used
  30.  
  31. About the programme 
  32.  
  33. Both presentations and hands-on experience are included throughout 
  34. the course. The material covered in the morning is put into practice in the 
  35. afternoon, using automated tools to support the process of design, 
  36. specification and implementation. This practical work will be on 
  37. Sun-workstations.
  38.  
  39.  
  40. Programme 
  41.  
  42. Thursday, October 1  
  43.  
  44. -  Task decomposition and modular architecture
  45. -  Decomposing complex reasoning tasks
  46. -  Compositional architectures of knowledge-based reasoning systems
  47. -  Functionality and specification of a reasoning module
  48.  
  49. -  Practical exercise: modelling diagnostic reasoning based on 
  50.    dynamic hypothesis generation and testing
  51.  
  52. Friday, October 2
  53.  
  54. -  Specification of a modular knowledge-based system
  55. -  Description levels of knowledge-based systems; relation to the 
  56.    KADS 4-layer model to be used in knowledge analysis
  57. -  Explicit standardized description of interactions between modules and 
  58.    control aspects
  59. -  A supervisor component for global control
  60. -  Informal and formal specification techniques
  61. -  A framework for (detailed) specification of modular 
  62.    knowledge-based systems: DESIRE (framework for DEsign and 
  63.    Specification of Interacting REasoning modules)
  64.  
  65. -  Practical exercise: the use of a syntax-directed editor to create 
  66.    an example (formal) specification, and of an implementation 
  67.    generator to obtain executable code from it
  68.  
  69. Monday, October 5
  70.  
  71. -  The use of task-specific tools
  72. -  Task-specific tools for specification (generic task models) and 
  73.    implementation (task-specific shells)
  74. -  Dynamic behaviour, flexibility and interactivity of a 
  75.    knowledge-based system 
  76.  
  77. -  Practical exercise: modelling reasoning with dynamic assumptions; 
  78.    specification and implementation of an example system using 
  79.    task-specific support
  80.  
  81. Tuesday, October 6
  82.  
  83. -  Configuration and reuse
  84. -  Reuse of specifications and of implementations; of generic 
  85.    architectures and of components (with standardized  interface)
  86. -  Classification of standard interaction types
  87. -  Configuration of generic task models
  88. -  Belief revision in a compositional architecture
  89.  
  90. -  Practical exercise: configuration of architectures for hypothetical 
  91.    reasoning with causal knowledge and for reasoning about a 
  92.    changing world and actions
  93.  
  94. Wednesday, October 7
  95.  
  96. -  Modelling examples and applications
  97. -  Modelling complex reasoning tasks: reasoning from and about 
  98.    viewpoints, reasoning about (design) requirements in design tasks 
  99. -  Applications: compositional architectures for routing and for 
  100.    designing sets of measures for environmental policy
  101.     
  102. -  Practical exercise: configuration of some example architectures
  103.  
  104.  
  105. Organization
  106.  
  107. Course Director 
  108. Prof.dr. J. Treur, Free University, Amsterdam
  109.  
  110. Background
  111. Since 1988 prof.dr. J. Treur has been responsible for the development 
  112. and integration of formal specifiation techniques developed for/tailored to 
  113. complex knowledge based reasoning systems within the Artificial 
  114. Intelligence Group at the Free University in Amsterdam. Fundamental and applied research, often together with academic, governmental and 
  115. industrial partners (e.g. Rabobank Nederland, Cap Gemini-Pandata), 
  116. frequently addressed the development and evaluation of a framework 
  117. for (formal) specification of modular knowledge-based reasoning systems DESIRE  (framework for 
  118. DEsign and Specification of Interacting REasoning modules).  DESIRE, 
  119. provides an environment in which a conceptual model of a system as 
  120. obtained from knowledge acquisition and analysis (e.g. a KADS model) 
  121. can be used to design, specify and implement a real system.
  122.  
  123. A first version of DESIRE was presented at the European Knowledge 
  124. Acquisition Workshop, EKAW-90 in 1990. The current version of 
  125. DESIRE will be presented at the European Conference on AI, ECAI-92,
  126. in August 1992.
  127. Additionally, as part of the ECAI-92 conference a workshop on Formal 
  128. Specification Methods for Complex Reasoning Systems will be 
  129. organized by this research group.
  130.  
  131.  
  132.  
  133. The Academy for Computer Science, specialising in post-graduate courses 
  134. in computer science, is run jointly by the Vrije Universiteit, 
  135. the University of Amsterdam and Utrecht University. 
  136.  
  137. Further information:
  138. Further details can be obtained from
  139. Drs. J.A.J. Streppel, Academy for Computer Science
  140. Email: avi@fwi.uva.nl
  141. Phone: +31 20 525 75 94
  142. Fax: +31 20 525 74 90
  143.  
  144.  
  145.  
  146.  
  147.