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.- Central government pension rules as a logic program.- Solving the generalized job shop scheduling problem via temporal constraint propagation.- Automatic test pattern generation on multiprocessors: a summary of results.- Design and implementation of a broadcast cube multiprocessor.- Intelligent onboard telemetry system-a design approach.- Interpretation and rule packet in expert systems. Application to the sept expert system.- An expert system framework for the preliminary design of process flowsheets.- The platypus expert system shell.- Modelling exceptions in semantic database and knowledge-based systems.- Mental models of recursion and their use in the SCENT programming advisor.- Explanation of algebraic reasoning : the Aplusix system.- The trigonometry tutor.- Four general representations and processes for use in problem solving.- Integrated actor paradigm for knowledge based systems.- A representation for modeling functional knowledge in geometric structures.- Differing perspectives of knowledge representation in artificial intelligence and discrete event modeling.- Implementation of conceptual graphs using frames in lead.- Knowledge representation in distributed blackboard architecture - Some issues.- Improving prolog performance by inductive proof generalizations.- A unified framework for characterising logic program executions.- An abstract machine for the Reduce-OR process model for parallel Prolog.- Believability in default logic entails logical consequence from circumscription (sometimes).- Generalized predicate completion.- On the completeness of narrowing for E-unification.- Intelligent categorization, archival and retrieval of information.- Representing discursive temporal knowledge: A computational application of DRT.- Novel terms and cooperation in a natural language interface.- Representing and using protosemantic information in generating bus route descriptions.- Parsing with extended unification mechanisms.- Shape based object recognition.- Newspaper image understanding.- Reasoning using inheritance from a mixture of knowledge and beliefs.- Handling multiple inheritance with exceptions : An alternative approach.- From utterance to belief via presupposition.- Implementing persistence of derived information in a reason maintenance system.- New techniques in model-based diagnosis.- Network search with inadmissible heuristics.- Pruning by upperbounds in heuristic search: Use of approximate algorithms.- A probabilistic training scheme for the time-concentration network.- Doe nodal centre activities development of expert systems for govt. applications.- KBCS Activities at C-DAC.- KBCS activities at I.I.T., madras.- On KBCS approach in image processing, pattern recognition and computer vision.- KBCS activities at NCST.- Research and development at KBCS nodal centre, IISc bangalore.- Speech recognition for knowledge based computer systems.
Series: Supplement Zu Den Sitzungsberichten der Mathematisch-Naturwi
Number Of Pages: 546
Published: 24th July 1990
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6
Weight (kg): 0.78