Skip to main content
SpringerLink
Log in

Time-constrained reasoning under uncertainty

  • Published:
Real-Time Systems Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Ruspini, E. 1990 (in press). The Semantic of Vague Knowledge.Revue de Systemique.

  • Ruspini, E. 1987. The Logical Foundations of Evidential Reasoning. Technical Note 408, Artificial Intelligence Center, SRI International, Menlo Park, California.

    Google Scholar 

  • Bonissone, P.P. 1987. Plausible Reasoning: Coping with Uncertainty in Expert Systems. InEncyclopedia of Artificial Intelligence (S. Shapiro, ed.), New York: John Wiley, pp. 854–863.

    Google Scholar 

  • Pearl, J. 1988. Evidential Reasoning Under Uncertainty. InExploring Artificial Intelligence (H.E. Shrobe, ed.), San Mateo, CA: Morgan Kaufmann, pp. 381–418.

    Google Scholar 

  • Zadeh, L. 1965. Fuzzy Sets.Information and Control, 8: 338–353.

    Google Scholar 

  • Erman, L.D., F. Hayes-Roth, V.R. Lesser, and D. Reddy. 1988. The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty.Computing Surveys, 12: 213–253.

    Google Scholar 

  • Goto, Y. and A. Stenz. 1987. Mobile Robot Navigation: The CMU System.IEEE Expert, 2, 4: 44–54.

    Google Scholar 

  • Crowley, J.L. 1987. Coordination of Action and Perception in a Surveillance Robot.IEEE Expert, 2, 4: 32–43.

    Google Scholar 

  • McTamaney, L.S. 1987 Real-Time Intelligent Control.IEEE Expert, 2, 4: 55–68.

    Google Scholar 

  • Hayes-Roth, B. 1985. A Blackboard Architecture for Control.Artificial Intelligence, 26, 2: 251–321.

    Google Scholar 

  • Johnson, M.V. and B. Hayes-Roth. 1987. Integrating Diverse Reasoning Methods in the BB1 Blackboard Control Architecture. InProceedings of the 6th National Conference on Artificial Intelligence, AAAI, (Aug.) pp. 30–35.

  • Corkill, D.D., K.Q. Gallagher, and P.M. Johnson. 1987. Achieving Flexibility, Efficiency, and Generality in Blackboard Architectures. InProceedings of the 6th National Conference on Artificial Intelligence, AAAI, (Aug.) pp. 18–23.

  • Boureau, L. and B. Hayes-Roth. 1989. Deriving Priorities and Deadlines in Real-Time Knowledge-based Systems. InProceedings of the 1989 AAAI Workshop on Real-Time Artificial Intelligence Problems, AAAI, (Aug.).

  • Sharma, D. and S. Narayan. 1989. An Architecture for Intelligent Task Interruption. InProceedings of the 1989 AAAI Workshop on Real-Time Artificial Intelligence Problems, AAAI, (Aug.).

  • Bisiani, R. 1986. A Software and Hardware Environment for Developing AI Applications on Parallel Processors. InProceedings of the 5th National Conference on Artiticial Intelligence, AAAI, (Aug.) pp. 742–747.

  • Durfee, E.H. and V.R. Lesser. 1988. Incremental Planning to Control a time-Constrained, Blackboard-Based Problem Solver.IEEE Transactions on Aerospace and Electronic Systems, 24, 5: 647–662.

    Google Scholar 

  • Lesser, V.R., J. Pavlin, and E. Durfee. 1988. Approximate Processing in Real-Time Problem Solving.The AI Magazine, 9, 1: 49–61.

    Google Scholar 

  • Cooper, G. 1989 (in press). Probabilistic Inference Using Belief Networks Is NP-Hard.Artificial Intelligence.

  • Horvitz, E.J. 1988. Reasoning Under Varying and Uncertain Resource Constraints. InProceedings of the 7th National Conference on Artificial Intelligence, AAAI, (Aug.) pp. 111–116.

  • Breese, J.S. and M.R. Fehling. 1988. Decision Tehoretic Control of Problem Solving: Principles and Architecture. InProceedings of the Fourth AAAI Workshop on Uncertainty in Artificial Intelligence, AAAI, (Aug.) pp. 30–39.

  • Heckerman, D.E., J.S. Breese, and E.J. Horvitz. 1989. The Compilation of Decision Models. InProceedings of the Fifth AAAI Workshop on Uncertainty in Artificial Intelligence, AAAI, (Aug.) pp. 162–173.

  • Horvitz, E.J., H.J. Suermondt, and G.F. Cooper. 1989. Bounded Conditioning Flexible Inference for Decisions Under Scarce Resources. InProceedings of the Fifth AAAI Workshop on Uncertainty in Artificial Intelligence, AAAI, (Aug.) pp. 182–193.

  • Dean, T. and M. Boddy. 1988. An Analysis of Time Dependent Planning. InProceedings of AAAI-88, pp. 49–54.

  • D'Ambrosio, B. 1989. Resource Bounded-Agents in an Uncertain World. InProceedings of the 1989 AAAI Workshop on Real-Time Artificial Intelligence Problems, AAAI, (Aug.).

  • D'Ambrosio, B. 1988. A Hybrid Approach to Reasoning Under Uncertainty.Internanonal Journal of Approximate Reasoning, 2, (Jan.) pp. 29–45.

    Google Scholar 

  • D'Ambrosio, B. 1988. Process, Structure, and Modularity in Reasoning with Uncertainty. InProceedings of the Fourth AAAI Workshop on Uncertainty in Artificial Intelligence, AAAI, (Aug.) pp. 64–72.

  • Corder, R. 1989. A High-Speed Fuzzy Processor. InProceedings of the Third International Fuzzy Systems Association, IFSA, (Aug.) pp. 379–389.

  • Watanabe, H. and W. Dettloff. 1987. Fuzzy Logic Inference Processor for Real-Time Control: A second generation full custom design. InProceedings of the Twenty-first Asilomar Conference on Signal, Systems & Computers, IEEE, (Nov.) pp. 729–735.

  • Sugeno, M. Ed. 1985.Industrial Applications of Fuzzy Control. Amsterdam: North Holland.

    Google Scholar 

  • Yasunobu, S. and S. Miyamoto. 1985. Automatic Train Operation by Predictive Fuzzy Control. InIndustrial Applications of Fuzzy Control (M. Sugeno, ed.), Amsterdam: North Holland.

    Google Scholar 

  • Yasunobu, S. and G. Hasegawa. 1986. Evaluation of an Automatic Crane Operation System Based on Predictive Fuzzy Control.Control Theory and Advanced Technology, 2.

  • Kasai, Y. and Y. Morimoto. 1988. Electronically Controlled Continuously Variable Transmission. InProceedings of the 1988 International Congress on Transportation Electronics, IEEE, pp. 33–42.

  • Clancey, W.J. 1984. Classification Problem Solving. InProceedings of the 3rd National Conference on Artificial Intelligence, AAAI, (Aug.) pp. 49–55.

  • Bonissone, P.P. and N.C. Wood. 1988. Plausible Reasoning in Dynamic Classification Problems. InProceedings of the Validation and Testing of Knowledge-Based Systems Workshop, AAAI, (Aug.).

  • Sweet, L.M., P.P. Bonissone, A.L. Brown, and S. Gans. 1986. Reasoning with Incomplete and Uncertain Information for Improved Situation Assessment in Pilot's Associate. InProceedings of the 12th DARPA Strategic Systems Symposium, DARPA, (Oct.)

  • Bonissone, P.P. and J.K. Aragones. 1988. LOTTA: An object-based simulator for reasoning in antagonistic situations. InProceedings of the 1988 Summer Computer Simulation Conference, SCS, (July) pp. 674–680.

  • Bonissone, P.P. 1987. Summarizing and Propagating Uncertain Information with Triangular Norms.International Journal of Approximate Reasoning, 1, (Jan.) pp. 71–101.

    Google Scholar 

  • Bonissone, P.P. and N.C. Wood. 1989. T-norm-Based Reasoning in Situation Assessment Applications. InUncertainty in Artificial Intelligence 3 (L. Kanal, T. Levitt, and J. Lemmer, eds.), Amsterdam: North Holland, pp. 241–256.

    Google Scholar 

  • Bonissone, P.P., S. Gans, and K.S. Decker. 1987. RUM: A Layered Architecture for Reasoning with Uncertainty. InProceedings of the 10th International Joint Conference on Artificial Intelligence, AAAI, (Aug.) pp. 891–898.

  • Bonissone, P.P., D. Cyrluk, J. Goodwin, and J. Stillman. 1989. Uncertainty and Incompleteness: Breaking the Symmetry of Defeasible Reasoning. InProceedings of the Fifth AAAI Workshop on Uncertainty in Artificial Intelligence, AAAI, (Aug.) pp. 34–45.

  • Salmon, W.C. 1973. Confirmation.Scientific American, (May).

  • Schlesinger, G. 1974. Hempel's Paradox. InConfirmation and Confirmability, Oxford: Oxford University Press.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Artificial Intelligence Program, General Electric Corporate Research and Development, 12301, Schenectady, New York, USA

    Piero P. Bonissone & Peter C. Halverson

Authors
  1. Piero P. Bonissone
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter C. Halverson
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bonissone, P.P., Halverson, P.C. Time-constrained reasoning under uncertainty. Real-Time Syst 2, 25–45 (1990). https://doi.org/10.1007/BF01840465

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01840465

Keywords

Search

Navigation