Knowledge Based Computer Systems: International Conference Kbcs 89, Bombay, India, December 11-13, 1989. Proceedings (Supplement Zu Den Sitzungsberichten der Mathematisch-Naturwi)

this Volume Presents Selected Papers From Kbcs '89, Which Is The Second In A Series Of Annual Conferences Hosted By The Knowledge Based Computer Systems Project Funded By The Government Of India With United Nations Assistance. The Papers Are Grouped Into Sections Including: - Ai Applications - Computer Architecture And Parallel Processing - Expert Systems - Intelligent Tutoring Systems - Knowledge Representation - Logic Programming - Natural Language Understanding - Pattern Recognition - Reasoning - Search - Activities At The Kbcs Nodal Centres. A computational architecture for co-operative systems....Pages 1-18 Central government pension rules as a logic program....Pages 19-28 Solving the generalized job shop scheduling problem via temporal constraint propagation....Pages 29-38 Automatic test pattern generation on multiprocessors: a summary of results....Pages 39-51 Design and implementation of a broadcast cube multiprocessor....Pages 52-63 Intelligent onboard telemetry system-a design approach....Pages 65-77 Interpretation and rule packet in expert systems. Application to the sept expert system....Pages 78-87 An expert system framework for the preliminary design of process flowsheets....Pages 88-104 The platypus expert system shell....Pages 105-119 Modelling exceptions in semantic database and knowledge-based systems....Pages 120-132 Mental models of recursion and their use in the SCENT programming advisor....Pages 133-144 Explanation of algebraic reasoning : the Aplusix system....Pages 145-154 The trigonometry tutor....Pages 155-166 Four general representations and processes for use in problem solving....Pages 167-178 Integrated actor paradigm for knowledge based systems....Pages 179-191 A representation for modeling functional knowledge in geometric structures....Pages 192-202 Differing perspectives of knowledge representation in artificial intelligence and discrete event modeling....Pages 203-212 Implementation of conceptual graphs using frames in lead....Pages 213-229 Knowledge representation in distributed blackboard architecture — Some issues....Pages 230-239 Improving prolog performance by inductive proof generalizations....Pages 241-253 A unified framework for characterising logic program executions....Pages 254-265 An abstract machine for the Reduce-OR process model for parallel Prolog....Pages 266-275 Believability in default logic entails logical consequence from circumscription (sometimes)....Pages 276-285 Generalized predicate completion....Pages 286-295 On the completeness of narrowing for E-unification....Pages 296-305 Intelligent categorization, archival and retrieval of information....Pages 307-320 Representing discursive temporal knowledge: A computational application of DRT....Pages 321-330 Novel terms and cooperation in a natural language interface....Pages 331-340 Representing and using protosemantic information in generating bus route descriptions....Pages 341-352 Parsing with extended unification mechanisms....Pages 353-362 Shape based object recognition....Pages 363-374 Newspaper image understanding....Pages 375-384 Reasoning using inheritance from a mixture of knowledge and beliefs....Pages 385-396 Handling multiple inheritance with exceptions : An alternative approach....Pages 397-406 From utterance to belief via presupposition....Pages 407-417 Implementing persistence of derived information in a reason maintenance system....Pages 418-427 New techniques in model-based diagnosis....Pages 428-437 Network search with inadmissible heuristics....Pages 439-450 Pruning by upperbounds in heuristic search: Use of approximate algorithms....Pages 451-461 A probabilistic training scheme for the time-concentration network....Pages 463-472 Doe nodal centre activities development of expert systems for govt. applications....Pages 473-481 KBCS Activities at C-DAC....Pages 482-492 KBCS activities at I.I.T., madras....Pages 493-497 On KBCS approach in image processing, pattern recognition and computer vision....Pages 498-514 KBCS activities at NCST....Pages 515-524 Research and development at KBCS nodal centre, IISc bangalore....Pages 525-531 Speech recognition for knowledge based computer systems....Pages 532-541 "This volume presents selected papers from KBCS '89, which is the second in a series of annual conferences hosted by the Knowledge Based Computer Systems Project funded by the Government of India with United Nations assistance. The papers are grouped into sections including: - AI applications - computer architecture and parallel processing - expert systems - intelligent tutoring systems - knowledge representation - logic programming - natural language understanding - pattern recognition - reasoning - search - activities at the KBCS Nodal Centres."--PUBLISHER'S WEBSITE