Briefly, it is a collection of formulas from first-order logic, to each of which is assigned a real number, the weight.
The above definition glosses over a subtle point: atomic formulas do not have a truth value unless they are grounded and given an interpretation; that is, until they are ground atoms with a Herbrand interpretation.