Skip to main content

Using Agent Satisfiability to Identify and Explain Interactions among Independent Greenhouse Climate Control Requirements

  • Conference paper
Advances on Practical Applications of Agents and Multi-Agent Systems

Abstract

The slow adoption pace of new control strategies for sustainable greenhouse climate control by industrial growers, is mainly due to the complexity of identifying and explaining potentially conflicts when integrating independently climate control requirements. In this paper, we show how the satisfiability of agents, implementing independent climate control requirements, can be used to identify and explain conflicting control interactions, which emerge because the agents share the same resources in the controlled environment. Potential conflicts due to unfulfilled climate control requirements correspond to low agent satisfiability. Low satisfiability indicates that an agent’s goal is conflicting with the proposed settings of the greenhouse climate. This allows us to explain to which degree independent climate control requirements are fulfilled by visualizing the satisfiability of the corresponding agents. We have evaluated our approach using real climate control data. The evaluation showed that it is possible to identify and explain conflicts among agents sharing the same controlled environment.

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.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. Aaslyng, J., Lund, J., Ehler, N., Rosenqvist, E.: IntelliGrow: a greenhouse component-based climate control system. Environmental Modelling & Software 18(7), 657–666 (2003)

    Article  Google Scholar 

  2. Armstrong, N., Robin, L., Bashar, N.: Feature Interaction as a Context Sharing Problem. In: Feature Interactions in Software and Communication Systems X (2009)

    Google Scholar 

  3. Bisbal, J., Cheng, B.H.C.: Resource-based approach to feature interaction in adaptive software. In: WOSS 2004: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, pp. 23–27. ACM, New York (2004)

    Chapter  Google Scholar 

  4. Calder, M., Kolberg, M., Magill, E., Marples, D., Reiff-marganiec, S.: Hybrid Solutions to the Feature Interaction Problem. In: Logrippo (ed.) 7th Intl. Workshop on Feature Interations in Telecommunication and Software Systems, vol. 8, pp. 295–312. IOS (2003)

    Google Scholar 

  5. Calder, M., Kolberg, M., Magill, E.H., Marganiec, S.R.: Feature interaction: a critical review and considered forecast. Comput. Netw. 41(1), 115–141 (2003)

    Article  MATH  Google Scholar 

  6. Davis, R., Buchanan, B.G.: Meta-Level Knowledge: Overview and Applications. In: The 5th International Joint Conference on Artificial Intelligence, pp. 920–927 (1977)

    Google Scholar 

  7. Hayes-Roth, B., Washington, R., Hewett, R., Hewett, M., Seiver, A.: Intelligent Monitoring and Control. In: The 11th International Joint Conference on Artificial Intelligence, pp. 243–249 (1989)

    Google Scholar 

  8. Joumaa, H., Demazeau, Y., Vincent, J.-M.: Performance Visualization of a Transport Multi-agent Application. In: Demazeau, Y., Pavón, J., Corchado, J.M., Bajo, J. (eds.) PAAMS 2009. AISC, vol. 55, pp. 188–196. Springer, Heidelberg (2009)

    Google Scholar 

  9. Kjaer, K.H., Ottosen, C.-O.: Growth of Chrysanthemum in Response to Supplemental Light Provided by IrregularLight Breaks during the Night. Journal of the American Society for Horticultural Science 136, 3–9 (2011)

    Google Scholar 

  10. Körner, O., Aaslyng, J.M., Andreassen, A.U., Holst, N.: Microclimate prediction for dynamic greenhouse climate control. HortScience 42(2), 272–279 (2007)

    Google Scholar 

  11. Körner, O., Andreassen, A.U., Aaslyng, J.M.: Simulating dynamic control of supplementary lighting. Acta Horticulturae 711, 151–156 (2006)

    Google Scholar 

  12. Körner, O., Challa, H.: Temperature integration and process-based humidity control in chrysanthemum. Computers and Electronics in Agriculture 43, 1–21 (2004)

    Article  Google Scholar 

  13. Liu, Y., Meier, R.: Resource-Aware Contracts for Addressing Feature Interaction in Dynamic Adaptive Systems. In: 2009 Fifth International Conference on Autonomic and Autonomous Systems, pp. 346–350. IEEE, Los Alamitos (2009)

    Chapter  Google Scholar 

  14. Markvart, J., Kalita, S., Nørregaard Jørgensen, B., Mazanti Aaslyng, J., Ottosen, C.O.: IntelliGrow 2.0 - A Greenhouse Component-based Climate Control System. In: Proceedings of the International Symposium on High Technology for Greenhouse System Management: Greensys (2007)

    Google Scholar 

  15. Metzger, A.: Feature interactions in embedded control systems. Computer Networks 45(5), 625–644 (2004)

    Article  MATH  Google Scholar 

  16. Sørensen, J.C., Jørgensen, B.N., Klein, M., Demazeau, Y.: An Agent-Based Extensible Climate Control System for Sustainable Greenhouse Production. In: The 14th International Conference on Principles and Practice of Multi-Agent Systems (2011)

    Google Scholar 

  17. Zambrano, A., Vera, T., Gordillo, S.E.: Solving Aspectual Semantic Conflicts in Resource Aware Systems. In: RAM-SE, pp. 79–88 (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jan Corfixen Sørensen .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sørensen, J.C., Jørgensen, B.N., Demazeau, Y. (2012). Using Agent Satisfiability to Identify and Explain Interactions among Independent Greenhouse Climate Control Requirements. In: Demazeau, Y., Müller, J., Rodríguez, J., Pérez, J. (eds) Advances on Practical Applications of Agents and Multi-Agent Systems. Advances in Intelligent and Soft Computing, vol 155. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28786-2_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-28786-2_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-28785-5

  • Online ISBN: 978-3-642-28786-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics