Skip to main content

Towards the Abstraction and Generalization of Actor-Based Architectures in Diagnostic Reasoning

  • Chapter
Book cover Collaboration between Human and Artificial Societies

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1624))

  • 206 Accesses

Abstract

Research in multimodel based diagnosis stresses the role of a centralized diagnostic agent in a computational framework made of different models. Each of these models provides knowledge according to a given representation of the system to diagnose: structural, behavioral, functional and teleological aspects are each embodied into a different model. According to this approach, various proposals have been formulated in terms of cooperation among different views without comprehensively addressing the issues of concurrency and collaboration, in particular the effect of asynchronous message passing in software design. We present here the use of a distributed and concurrent architecture in which different models collaborate in order to achieve a global diagnosis through a set of independent actors. The paper reports about two experiences: a distributed architecture representing a user model in an intelligent tutoring system (ITS) and a diagnostic engine for troubleshooting a physical system. In spite of the difference of the two applications, we may abstract from the two architectures important common patterns that constitute the core of the distributed management of the multiple knowledge sources.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abu-Hanna, A., Benjamings, R., Jansweijer, W.: Device understanding and modeling for diagnosis. IEEE Expert 6, 26–31 (1991)

    Article  Google Scholar 

  2. Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)

    Google Scholar 

  3. Agha, G., Houck, C., Panwar, R.: Distributed Execution of Actor Programs. In: Cheese, A. (ed.) Parallel Execution of Parlog. LNCS, vol. 586, pp. 1–17. Springer, Heidelberg (1992)

    Chapter  Google Scholar 

  4. Anderson, J.R., Boyle, C.F., Corbett, A.T., Lewis, M.W.: Cognitive modeling and intelligent tutoring. Artificial Intelligence 42, 7–49 (1990)

    Article  Google Scholar 

  5. Brown, J.S., Burton, R.R.: Diagnostic Models for Procedural Bugs in Basic Mathematical Skills. Cognitive Science 2, 155–192 (1978)

    Article  Google Scholar 

  6. Chittaro, L., Guida, G., Tasso, C., Toppano, E.: Functional and teleological knowledge in the multimodeling approach for reasoning about physical systems: a case study in diagnosis. IEEE Transaction System, Man, Cybernetics 23, 1718–1751 (1993)

    Article  Google Scholar 

  7. Cerri, S.A., Loia, V.: A Concurrent, Distributed Architecture for Diagnostic Reasoning. User Modeling and User Adaptive Interaction 7, 69–105 (1997)

    Article  Google Scholar 

  8. Davis, R.: Retrospective on Diagnostic Reasoning based on Structure and Behavior. Artificial Intelligence 59, 149–157 (1993)

    Article  Google Scholar 

  9. Dattolo, A., Loia, V.: Active distributed framework for adaptive hypermedia. Int. Journal of Human-Computer Studies 46(5), 605–626 (1997)

    Article  Google Scholar 

  10. Damasio, C.V., Nejdl, W., Pereira, L., Schroeder, M.: Model-based diagnosis preferences and strategies representation with meta logic programming. In: Apt, K.R., Turini, F. (eds.) Meta-logics and Logic Programming, pp. 269–311. MIT Press, Cambridge (1995)

    Google Scholar 

  11. Fennel, R.D., Lesser, V.: Parallelism in Artificial Intelligence Problem Solving: A Case Study of Hearsay II. IEEE Transaction on Computers 26, 98–111 (1977)

    Article  Google Scholar 

  12. Fröhlich, P., Nejdl, W., Schroeder, M.: Strategies in Model-based Diagnosis. Journal of Automated Reasoning 20(1,2), 81–105 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  13. Fröhlich, P., Móra, I., Nejdl, W., Schroeder, M.: Diagnostic Agents for Distributed Systems. In: Meyer, J.-J.C., Schobbens, P.-Y. (eds.) ModelAge-WS 1997. LNCS (LNAI), vol. 1760, pp. 173–186. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  14. Hamscher, W.C.: Modeling digital circuits for troubleshooting. Artificial Intelligence 51, 223–271 (1991)

    Article  Google Scholar 

  15. Kafura, D., Briot, J.P.: Introduction to Actors and Agents. IEEE Concurrency, Special Series on Actors and Agents, 24–29 (Summer 1998)

    Google Scholar 

  16. Lesser, V.: ‘An Overview of DAI: Viewing Distributed AI as Distributed Research. Journal of Japanese Society of AI, Special Issue on DAI, vol. 5, num. 4, R. Nakano and S. doshita (Eds.), pp. 392-400 (1990)

    Google Scholar 

  17. Loia, V., Gisolfi, A.: A Distributed Approach for Multiple Model Diagnosis of Physical Systems. Information Sciences 99(3-4), 247–288 (1997)

    Article  Google Scholar 

  18. Noteboom, P., Leemeijer, G.B.: Focusing based on the structure of a model in modelbased diagnosis. Int. J. Man-Machine Studies 38, 455–474 (1993)

    Article  Google Scholar 

  19. Rissland, E.L., Basu, C., Daniels, J.J., McCarhty, J., Rubinstein, Z.B., Skalak, D.B.: A Blackboard-Based Architecture for Case-Based Reasoning. In: Proceedings of Case-Based Reasoning Workshop, Washington D.C, pp. 77–92. Morgan Kaufmann Pub., San Francisco (1991)

    Google Scholar 

  20. Self, J.: Model-based cognitive diagnosis. User Modeling and User Adapted Interaction 3, 89–106 (1993)

    Article  Google Scholar 

  21. Sleeman, D.: Assessing aspects of competence in basic algebra. In: Sleeman, D., Brown, J.S. (eds.) Intelligent Tutoring Systems, pp. 185–199 (1982)

    Google Scholar 

  22. Tomlinson, C., Scheevel, M., Singh, V.: Report on Rosette 1.1, MCC TR ACTOODS- 275-91, MCTC, Austin, TX (July 1991)

    Google Scholar 

  23. Yonezawa, A.: ABCL: an Object-Oriented Concurrent System. MIT Press, Cambridge (1990)

    Google Scholar 

  24. Yonezawa, A., Tokoro, M. (eds.): Object Oriented Concurrent Programming. MIT Press, Cambridge (1987)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Cerri, S.A., Gisolfi, A., Loia, V. (1999). Towards the Abstraction and Generalization of Actor-Based Architectures in Diagnostic Reasoning. In: Padget, J.A. (eds) Collaboration between Human and Artificial Societies. Lecture Notes in Computer Science(), vol 1624. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10703260_7

Download citation

  • DOI: https://doi.org/10.1007/10703260_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66930-2

  • Online ISBN: 978-3-540-46624-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics