A unified framework for hypothetical and practical reasoning (1): Theoretical foundations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1085, Issue , 1996, Pages 58-72

  Das, S K ^a   Fox, J ^b   Krause, P ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b IMPERIAL CANCER RESEARCH FUND   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; DECISION MAKING; FORMAL LOGIC; MEDICINE; SEMANTICS;

FLEXIBLE FRAMEWORK; GENERIC DECISIONS; POSSIBLE WORLD SEMANTICS; PRACTICAL REASONING; PROPOSITIONAL LOGIC; SOUNDNESS AND COMPLETENESS; THEORETICAL FOUNDATIONS; UNIFIED FRAMEWORK;

DECISION SUPPORT SYSTEMS;

EID: 77957985227     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61313-7_63     Document Type: Conference Paper

References (19)

1. R. H. Bonczek, C. W. Holsapple, and A. B. Whinston. Development in decision support systems. Advances in Computers, 23:123-154, 1984.
2. R. Bradley and N. Swartz. Possible Worlds. Basil Blackwell, 1979.
3. B. Chellas. Modal Logic. Cambridge University Press, 1980.
4. 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.
5. P. R. Cohen and H. Levesque. Intention is choice with commitment. Artificial Intelligence, 42, 1990.
6. S. K. Das. Deductive Databases and Logic Programming. Addison-Wesley, 1992.
7. S. K. Das. A logical reasoning with preference. Decision Support Systems, 15:19-25, 1995.
8. 2L. Technical Report RED/QMW/WP/740/1/4, QMW, University of London, London, 1994.
9. S. K. Das, J. Fox, P. Hammond, and D. Elsdon. A flexible architecture for autonomous agents, revised version is being considered by JETAI, 1995.
10. S. K. Das and P. Hammond. Managing tasks using an interval-based temporal logic. Journal of Applied Intelligence, in press.
11. R. Fagin and J. Y. Halpern. Belief, awareness and limited reasoning. Artificial Intelligence, 34:39-76, 1988.
12. 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.
13. 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.
14. 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.
15. P. J. Krause, S. J. Ambler, M. Elvang-Goransson, and J. Fox. A logic of argumentation for uncertain reasoning. Computational Intelligence, 11, 1995.
16. S. A. Kripke. Semantical analysis of modal logic I: normal modal propositional calculi. ZMLGM, 9:67-96, 1963.
17. E. J. Lemmon. An Introduction to Modal Logic. Basil Blackwell, 1977.
18. 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.
19. 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.