The A Priori Meaningfulness Measure and Resolution Theorem Proving

&
Journal of Experimental and Theoretical Artificial Intelligence 1 (3):227-230 (1989)
  Copy   BIBTEX

Abstract

Demonstrates the validity of the measure presented in "Estimating Semantic Content" on textbook examples using (binary) resolution [a generalization of disjunctive syllogism] theorem proving; the measure is based on logical probability and is the mirror image of logical form; it dates to Popper.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The philosophical significance of Cox's theorem.Mark Colyvan - unknown
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
Theorem Proving via Uniform Proofs>.Alberto Momigliano - unknown
Evidential support and undermining: Revision of håkan törnebohm's theory of confirmation. [REVIEW]Harald Dickson - 1990 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 21 (1):163-182.
Finite powers of strong measure zero sets.Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1295-1306.
Resolution for Intuitionistic Logic.Melvin Fitting - unknown
Thephilosophyofautomatedtheoremproving.Francis Jeffry Pelletier - unknown
Popper’s Measure of Corroboration and P.Darrell Patrick Rowbottom - 2013 - British Journal for the Philosophy of Science 64 (4):axs029.
The Depth of Resolution Proofs.Alasdair Urquhart - 2011 - Studia Logica 99 (1-3):349-364.
Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
A measure of bizarreness.Christopher Chambers & Alan D. Miller - manuscript
Abstracts from Logical Form: An Experimental Study of the Nexus between Language and Logic II.Joseph S. Fulda - 2006 - Journal of Pragmatics 38 (6):925-943.
A mechanization of sorted higher-order logic based on the resolution principle.Michael Kohlhase - unknown
Is coherence conducive to reliability?Stefan Schubert - 2012 - Synthese 187 (2):607-621.

Analytics

Added to PP
2013-06-02

Downloads
59 (#260,788)

6 months
3 (#880,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references