On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events.

Tommaso Flaminio

Published in: Int. J. Approx. Reason. (2021)

Keyphrases

formal model
probabilistic model
parameter estimation
probabilistic logic
neural network
image segmentation
high level
search algorithm
search space
higher order
decision makers
generative model
maximum entropy