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