BatchKit—A knowledge integration environment for process engineering

BatchKit is a knowledge integration environment for process engineering. It provides a broad range of problem representation and solving capabilities, from trivial calculations and simple inferences to complex optimization problems that are addressed by the integration of problem solvers of varying...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Computers & chemical engineering Ročník 22; číslo 1; s. 109 - 123
Hlavní autor: Hofmeister, M.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Oxford Elsevier Ltd 1998
Elsevier
Témata:
Applications of mathematics to chemical engineering. Modeling. Simulation. Optimization
Applied sciences
Chemical engineering
Constraint logic
Exact sciences and technology
Knowledge integration
Process engineering
Programming
Programming
Constraint logic
Process engineering
Knowledge integration
Knowledge based systems
Expert system
Object oriented
Logical programming
Modeling
Computer aid
Optimization
ISSN:0098-1354, 1873-4375
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:BatchKit is a knowledge integration environment for process engineering. It provides a broad range of problem representation and solving capabilities, from trivial calculations and simple inferences to complex optimization problems that are addressed by the integration of problem solvers of varying generality such as GAMS (general modelling language and optimization solvers) or SPEEDUP (mass and energy equilibrium and dynamic process simulator for chemical processing plants). BatchKit currently provides prototype conceptual models of plants, processes, production plans and their various specializations. Representation is based on the integration of object-oriented, logic and constraint programming. The integration of logic programming (LP) supports backtracking search formulations and problem analysis (such as problem-specific consistency checks) using resolution-based inference. The integration of constraints as in constraint logic programming (CLP) rounds up the modelling capabilities by introducing the equations and inequalities and establishes the prerequisites of integrating the special-purpose solvers. Human interaction widely relies upon graphic interfaces developed and implemented using the graphic building tools of the KEE system by IntelliCorp. Knowledge maintenance is facilitated by providing multiple external representations for every type of object-graphs, tables and, for more detailed inspection, an assert and query language of the logic programming. Complete history is maintained to support chronological backtracking or checkpoint rollback and knowledge state backup.
Bibliografie:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0098-1354
1873-4375
DOI:10.1016/S0098-1354(96)00354-7