CHR(PRISM)-based probabilistic logic learning
نویسندگان
چکیده
منابع مشابه
Knowledge-Based Probabilistic Logic Learning
Advice giving has been long explored in artificial intelligence to build robust learning algorithms. We consider advice giving in relational domains where the noise is systematic. The advice is provided as logical statements that are then explicitly considered by the learning algorithm at every update. Our empirical evidence proves that human advice can effectively accelerate learning in noisy ...
متن کاملCHR(PRISM)-based probabilistic logic learning
PRISM is an extension of Prolog with probabilistic predicates and built-in support for expectation-maximization learning. Constraint Handling Rules (CHR) is a high-level programming language based on multi-headed multiset rewrite rules. In this paper, we introduce a new probabilistic logic formalism, called CHRiSM, based on a combination of CHR and PRISM. It can be used for high-level rapid pro...
متن کاملLogic-Based Probabilistic Modeling
After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distribution semantics, PRISM’s semantics, which defines a probability measure on a set of possible Herbrand models. We then mention characteristic features of PRISM as a tool for probabilistic modeling.
متن کاملLearning Probabilistic Logic Models with Human Advice
We consider the problem of interactive machine learning for rich, structured and noisy domains. We present a recently successful learning algorithm and provide several extensions for incorporating rich, high level, human feedback. We then discuss some open problems in this area.
متن کاملProbabilistic Logic-Based Process Mining
The management of business processes has recently received much attention, since it can support significant efficiency improvements in organizations. One of the most interesting problems is the description of a process model in a language, also equipped with an operational support, that allows checking the compliance of a process execution (trace) to the model. Another problem of interest is th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2010
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068410000207