Reasoning about Higher Order Uncertainty in Possiblistic Logic.
Churn-Jung LiauBertrand I-Peng LinPublished in: ISMIS (1993)
Keyphrases
- higher order
- higher order logic
- formal theory
- lambda calculus
- probabilistic knowledge
- probability theory
- high order
- modal operators
- natural images
- modal logic
- uncertain data
- pairwise
- markov random field
- classical logic
- spatial reasoning
- causal reasoning
- logic programming
- inherent uncertainty
- neural network
- qualitative reasoning
- multi valued
- predicate calculus
- programming language
- possibility theory
- lower order
- proof theory
- rough sets