Probabilistic Logic for Reasoning About Actions in Time

2019 ◽  
pp. 385-396
Author(s):  
Šejla Dautović ◽  
Dragan Doder
Keyword(s):  
Probabilistic Logic ◽  
Reasoning About Actions

scholarly journals The theory of interval probabilistic logic programs

2008 ◽  
Vol 55 (3-4) ◽  
pp. 355-388 ◽  
Author(s):  
Alex Dekhtyar ◽  
Michael I. Dekhtyar
Keyword(s):  
Probabilistic Logic ◽  
Logic Programs

scholarly journals Lifted discriminative learning of probabilistic logic programs

2018 ◽  
Vol 108 (7) ◽  
pp. 1111-1135 ◽  
Author(s):  
Arnaud Nguembang Fadja ◽  
Fabrizio Riguzzi
Keyword(s):  
Probabilistic Logic ◽  
Discriminative Learning ◽  
Logic Programs

scholarly journals Probabilistic logic reasoning for subjective interestingness analysis

2019 ◽  
Vol 11 (1) ◽  
pp. 59-66
Author(s):  
José Carlos Ferreira Da Rocha ◽  
Alaine M. Guimarães ◽  
Valter L. Estevam Jr.
Keyword(s):  
Linear Programming ◽  
Domain Knowledge ◽  
Logic Program ◽  
Probabilistic Logic ◽  
Classification Rules ◽  
Subjective Interestingness ◽  
Sample Application ◽  
Logic Reasoning

This paper presents an approach that uses probabilistic logic reasoning to compute subjective interestingness scores for classification rules. In the proposed approach, domain knowledge is represented as a probabilistic logic program that encodes information from experts and statistical reports. The computation of interestingness scores is performed by a procedure that applies linear programming to reasoning regarding the probabilities of interest. It provides a mechanism to calculate probability-based subjective interestingness scores. Further, a sample application illustrates the use of the described approach.

scholarly journals Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence

2009 ◽  
Vol 7 (2) ◽  
pp. 137-154 ◽  
Author(s):  
Cassio Polpo de Campos ◽  
Fabio Gagliardi Cozman ◽  
José Eduardo Ochoa Luna
Keyword(s):  
Probabilistic Logic ◽  
Stochastic Independence
Sign in / Sign up

Export Citation Format

Share Document