Abstract
In this paper logical techniques developed to formalize the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to an ecological domain. A knowledge-based decision support system is described that determines the abiotic (chemical and physical) characteristics of a site on the basis of samples of plant species that are observed. The logical foundation of this system is described in terms of a belief set operator and a selection operator. Moreover, it is shown how the belief set operator that corresponds to the system can be represented by a normal default theory.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
F.M.T. Brazier, B. Dunin-Keplicz, N.R. Jennings, and J. Treur, “Formal Specification of Multi-Agent Systems: a real-world case”, in: V. Lesser (ed.), Proc. of the First International Conference on Multi-Agent Systems, ICMAS’95, MIT Press, Cambridge, MA, pp. 25–32. Extended version in: International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, 1997, pp. 67–94.
F.M.T. Brazier, J. Treur, and N.J.E. Wijngaards, “The Acquisition of a Shared Task Model”, in: N. Shadbolt, K. O’Hara, G. Schreiber (eds.), Advances in Knowledge Acquisition, Proc. 9th European Knowledge Acquisition Workshop, EKAW’96, Lecture Notes in Artificial Intelligence, vol. 1076, Springer Verlag, pp. 278–289.
F.M.T. Brazier, J. Treur, and N.J.E. Wijngaards, “Modelling Interaction with Experts: the Role of a Shared Task Model”, in: W. Wahlster (ed.), Proc. European Conference on AI, ECAI’96, John Wiley and Sons, 1996, pp. 241–245.
F.M.T. Brazier, J. Treur, N.J.E. Wijngaards, and M. Willems, “Formal Specification of Hierarchically (De)Composed Tasks”, in: B.R. Gaines, M.A. Musen (eds.), Proc. of the 9th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW’95, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, 1995, pp. 25/1–15/20.
P. Besnard, An Introduction to Default Logic, Springer-Verlag, 1989.
G. Brewka, “Adding Priorities and Specificity to Default Logic”, in: C. MacNish, D. Pearce, L.M. Pereira (eds.), Logics in Artificial Intelligence, Proceedings of the JELIA-94, Lecture Notes in Artificial Intelligence, vol. 838, Springer-Verlag, 1994, pp. 247–260.
G. Brewka, “Reasoning about Priorities in Default Logic”, in: Proceedings of the AAAI-94, 1994.
J. Engelfriet, H. Herre and J. Treur, “Nonmonotonic Reasoning with Multiple Belief Sets”, in: D.M. Gabbay, H.J. Ohlbach (eds.), Practical Reasoning, Proceedings FAPR’96, Lecture Notes in Artificial Intelligence, vol. 1085, Springer-Verlag, 1996, pp. 331–344.
J. Engelfriet, V.W. Marek, J. Treur and M. Truszczynski, “Infinitary Default Logic for Specification of Nonmonotonic Reasoning”, in: J.J. Alferes, L.M. Pereira, E. Orlowska (eds.), Logics in Artificial Intelligence, Proceedings of the Fourth European Workshop on Logics in AI, JELIA’96, Lecture Notes in Artificial Intelligence, vol. 1126, Springer-Verlag, 1996, pp. 224–236.
D. Makinson, “General Patterns in Nonmonotonic Reasoning”, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Oxford Science Publications, 1994, pp. 35–110.
V.W. Marek and M. Truszczynski, Nonmonotonic logics; context-dependent reasoning, Springer-Verlag, 1993.
V.W. Marek, J. Treur and M. Truszczynski, “Representation Theory for Default Logic”, to appear in Annals of Mathematics and Artificial Intelligence, 1997.
R. Reiter, “A Logic for Default Reasoning”, Artificial Intelligence 13, 1980, pp. 81–132.
Y.-H. Tan, J. Treur, “Constructive Default Logic and the Control of Defeasible Reasoning”, in: B. Neumann (ed.), Proc. of the European Conference on Artificial Intelligence, ECAI’92, John Wiley and Sons, 1992, pp. 299–303.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Brazier, F., Engelfriet, J., Treur, J. (1998). Analysis of Multi-Interpretable Ecological Monitoring Information. In: Hunter, A., Parsons, S. (eds) Applications of Uncertainty Formalisms. Lecture Notes in Computer Science(), vol 1455. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49426-X_14
Download citation
DOI: https://doi.org/10.1007/3-540-49426-X_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65312-7
Online ISBN: 978-3-540-49426-3
eBook Packages: Springer Book Archive