1996 | OriginalPaper | Buchkapitel
Justification in Finite State Space
verfasst von : Xinghao Chen, Michael L. Bushnell
Erschienen in: Efficient Branch and Bound Search with Application to Computer-Aided Design
Verlag: Springer US
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this chapter, we expand the concept of justification equivalence, as introduced in Chapter 2, to the finite state space. We present a method that dynamically gathers justification information while traversing the finite state space. The learned information is then used in subsequent justifications to avoid previously-explored state justification decisions.