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.
Author(s): David Allport (auth.), S. Ramani, R. Chandrasekar, K. S. R. Anjaneyulu (eds.)
Series: Lecture Notes in Computer Science 444
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1990
Language: English
Pages: 546
Tags: Artificial Intelligence (incl. Robotics)
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
