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.|Proceedings of KBCS '89, with papers on expert systems, intelligent tutoring systems, knowledge representation, logic programming, natural language understanding, reasoning, and KBCS project activities in India.
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 circumillegalscription (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 deillegalscriptions.- 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.
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 functionalknowledge 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 circumillegalscription (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 deillegalscriptions.- 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.
Inhaltsverzeichnis
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 circumillegalscription (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 deillegalscriptions.- 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.
Proceedings of KBCS '89, with papers on expert systems, intelligent tutoring systems, knowledge representation, logic programming, natural language understanding, reasoning, and KBCS project activities in India.
