Title :
Logic for possibility functions
Author :
Aleksandar Perović;Aleksandar Jovanović
Author_Institution :
University of Belgrade, Faculty of Transportation and Traffic Engineering, Serbia
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"
Conference_Titel :
Intelligent Systems and Informatics (SISY), 2011 IEEE 9th International Symposium on
Print_ISBN :
978-1-4577-1975-2
DOI :
10.1109/SISY.2011.6034382
