Knowledge Based Computer Systems: International Conference KBCS `89, Bombay, India, December 11-13, 1989. Proceedings: 444 - Brossura

Anjaneyulu, K.S.R.; Chandrasekar, R.; Ramani, S.

Brossura

ISBN 10: 3540528504 ISBN 13: 9783540528500

Casa editrice: Springer, 2008

Riassunto

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.

Su questo libro

Contenuti

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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2008
• Lingua: Inglese
• ISBN 10: 3540528504
• ISBN 13: 9783540528500
• Rilegatura: Copertina flessibile
• Numero di pagine: 560
• Contatto del produttore: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Tiergartenstr. 17; Heidelberg; 69121; Germania