Knowledge Based Computer Systems International Conference KBCS `89, Bombay, India, December 11-13, 1989. Proceedings için kapak resmi
Knowledge Based Computer Systems International Conference KBCS `89, Bombay, India, December 11-13, 1989. Proceedings
Başlık:
Knowledge Based Computer Systems International Conference KBCS `89, Bombay, India, December 11-13, 1989. Proceedings
ISBN:
9783540471684
Edition:
1st ed. 1990.
Yayın Bilgileri:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990.
Fiziksel Tanımlama:
X, 546 p. online resource.
Series:
Lecture Notes in Artificial Intelligence, 444
Contents:
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.
Abstract:
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.
Dil:
English