• DocumentCode
    3643655
  • Title

    Logic for possibility functions

  • Author

    Aleksandar Perović;Aleksandar Jovanović

  • Author_Institution
    University of Belgrade, Faculty of Transportation and Traffic Engineering, Serbia
  • fYear
    2011
  • Firstpage
    511
  • Lastpage
    512
  • Abstract
    We present sound, complete and decidable logic that formalizes reasoning about possibility functions with finite ranges.
  • Keywords
    "Argon","Possibility theory","Cognition","Boolean algebra","Semantics","Calculus","Syntactics"
  • Publisher
    ieee
  • Conference_Titel
    Intelligent Systems and Informatics (SISY), 2011 IEEE 9th International Symposium on
  • Print_ISBN
    978-1-4577-1975-2
  • Type

    conf

  • DOI
    10.1109/SISY.2011.6034382
  • Filename
    6034382
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3643655