A new approach to modularity in rule-based programming

Author

Browne, James C. ; Emerson, Allen ; Gouda, Mohamed G. ; Miranker, Daniel P. ; Mok, Aloysius ; Bayerdo, R. ; Chodrow, Sarah ; Gadbois, David ; Haddix, Furman ; Hetherington, Thomas W. ; Obermeyer, Lance ; Tsou, Duu-Chung ; Wang, Hih-Kan ; Wang, Rwo-hsi

Author_Institution

Dept. of Comput. Sci., Texas Univ., Austin, TX, USA

fYear

1994

fDate

6-9 Nov 1994

Firstpage

18

Lastpage

25

Abstract

We describe a purely declarative method for introducing modularity into forward-chaining, rule-based languages and its embodiment in the Venus rule language. The method is enforced by the syntax of the language and includes the ability to parameterize the rule groups. Drawing from two of three Venus applications developed to date, we illustrate how this form of modularity contributes directly to the resolution of certain software engineering problems associated with rule languages

Keywords

computational linguistics; logic programming; logic programming languages; software engineering; Venus rule language; declarative method; forward-chaining rule-based languages; modularity; rule group parameterisation; rule-based programming; software engineering problems; syntax; Application software; Computer languages; Control systems; Engineering drawings; Object oriented programming; Protocols; Research and development; Software engineering; State-space methods; Venus;

fLanguage

English

Publisher

ieee

Conference_Titel

Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on

Conference_Location

New Orleans, LA

Print_ISBN

0-8186-6785-0

Type

conf

DOI

10.1109/TAI.1994.346518

Filename

346518