• DocumentCode
    2786845
  • Title

    A situation-based approach to approximate truth

  • Author

    Osherson, Daniel N. ; Stob, Michael ; Weinstein, Scott

  • Author_Institution
    MIT, Cambridge, MA, USA
  • fYear
    1990
  • fDate
    5-7 Sep 1990
  • Firstpage
    431
  • Abstract
    The authors have been exploring an alternative approach to fuzzy logic which preserves the standard conception of set membership. Similarity between situations is used to construct a theory of approximate truth. The theory is embedded in a first-order logical framework, and an attempt is made to provide an intuitive understanding of its leading ideas. An algorithm is described for determining the approximate truth-value of predicate logic sentences in a given situation
  • Keywords
    formal logic; approximate truth; first-order logical framework; predicate logic; situation-based approach; truth-value; Educational institutions; Fuzzy logic; Gold; Logic testing; Marine vehicles; Minerals; Probability distribution; Proposals; Shafts;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Intelligent Control, 1990. Proceedings., 5th IEEE International Symposium on
  • Conference_Location
    Philadelphia, PA
  • ISSN
    2158-9860
  • Print_ISBN
    0-8186-2108-7
  • Type

    conf

  • DOI
    10.1109/ISIC.1990.128492
  • Filename
    128492