Advertisement

The Coherence of Theories—Dependencies and Weights

  • Jason Jingshi LiEmail author
  • Rex Bing Hung Kwok
  • Norman Y. Foo
Part of the Trends in Logic book series (TREN, volume 28)

Abstract

One way to evaluate and compare rival but potentially incompatible theories that account for the same set of observations is coherence. In this paper we take the quantitative notion of theory coherence as proposed by Kwok et al. (Proceedings of the Fifth Pacific Rim Conference on Artificial Intelligence, pp. 553–564, 1998) and broaden its foundations. The generalisation will give a measure of the efficacy of a sub-theory as against single theory components. This also gives rise to notions of dependencies and couplings to account for how theory components interact with each other. Secondly we wish to capture the fact that not all components within a theory are of equal importance. To do this we assign weights to theory components. This framework is applied to game theory and the performance of a coherentist player is investigated within the iterated Prisoner’s Dilemma.

Keywords

coherence philosophy of science theory evaluation game theory 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Axelrod, 1981]
    Axelrod, R. (1981), ‘The evolution of cooperation’, Science, 211(4489): 1390–1396. CrossRefMathSciNetGoogle Scholar
  2. [Craig, 1953]
    Craig, W. (1953), ‘On axiomatizability within a system’, The Journal of Symbolic Logic, 18: 30–32. zbMATHCrossRefMathSciNetGoogle Scholar
  3. [van Fraassen, 1980]
    van Fraassen, B. (1980), The Scientific Image, Clarendon Press, Oxford, pp. 14–19. Google Scholar
  4. [Gardenfors, 1988]
    Gardenfors, P. (1988), Knowledge In Flux, MIT Press, Cambridge, MA. Google Scholar
  5. [Hawking, 2001]
    Hawking, S.W. (2001), The Universe in a Nutshell, Bantam Books, New York. Google Scholar
  6. [Kwok et al., 1998]
    Kwok, R.B.H., Nayak, A.C., Foo, N. (1998), ‘Coherence measure based on average use of formulas’, in Proceedings of the Fifth Pacific Rim Conference on Artificial Intelligence, LNCS, vol. 1531, Springer Verlag, pp. 553–564. Google Scholar
  7. [Kwok et al., 2003]
    Kwok, R.B.H., Foo, N., Nayak, A.C. (2003), ‘The coherence of theories’, in Proceedings of the 18th Joint International Conference on Artificial Intelligence, IJCAI03, Acapulco, Mexico, August 2003. Google Scholar
  8. [Kwok et al., 2007]
    Kwok, R.B.H., Foo, N., Nayak, A.C. (2007), ‘Coherence of laws’, UNSW Computer Science and Engineering Technical Report, Number: UNSW-CSE-TR-0719, October 2007. ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/0719.pdf. Google Scholar
  9. [Nagel, 1961]
    Nagel, E. (1961), Structure of Science, Harcourt. Google Scholar
  10. [Rao and Georgeff, 1991]
    Rao, A.S., Georgeff, M.P. (1991), ‘Modeling rational agents within a BDI-architecture’, in Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR’91), pp. 473–484. Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  • Jason Jingshi Li
    • 1
    Email author
  • Rex Bing Hung Kwok
    • 2
  • Norman Y. Foo
    • 3
  1. 1.Research School of Information Science and EngineeringAustralian National UniversityCanberraAustralia
  2. 2.School of Computer Science and EngineeringUniversity of New South WalesSydneyAustralia
  3. 3.School of Computer Science and EngineeringUniversity of New South WalesSydneyAustralia

Personalised recommendations