A methodology for systematic verification of OPS5-based AI applications

Authors:
G. Ravi Prakash;E. Subrahmanian;H. N. Mahabala
Affiliations:
Dept. of Computer Science and Engineering, Indian Institute of Technology, Madras, India;Engineering Design Research Center, Carnegie Mellon University, Pittsburgh, PA;Dept. of Computer Science and Engineering, Indian Institute of Technology, Madras, India
Venue:
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Year:
1991

Citing 3
Cited 0

Programming expert systems in OPS5: an introduction to rule-based programming

Programming expert systems in OPS5: an introduction to rule-based programming
An Algorithm to Decide Feasibility of Linear Integer Constraints Occurrng in Decision Tables

IEEE Transactions on Software Engineering
Human Problem Solving

Human Problem Solving

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper investigates the effects of parallelism on blackboard system scheduling. A parallel blackboard system is described that allows multiple knowledge source instantiations to execute in parallel using a shared-memory blackboard approach. New classes ...