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