Time-constrained reasoning under uncertainty

Abstract

Dynamic classification problems present unique challenges beyond those of more traditionalstatic knowledge-based systems. Uncertain and incomplete input data, unpredictable event sequences, and critical time and resource constraints require new approaches and techniques for automated reasoning. Our work toward addressing these complex requirements has concentrated on developing an integrated software architecture which supports the knowledge engineering process from development to deployment. The approach we are using to deal with real-time issues in the deployment environment involves the use of a fast knowledge representation scheme, efficient forward and backward chaining mechanisms, and a meta-controller which handles asynchronous inputs, prioritized task requests, and hard performance deadlines.