CONTEXT 2001: Modeling and Using Context pp 45-58 | Cite as

Pragmatic Reasoning Pragmatic Semantics and Semantic Pragmatics

  • John Bell
Conference paper
First Online:
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2116)

Abstract

This paper is concerned with the conceptual foundations of pragmatic reasoning (context-dependent reasoning). A general pragmatic semantics (a semantic analysis which includes a pragmatic parameter) is given for pragmatic reasoning, the logical properties of the various forms of pragmatic reasoning are discussed, as are many examples. The semantic pragmatics (the general study of choosing or inferring appropriate contexts) for pragmatic reasoning is then discussed, with illustrations from common sense reasoning and scientific reasoning.

Keywords

Pragmatic Reasoning Nonmonotonic Reasoning Nonmonotonic Logic Semantic Reasoning Syntactic Context 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J. Bell (1991) Pragmatic Logics. Proc. KR’91, Morgan Kaufmann, San Mateo, California, pp. 50–60.Google Scholar
  2. 2.
    J. Bell (1995) Pragmatic Reasoning; A Model-Based Theory. J. Bell. In: Applied Logic: How, What, and Why?, L. Pólos and M. Masuch (Eds.), Kluwer Academic Publishers. Amsterdam, pp. 1–28.Google Scholar
  3. 3.
    J. Bell (1999) Pragmatic Reasoning: Inferring Contexts. Proc. Context’99. P. Bouquet et al. (Eds.), Lecture Notes in Artificial Intelligence 1688, Springer, Berlin, pp. 42–53.Google Scholar
  4. 4.
    J. Bell (2000) Primary and Secondary Events. Submitted to Electronic Transactions on Artificial Intelligence.Google Scholar
  5. 5.
    J. Bell (2001) Causal Counterfactuals. To be presented at Common Sense-2001.Google Scholar
  6. 6.
    J. Bell. (Forthcoming) Goodman’s paradox and inductive logic.Google Scholar
  7. 7.
    J. Bell and Z. Huang (1997) Dynamic Goal Hierarchies. In: Intelligent Agent Systems: Theoretical and Practical Issues. L. Cavedon, A. Rao, W. Wobcke (Eds.), Lecture Notes in Artificial Intelligence 1027. Springer, Berlin, pp. 88–103.Google Scholar
  8. 8.
    J. Bell and Z. Huang (1999) Dynamic Obligation Hierarchies. In: Norms, Logics and Information Systems: New Studies in Deontic Logic and Computer Science, P. McNamara and H. Prakken (Eds.), Ios Press, Amsterdam, 1999, pp. 231–246.Google Scholar
  9. 9.
    J. Bell and Z. Huang (1999) Dynamic Belief Hierarchies. In: Formal Models of Agents, J.J. Meyer and P-Y. Schobbens (Eds.), Lecture Notes in Artificial Intelligence 1760, Springer, Berlin, pp. 20–32.CrossRefGoogle Scholar
  10. 10.
    J. Bell and Z. Huang (1999) Seeing is believing: A common sense theory of the adoption of perception-based beliefs. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 13, pp. 133–140.CrossRefGoogle Scholar
  11. 11.
    S. Buvac and A. Mason (1993) Propositional logic of context. Proc. AAAI-93.Google Scholar
  12. 12.
    D.M. Gabbay (1985) Theoretical foundations for non-monotonic reasoning in expert systems. In: K.R. Apt (Ed.) proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems, Springer, Berlin, 1985.Google Scholar
  13. 13.
    F. Giunchiglia and C. Ghidini (1998) Local models semantics, or contextual reasoning = Locality + compatibility. Proc. KR’98, pp. 282–289.Google Scholar
  14. 14.
    N. Goodman (1955) Fact, Fiction and Forecast, 4th Edition, Harvard University Press, Cambridge, Mass.Google Scholar
  15. 15.
    P. Grice (1989) Studies in the Way of Words, Harvard University Press, Cambridge, Mass.Google Scholar
  16. 16.
    S. Hanks and D. McDermott (1987) Nonmonotonic logic and temporal projection. Artificial Intelligence 33, pp. 379–412.MATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    C.G. Hempel (1943) A Purely Syntactical Definition of Confirmation, Journal of Symbolic Logic, 8 pp. 122–143.MATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    H. Kamp and U. Reyle (1993) From Discourse to Logic; Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, Kluwer Academic Publishers, Dordrecht.Google Scholar
  19. 19.
    D. Kaplan (1978) On the logic of demonstratives. Journal of Philosophical Logic 8, pp. 81–98.Google Scholar
  20. 20.
    S.C. Kleene (1952) Introduction to Metamathematics. North-Holland, Amsterdam.MATHGoogle Scholar
  21. 21.
    S. Kraus, D. Lehmann and M. Magidor (1990) Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, pp. 167–207.CrossRefMathSciNetMATHGoogle Scholar
  22. 22.
    S. Kripke (1963) Semantical considerations on modal logic. Acta Philosophica Fennica 16, pp. 83–94.MATHMathSciNetGoogle Scholar
  23. 23.
    D. Lehmann and M. Magidor (1992) What does a conditional knowledge base entail? Artificial Intelligence 55, pp. 1–60.MATHCrossRefMathSciNetGoogle Scholar
  24. 24.
    D. Lewis (1973) Counterfactuals. Basil Blackwell, Oxford.Google Scholar
  25. 25.
    D. Makinson (1989) General theory of cumulative inference. In: M. Reinfrank, J. de Kleer, M. Ginsberg and E. Sandewall (Eds.) Non-Monotonic Reasoning, Springer LNAI 346, Berlin.Google Scholar
  26. 26.
    D. Makinson (1994) General Patterns in Nonmonotonic Reasoning. In: Handbook of Logic in Artificial Intelligence and Logic Programming, D.M. Gabbay, C. J. Hogger and J.A. Robinson (Eds.), Vol. 3, pp. 35–110.Google Scholar
  27. 27.
    J. McCarthy (1980) Circumscription-A Form of Nonmonotonic Reasoning, Artificial Intelligence 13, pp. 27–39.MATHCrossRefMathSciNetGoogle Scholar
  28. 28.
    J. McCarthy (1993) Notes on formalizing context. Proc. IJCAI’93, pp. 555–560.Google Scholar
  29. 29.
    R. Montague (1970) Pragmatics and intensional logic. Synthese 22, pp. 68–94.MATHCrossRefGoogle Scholar
  30. 30.
    H. Putnam. Much Ado About Not Very Much (1988) In: The Artificial Intelligence Debate, S.R. Graubard (Ed.), MIT Press, Cambridge, Mass.Google Scholar
  31. 31.
    R. Reiter (1980) A logic for default reasoning. Artificial Intelligence 13, pp. 81–132.MATHCrossRefMathSciNetGoogle Scholar
  32. 32.
    Y. Shoham (1987) Nonmonotonic Logics: Meaning and Utility. In: Proc. IJCAI’87, pp. 23–28.Google Scholar
  33. 33.
    Y. Shoham (1988) Reasoning About Change, M.I.T.Press, Cambridge Mass.Google Scholar
  34. 34.
    R.C. Stalnaker (1975) A theory of conditionals. In Causation and Conditionals, E. Sosa (Ed.), Oxford University Press, Oxford, 1975, pp. 165–179. First published in N. Rescher (Ed.) Studies in Logical Theory, Basil Blackwell, Oxford, 1968.Google Scholar
  35. 35.
    R.C. Stalnaker (1998) On the Representation of Context, Journal of Logic, Language and Information, 7(1), 1998, pp. 3–19.MATHCrossRefMathSciNetGoogle Scholar
  36. 36.
    R.C. Stalnaker and R.H. Thomason (1970) A semantic analysis of conditional logic. Theoria 36, pp. 23–42.MATHCrossRefGoogle Scholar
  37. 37.
    S. Ullman (1996) High-Level Vision; Object recognition and Visual Cognition, MIT Press, Cambridge, Mass.MATHGoogle Scholar
  38. 38.
    G. White, J. Bell and W. Hodges (1998) Building models of prediction theories. Proc. KR’ 98, pp. 557–568.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • John Bell
    • 1
  1. 1.Applied Logic Group Department of Computer Science, Queen MaryUniversity of LondonLondon

Personalised recommendations