{"type":"ScholarlyArticle","title":"Temporally Coarse Representation of Behavior for Model-based Troubleshooting of Digital Circuits","authors":[{"name":"Walter Hamscher","slug":"walter-hamscher","given":"Walter","family":"Hamscher","affiliation":"Price Waterhouse Technology Centre 68 Willow Road , Menlo Park , CA 94025"}],"abstract":"Model-based troubleshooting relies on having a representation of devices that can provide predictions about their behavior based on the observations that the troubleshooter makes. For complex devices such as digital circuit boards , the cost of the prediction process is a major obstacle to practical model-based troubleshooting. But increasing the efficiency of making predictions usually means sacrificing precision - thereby sacrificing diagnostic resolution .- so it is important to have a representation that can provide predictions that are derived from cheap observations and that are yet precise enough so that device misbehaviors will be detectable . This paper presents an implemented representation of board-scale digital circuits that emphasizes the importanc e of appropriate temporal abs tractions for coping with behavioral complexity.","doi":null,"url":"https://ijcai.org/proceedings/1989/142","pdf":"https://ijcai.org/proceedings/1989/0142.pdf","markdown":"https://ijcai.org/proceedings/1989/142.md","bibtex":"https://ijcai.org/proceedings/1989/bibtex/142","volume":{"slug":"1989","title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1989","url":"https://ijcai.org/proceedings/1989/","year":1989,"location":"Detroit, Michigan, USA","dates":"August 20-25 1989","editors":"N. S. Sridharan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Planning, Scheduling, Reasoning About Actions","track":"Planning, Scheduling, Reasoning About Actions","number":142,"pages":{"first":887,"last":892},"keywords":[],"videos":[],"references":[{"position":1,"raw":"[Allen, 1984] J. Allen. Towards a General Theory of Ac- tion and Time. Artificial Intelligence, 23(2):123-154, July 1984.","title":"Towards a General Theory of Action and Time","authors":"J Allen","year":"1984","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Brown et al., 1982] J. S. Brown, R. Burton, and J. de Kleer. Pedagogical, Natural Language, and Knowledge Engineering Issues in SOPHIE I, II, and III. In D. Sleeman and J. S. Brown, editors, Intel- ligent Tutoring Systems, pages 227-282 . Academic Press, New York, 1982.","title":"Pedagogical, Natural Language, and Knowledge Engineering Issues in SOPHIE I, II, and III","authors":"J S Brown, R Burton, J De Kleer","year":"1982","venue":"Intelligent Tutoring Systems","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Campbell and Shapiro, 1986] S. S. Campbell and S. C . Shapiro. Using Belief Revision to Detect Faults in Circuits. Research report, Department of Computer Science, SUNY Buffalo, 1986.","title":"Using Belief Revision to Detect Faults in Circuits","authors":"S S Campbell, S C Shapiro","year":"1986","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Dague et al., 1987] P. Dague, 0 . Raiman, and P. Deves. Troubleshooting: When Modeling is the Difficulty. In AAAI-87, pages 600-605, Seattle, WA, August 1987.","title":"Troubleshooting: When Modeling is the Difficulty","authors":"P Dague, P Raiman, Deves","year":"1987","venue":"AAAI-87","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Davis, 1984] R. Davis. Diagnostic Reasoning Based on Structure and Behavior. Artificial Intelligence, 24(1):347-410, 1984. Also in Qualitative Reasoning about Physical Systems, Bobrow (ed.) , MIT Press, Cambridge, MA 1985.","title":"Diagnostic Reasoning Based on Structure and Behavior","authors":"R Davis","year":"1984","venue":"Also in Qualitative Reasoning about Physical Systems","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[de Kleer, 1986] J . de Kleer. An Assumption-Based TMS . Artificial Intelligence, 28(2):127-162, 1986.","title":"An Assumption-Based TMS","authors":"J De Kleer","year":"1986","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[de Kleer and Williams, 1987] J . de Kleer and B. C . Williams . Diagnosing Multiple Faults. Artificial In- telligence , 32(1):97-130, April 1987.","title":"Diagnosing Multiple Faults","authors":"De Kleer, ] J Williams, B C De Kleer, Williams","year":"1987","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Dean and McOermott , 1987] T. Dean and D. McDer- mott. Temporal Data Base Management. Artificial Intelligence, 32(1):1-56, April1987.","title":"Temporal Data Base Management","authors":"T Dean, D Mcdermott","year":"1987","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[First et al., 1982] M. B. First, B. J . Weimer, S. McLin- den, and R. A. Miller. LOCALIZE : Computer- Assisted Localization of Peripheral Nervous Sys- tem Lesions. Computers and Biomedical Research, 15(6):525-543, December 1982.","title":"LOCALIZE : Computer-Assisted Localization of Peripheral Nervous System Lesions","authors":"M B First, B J Weimer, S Mclinden, R A Miller","year":"1982","venue":"Computers and Biomedical Research","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Genesereth, 1984] M. Genesereth. The Use of Design Descriptions in Automated Diagnosis. Artificial In- telligence, 24(1):411-436, 1984. Also in Qualita- tive Reasoning about Physical Systems, Bobrow (ed.), MIT Press, Cambridge MA 1985.","title":"The Use of Design Descriptions in Automated Diagnosis","authors":"M Genesereth","year":"1984","venue":"Also in Qualitative Reasoning about Physical Systems","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Hamscher and Davis, 1984] W. C. Hamscher and R. Davis. Diagnosing Circuits with State: An Inherently Underconstrained Problem. In AAAI-84, pages 142-147, Austin, TX, August 1984.","title":"Diagnosing Circuits with State: An Inherently Underconstrained Problem","authors":"W C Hamscher, R Davis","year":"1984","venue":"AAAI-84","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Hamscher and Davis, 1987] W . C. Hamscher and R. Davis. Issues in Model-Based Troubleshooting. Memo 893 , MIT Artificial Intelligence Lab, March 1987.","title":"Issues in Model-Based Troubleshooting","authors":"W C Hamscher, R Davis","year":"1987","venue":"Memo","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Hamscher, 1988] W. C. Hamscher. Model-based Trou- bleshooting of Digital Systems. Technical Report 1074, MIT Artificial Intelligence Lab, August 1988.","title":"Model-based Troubleshooting of Digital Systems","authors":"W C Hamscher","year":"1988","venue":null,"doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Lifschitz, 1987] V. Lifschitz. Formal Theories of Action (Preliminary Report) . In IJCAI-87, pages 966-972, Milan, Italy, August 1987.","title":"Formal Theories of Action (Preliminary Report)","authors":"V Lifschitz","year":"1987","venue":"IJCAI-87","doi":null,"url":null,"internal_url":"/proceedings/1987/199"},{"position":15,"raw":"[McAllester, 1980] D. A. McAllester. An Outlook on Truth Maintenance. Memo 551, MIT Artificial In- telligence Lab, August 1980.","title":"An Outlook on Truth Maintenance","authors":"D A Mcallester","year":"1980","venue":"Memo","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[McCarthy and Hayes, 1969] J. M. McCarthy and P. J. Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In D. Michie and B. Meltzer, editors, Machine Intelligence 4, pages 463-502. Edinburgh University Press, Scot- land, 1969. Also in Readings in Artificial Intelligence, B. L. Webber and N.J. Nilsson (eds.), Tioga Press, 1981.","title":"Some Philosophical Problems from the Standpoint of Artificial Intelligence","authors":"J M Mccarthy, P J Hayes","year":"1969","venue":"Machine Intelligence","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Pan, 1984] J. Pan. Qualitative reasoning with Deep- level Mechanism Models for Diagnoses of Mechanism Failures. In Proc. 1st IEEE Conf. on A./. Applica- tions, pages 295-301, Denver, CO, 1984.","title":"Qualitative reasoning with Deeplevel Mechanism Models for Diagnoses of Mechanism Failures","authors":"J Pan","year":"1984","venue":"Proc. 1st IEEE Conf. on A./. Applications","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Rowley et al., 1987] S. Rowley, H. Shrobe, R . Cassels, and W. C. Hamscher . Joshua: Uniform Access to Heterogeneous Knowledge Structures, or, Why Josh- ing is Better than Conniving or Planning. In AAAI- 87, pages 45-52, Seattle, WA, 1987.","title":"Joshua: Uniform Access to Heterogeneous Knowledge Structures, or, Why Joshing is Better than Conniving or Planning","authors":"S Rowley, H Shrobe, R Cassels, W C Hamscher","year":"1987","venue":"AAAI-87","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Searl et al., 1985] E. Searl, J . R . Jamieson, and C. I. Delaune. A Fault Detection and Isolation Method Applied to Liquid Oxygen Loading for the Space Shuttle. In IJCAI-85, pages 414-416, Los Angeles, CA, 1985.","title":"A Fault Detection and Isolation Method Applied to Liquid Oxygen Loading for the Space Shuttle","authors":"E Searl, J R Jamieson, C I Delaune","year":"1985","venue":"IJCAI-85","doi":null,"url":null,"internal_url":"/proceedings/1985/79"},{"position":20,"raw":"[Shoham, 1986] Y. Shoham. Chronological Ignorance: Time, Nonmonotonicity, Necessity, and Causal The- ories. In AAAI-86, pages 389-393, Philadelphia, PA, August 1986.","title":"Chronological Ignorance: Time, Nonmonotonicity, Necessity, and Causal Theories","authors":"Y Shoham","year":"1986","venue":"AAAI-86","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Williams, 1986] B. C. Williams. Doing Time : Putting Qualitative Reasoning on Firmer Ground . In AAAI- 86, pages 105-112, Philadelphia, PA, August 1986.","title":"Doing Time : Putting Qualitative Reasoning on Firmer Ground","authors":"B C Williams","year":"1986","venue":"AAAI-86","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}