Coherence measure based on average use of formulas

Rex Kwok, Abhaya Nayak, Norman Foo

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


Coherence is a positive virtue of theories, and its importance in theory construction is beyond debate. Unfortunately, however, a rigorous and computable definition of coherence is conspicuously lacking in the literature. This paper attempts to remedy this situation by formalising this notion of coherence and suggesting a measure. Roughly speaking, we suggest that a theory is coherent to the degree that its members (read formulas) are required to account for the intended class of observations. This approach is motivated by Bonjour’s account of coherence. We also generalise this notion of coherence to work in the context of a potentially infinite long sequence of observations.

Original languageEnglish
Title of host publicationPRICAI'98: Topics in Artificial Intelligence
Subtitle of host publication5th Pacific Rim International Conference on Artificial Intelligence Singapore, November 22–27, 1998 Proceedings
EditorsHing-Yan Lee, Hiroshi Motoda
Place of PublicationBerlin
PublisherSpringer, Springer Nature
Number of pages12
ISBN (Electronic)9783540494614
ISBN (Print)9783540652717
Publication statusPublished - 1998
Externally publishedYes
Event5th Pacific Rim Intemational Conference on Artificial Intelligence, PRICAI 1998 - Singapore, Singapore
Duration: 22 Nov 199827 Nov 1998

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other5th Pacific Rim Intemational Conference on Artificial Intelligence, PRICAI 1998


Dive into the research topics of 'Coherence measure based on average use of formulas'. Together they form a unique fingerprint.

Cite this