Probabilistic semantics for nonmonotonic reasoning: a survey
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Decision analysis and expert systems
AI Magazine
Probabilistic Horn abduction and Bayesian networks
Artificial Intelligence
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
Weaving the Web; The Original Design and Ultimate Destiny of the World Wide Web by Its Inventor (2 Cassettes)
Variable-strength conditional preferences for ranking objects in ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Introduction to Statistical Relational Learning (Adaptive Computation and Machine Learning)
Introduction to Statistical Relational Learning (Adaptive Computation and Machine Learning)
MEBN: A language for first-order Bayesian knowledge bases
Artificial Intelligence
Expressive probabilistic description logics
Artificial Intelligence
Logical generative models for probabilistic reasoning about existence, roles and identity
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
IAAI'07 Proceedings of the 19th national conference on Innovative applications of artificial intelligence - Volume 2
Type uncertainty in ontologically-grounded qualitative probabilistic matching
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Logic, probability and computation: foundations and issues of statistical relational AI
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Probabilistic relational learning and inductive logic programming at a global scale
ILP'10 Proceedings of the 20th international conference on Inductive logic programming
Probabilistic reasoning with undefined properties in ontologically-based belief networks
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.01 |
This chapter overviews work on semantic science . The idea is that, using rich ontologies, both observational data and theories that make (probabilistic) predictions on data are published for the purposes of improving or comparing the theories, and for making predictions in new cases. This paper concentrates on issues and progress in having machine accessible scientific theories that can be used in this way. This paper presents the grand vision, issues that have arisen in building such systems for the geological domain (minerals exploration and geohazards), and sketches the formal foundations that underlie this vision. The aim is to get to the stage where: any new scientific theory can be tested on all available data; any new data can be used to evaluate all existing theories that make predictions on that data; and when someone has a new case they can use the best theories that make predictions on that case.