ISSN:
1572-9974
Keywords:
Logical testing
;
structured modeling
;
computer-assisted analysis
;
rule-base management
;
model management
;
network algorithms
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
,
Economics
Notes:
Abstract We describe the use of network methods to aid model formulation and analysis, particularly when using certain approaches, notably GAMs or Structured Modeling. When mapping a relational description to an algebraic representation, it is desirable to check logical consistency, redundancy and forcing structures that may be present, Sometimes these could be purposeful, but often they reflect modeling errors. In either case it is useful to reveal these properties efficiently. Here we describe an algorithmic framework, based on topological sorting, which applies not only to mathematical programming modeling, but also to, rule-base management in an expert system.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00454704
Permalink
