The paper offers an overview of the authors' results on formalization of uncertain reasoning in first-order framework.