First-Order Bayesian Logic

  title={First-Order Bayesian Logic},
  author={Kathryn B. Laskey},
Uncertainty is a fundamental and irreducible aspect of our knowledge about the world. Until recently, classical first-order logic has reigned as the de facto standard logical foundation for artificial intelligence. The lack of a built-in, semantically grounded capability for reasoning under uncertainty renders classical first-order logic inadequate for many important classes of problems. General-purpose languages are beginning to emerge for which the fundamental logical basis is probability… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 16 extracted citations

A Survey of First-Order Probabilistic Models

Innovations in Bayesian Networks • 2008
View 1 Excerpt

A GUI Tool for Plausible Reasoning in the Semantic Web using MEBN

Seventh International Conference on Intelligent Systems Design and Applications (ISDA 2007) • 2007
View 2 Excerpts

Probabilistic interval XML

ACM Trans. Comput. Log. • 2007
View 1 Excerpt

Credibility Models for Multi-Source Fusion

2006 9th International Conference on Information Fusion • 2006
View 1 Excerpt

Quantum Physical Symbol Systems

Journal of Logic, Language and Information • 2006
View 4 Excerpts


Publications referenced by this paper.
Showing 1-10 of 57 references

Bayesian Semantics for the Semantic Web

P. Costa
School of Information Technology and Engineering, • 2005
View 6 Excerpts
Highly Influenced

Bayesian Networks and Decision Graphs

Statistics for Engineering and Information Science • 2001
View 4 Excerpts
Highly Influenced

Complex Probabilistic Modeling with Recursive Relational Bayesian Networks

Annals of Mathematics and Artificial Intelligence • 2001
View 7 Excerpts
Highly Influenced

IBAL: An Integrated Bayesian Agent Language." Joint Conference on

A. University. Pfeffer
View 9 Excerpts
Highly Influenced

Elements of Pattern Theory

U. Grenander
View 4 Excerpts
Highly Influenced

Probability and Measure

P. Billingsley
View 5 Excerpts
Highly Influenced

Operations for Learning with Graphical Models

J. Artif. Intell. Res. • 1994
View 8 Excerpts
Highly Influenced

Object-Oriented Bayesian Networks

View 6 Excerpts
Highly Influenced

Representations of commonsense knowledge

notThenot Morgan Kaufmann series in representation and reasoning • 1990
View 3 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…