An APL rule-based system architecture for image interpretation strategies

APL is both a language of choice for image processing and image description tasks, and a language for artificial intelligence applications, typically expert systems. The paper presents the architecture of an APL rule-based system for realizing description synthesis strategies i.e., sequences of actions which allow the evaluation and interpretation of the properties of structures detected in an image. Descriptions of images are stored in a data structure which is formally presented in APL2 syntax. Describing an image often requires that reflective actions be taken i.e., actions in which the system examines the state of the computation and its internal state to select the next action to be executed. It is shown how APL provides all the features needed to implement a reflective mechanism through the use of metarules of the same format as rules.

[1]  Kenneth E. Iverson,et al.  Notation as a tool of thought , 1980, APLQ.

[2]  Piero Mussio,et al.  Modelling rain patterns: towards automatic interpretation of radar images , 1990, Image Vis. Comput..

[3]  Hans-Peter Meinzer,et al.  Medical Three-Dimensional Images , 1990 .

[4]  Piero Mussio,et al.  Towards a user usable system for ECG description , 1990 .

[5]  Takashi Matsuyama Expert systems for image processing: Knowledge-based composition of image analysis processes , 1989, Comput. Vis. Graph. Image Process..

[6]  Raimondo Schettini,et al.  Knowledge-based contextual recognition and sieving of digital images , 1989, Pattern Recognit. Lett..

[7]  Gloria Bordogna,et al.  An approach to heuristic exploitation of astronomers' knowledge in automatic interpretation of optical pictures , 1989 .

[8]  Gaetano Aurelio Lanzarone,et al.  A Metalogic Programming Language , 1989, ICLP.

[9]  Marco Padula,et al.  Attributed conditional L-systems: a tool for image description , 1988, [1988 Proceedings] 9th International Conference on Pattern Recognition.

[10]  A. Rosenfeld,et al.  Computer vision: basic principles , 1988, Proc. IEEE.

[11]  Pattie Maes,et al.  Computational reflection , 1987, The Knowledge Engineering Review.

[12]  Kenneth Fordyce,et al.  Boolean array structures for a rule-based forward chaining inference engine , 1987, APL '87.

[13]  James A. Brown,et al.  Logic programming in APL2 , 1986, APL '86.

[14]  James A. Brown,et al.  APL2 and AI: a study of search , 1986, APL '86.

[15]  Marco Padula,et al.  An approach to the definition, description, and extraction of structures in binary digital images , 1985, Comput. Vis. Graph. Image Process..

[16]  Mitchell Wand,et al.  Reification: Reflection without metaphysics , 1984, LFP '84.

[17]  P. Mussio,et al.  APL iconics , 1984, APL '84.

[18]  Silvana Bianchi,et al.  An APL pattern-directed module for bidimensional data analysis , 1981, APL '81.

[19]  Randall Davis,et al.  Meta-Rules: Reasoning about Control , 1980, Artif. Intell..

[20]  King-Sun Fu,et al.  Syntactic Methods in Pattern Recognition , 1974, IEEE Transactions on Systems, Man, and Cybernetics.