Oksana Arnold

Learn More
Planning is investigated in an area where classical STRIPS-like approaches usually fail. The application domain is therapy (i.e. repair) for complex dynamic processes. The peculiarities of this domain are discussed in some detail for convincingly developing the characteristics of the inductive planning approach presented. Plans are intended to be run for(More)
The focus of this paper is on the introduction of some modal temporal logic and its application to knowledge processing under the particularly diicult circumstances of disturbed complex dynamic processes. The development of this logic has been driven by the overall aproach to knowledge-based process supervision and control. Within this comprehensive(More)
The focus of this paper is on the validation of intelligent systems. This is a particularly hot topic, as the inability of humans to validate what they are able to design and to implement might become the limiting factor in the ability to employ those systems. The Internet is an extraordinarily dynamic domain chosen as an exciting testbed for studies of(More)
The present paper deals with planning in complex dynamic environments, more speciically, with therapy plan generation for dynamic processes like in chemical industries, for instance. The focus of the investigation is on several closely related phenomena of monotonicity. They have been discovered when developing and implementing novel planning concepts under(More)