Abstract
We describe here a general and flexible framework for decision making which embodies the concepts of beliefs, goals, options, arguments and commitments. We have employed these concepts to build a generic decision support system which has been successfully applied in a number of areas in clinical medicine. In this paper, we present the formalisation of the decision making architecture within a framework of modal propositional logics. A possible-world semantics of the logic is developed and the soundness and completeness result is also established.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
R. H. Bonczek, C. W. Holsapple, and A. B. Whinston. Development in decision support systems. Advances in Computers, 23:123–154, 1984.
R. Bradley and N. Swartz. Possible Worlds. Basil Blackwell, 1979.
B. Chellas. Modal Logic. Cambridge University Press, 1980.
D. A. Clark, J. Fox, A. J. Glowinski, and M. J. O'Neil. Symbolic reasoning for decision making. In K. Borcherding, O. I. Larichev, and D. M. Messick, editors, Contemporary Issues in Decision Making, pages 57–75. Elsevier Science Publishers B. V. (North-Holland), 1990.
P. R. Cohen and H. Levesque. Intention is choice with commitment. Artificial Intelligence, 42, 1990.
S. K. Das. Deductive Databases and Logic Programming. Addison-Wesley, 1992.
S. K. Das. A logical reasoning with preference. Decision Support Systems, 15:19–25, 1995.
S. K. Das and D. Elsdon. R 2L. Technical Report RED/ QMW/ WP/ 740/ 1/ 4, QMW, University of London, London, 1994.
S. K. Das, J. Fox, P. Hammond, and D. Elsdon. A flexible architecture for autonomous agents, revised version is being considered by JETAI, 1995.
S. K. Das and P. Hammond. Managing tasks using an interval-based temporal logic. Journal of Applied Intelligence, in press.
R. Fagin and J. Y. Halpern. Belief, awareness and limited reasoning. Artificial Intelligence, 34:39–76, 1988.
J. Fox and S. K. Das. A unified framework for hypothetical and practical reasoning (2): lessons from medical applications. In Proceeding of FAPR, June 1996.
J. Fox, S. K. Das, and D. Elsdon. Decision making and planning in autonomous systems: theory, technology and applications. In Proceedings of the ECAI Workshop on Decision Theory for DAI Applications, 1994.
J. Y. Halpern and Y. O. Moses. A guide to the modal logics of knowledge and belief. In Proceedings of the 9th International Joint Conference on Artificial Intelligence, pages 480–490, 1985.
P. J. Krause, S. J. Ambler, M. Elvang-Goransson, and J. Fox. A logic of argumentation for uncertain reasoning. Computational Intelligence, 11, 1995.
S. A. Kripke. Semantical analysis of modal logic I: normal modal propositional calculi. ZMLGM, 9:67–96, 1963.
E. J. Lemmon. An Introduction to Modal Logic. Basil Blackwell, 1977.
J.-J. Ch. Meyer, W. van der Hoek, and G. A. W. Vreeswijk. Epistemic logic for computer science: a tutorial (part one). EATCS, 44:242–270, 1991.
J. Wainer. Yet another semantics of goals and goal priorities. In Proceedings of the 11th European Conference on Artificial Intelligence, pages 269–273, August 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Das, S.K., Fox, J., Krause, P. (1996). A unified framework for hypothetical and practical reasoning (1): Theoretical foundations. In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_63
Download citation
DOI: https://doi.org/10.1007/3-540-61313-7_63
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61313-8
Online ISBN: 978-3-540-68454-1
eBook Packages: Springer Book Archive