Filters








492 Hits in 6.3 sec

Measuring the Ignorance and Degree of Satisfaction for Answering Queries in Imprecise Probabilistic Logic Programs [chapter]

Anbu Yue, Weiru Liu, Anthony Hunter
2008 Lecture Notes in Computer Science  
We first propose an approach to measuring the ignorance of a probabilistic logic program with respect to a query.  ...  In probabilistic logic programming, given a query, either a probability interval or a precise probability obtained by using the maximum entropy principle is returned for the query.  ...  To answer the above questions, in this paper, we propose two concepts, the measure of ignorance and the measure of the degree of satisfaction, w.r.t. a PLP and a query.  ... 
doi:10.1007/978-3-540-87993-0_30 fatcat:woxq6lfpqzbsxlapbwoeyvm4rq

Adaptive Dialogue Strategy Selection through Imprecise Probabilistic Query Answering [chapter]

Ian O'Neill, Anbu Yue, Weiru Liu, Phil Hanna
2011 Lecture Notes in Computer Science  
For this purpose, we use probabilistic logic programming (PLP) to model probabilistic knowledge about how these factors will affect the degree of freedom of a dialogue.  ...  When a dialogue system needs to know which strategy is more suitable, an appropriate query can be executed against the PLP and a probabilistic solution with a degree of satisfaction is returned.  ...  Let P and query ?Q be the same as in Example 1. Then, the degree of satisfaction for the query answer [0.7, 1] is 0.8.  ... 
doi:10.1007/978-3-642-22152-1_57 fatcat:tkrikb2b4jch7ituexpgn4pcli

Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction

Anbu Yue, Weiru Liu, Anthony Hunter
2012 Annals of Mathematics and Artificial Intelligence  
We first propose an approach to measuring the ignorance of a probabilistic logic program with respect to a query.  ...  In conditional probabilistic logic programming, given a query, the two most common forms for answering the query are either a probability interval or a precise probability obtained by using the maximum  ...  Acknowledgement This work is funded by the EPSRC projects with reference numbers: EP/D070864/1 and EP/D074282/1.  ... 
doi:10.1007/s10472-012-9286-x fatcat:a74uvt6zazewndipyqtcr4x4am

Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs [chapter]

Umberto Straccia
2008 Lecture Notes in Computer Science  
Our aim is to overview basic concepts on representing uncertain and vague knowledge in current Semantic Web ontology and rule languages (and their combination). C.  ...  Managing uncertainty and/or vagueness is starting to play an important role in Semantic Web representation languages.  ...  Most works deal with logic programs without negation and some may provide some technique to answer queries in a top-down manner, as e.g. [35, 122, 130, 252, 276] .  ... 
doi:10.1007/978-3-540-85658-0_2 fatcat:6ijgfocetbfixonkur2lrnabjy

Non-commutativity and Expressive Deductive Logic Databases [chapter]

S. Krajči, R. Lencses, J. Medina, M. Ojeda-Aciego, A. Valverde, P. Vojtáš
2002 Lecture Notes in Computer Science  
The procedural semantics of multi-adjoint logic programming is used for providing a model-theoretic semantics for a data model.  ...  The use of non-commutative conjunctors allows for a model of different degrees of granulation and precision, whereas expressiveness is achieved by using multiple-valued connectives.  ...  The computations in the probabilistic and lattice valued fuzzy logic are the same, the only difference is handling and/or ignorance of probabilistic constraints. Example 2.  ... 
doi:10.1007/3-540-45757-7_13 fatcat:5ju4spvhfbfcxeruhtrhbyy3nu

Possibility Theory and Its Applications: Where Do We Stand? [chapter]

Didier Dubois, Henry Prade
2015 Springer Handbook of Computational Intelligence  
Possibilistic logic provides a rich representation setting, which enables the handling of lower bounds of possibility theory measures, while remaining close to classical logic.  ...  Shackle also introduces a notion of conditional possibility, whereby the degree of surprise of a conjunction of two events A and B is equal to the maximum of the degree of surprise of A, and of the degree  ...  event expressing the gradual satisfaction of the query [51] .  ... 
doi:10.1007/978-3-662-43505-2_3 fatcat:qptvfae6hndopkvagiwlsnxaxu

Query Containment of Tier-2 Queries over a Probabilistic Database

Katherine F. Moore, Vibhor Rastogi, Christopher Ré, Dan Suciu
2009 International VLDB workshop on Management of Uncertain Data  
The second tutorial is followed by a discussion on the differences and commonalities between probabilistic and possibilistic databases. We would like to thank the reviewers for their time and effort.  ...  We would also like to thank the Centre Telematics and Information Technology for sponsoring the proceedings of the workshop.  ...  We would like to thank Hyunjung Park for several helpful discussions. Acknowledgements This work was partially funded by NSF IIS-0713576 and the eScience Institute at the University of Washington.  ... 
dblp:conf/mud/MooreRRS09 fatcat:k25665bptbcafkpbvke5a7egta

Representation and Access of Uncertain Relational Data

Arie Tzvieli
1989 IEEE Data Engineering Bulletin  
In this paper we are interested in both the handling of flexible requests and the management of data pervaded by imprecision, uncertainty or vagueness.  ...  A degree of matching reflects our lack of certainty that the item of data satisfies the request, and may be due either to the fact that the available information in the data is insufficient or to the fact  ...  ACKNOWLEDGMENT The implementation of FIIS was carried out by Suresh Rajgopal and Richard Roland. Acknowledgement: Thanks to Ami Motro for many suggestions which improved this presentation.  ... 
dblp:journals/debu/Tzvieli89 fatcat:zqhzab6apbf7lohhbvszrjyzzu

Managing uncertainty and vagueness in description logics for the Semantic Web

Thomas Lukasiewicz, Umberto Straccia
2008 Journal of Web Semantics  
In this paper, we give an overview of approaches in this context to managing probabilistic uncertainty, possibilistic uncertainty, and vagueness in expressive description logics for the Semantic Web.  ...  Note that the maximal speed limit of the mgb car ( 170km/h ) induces the upper limit 0.72 of the membership degree.  ...  This work has been partially supported by the German Research Foundation (DFG) under the Heisenberg Programme. We thank the review-  ... 
doi:10.1016/j.websem.2008.04.001 fatcat:te5ii2ore5egdfrrq4p2xrrzbi

Managing Uncertainty and Vagueness in Description Logics for the Semantic Web

Thomas Lukasiewicz, Umberto Straccia
2008 Social Science Research Network  
In this paper, we give an overview of approaches in this context to managing probabilistic uncertainty, possibilistic uncertainty, and vagueness in expressive description logics for the Semantic Web.  ...  Note that the maximal speed limit of the mgb car ( 170km/h ) induces the upper limit 0.72 of the membership degree.  ...  This work has been partially supported by the German Research Foundation (DFG) under the Heisenberg Programme. We thank the review-  ... 
doi:10.2139/ssrn.3199411 fatcat:j3o6unkvafc65eurwpsea33t3u

Probabilistic XML: Models and Complexity [chapter]

Benny Kimelfeld, Pierre Senellart
2013 Studies in Fuzziness and Soft Computing  
Various models of probabilistic XML provide different languages, with various degrees of expressiveness, for such compact representations.  ...  For instance, query evaluation entails probabilistic inference, and update operations need to properly change the entire probability space.  ...  We are grateful to Evgeny Kharlamov for his helpful comments. This work was partially supported by the European Research Council grant Webdam (under FP7), grant agreement 226513.  ... 
doi:10.1007/978-3-642-37509-5_3 fatcat:lcoqkx7euvfb3dietqvb6v3qva

A survey of formalisms for representing and reasoning with scientific knowledge

Anthony Hunter, Weiru Liu
2010 Knowledge engineering review (Print)  
Some KR formalisms have been applied to capturing scientific knowledge, in particular description logics, logic programming, argumentation systems, and uncertainty formalisms.  ...  Using such formalisms, we can undertake reasoning with the uncertainty and inconsistency to allow automated techniques to be used for querying and combining of scientific knowledge.  ...  The usefulness of probabilistic logic programs to represent imprecise probabilistic knowledge and harness this knowledge to answer queries can further be demonstrated by an example from biochemistry on  ... 
doi:10.1017/s0269888910000019 fatcat:ijdmd5gnobhxdjka2rjrrkztcq

Constraint-based optimization and utility elicitation using the minimax decision criterion

Craig Boutilier, Relu Patrascu, Pascal Poupart, Dale Schuurmans
2006 Artificial Intelligence  
But the bound is tight if maxspan is defined to account for logical consistency. 19 Even termination can be determined heuristically, for example, by computing the max regret of the optimistic state after  ...  First, we propose the use of minimax regret as a suitable decision criterion for decision making in the presence of such utility function uncertainty.  ...  Acknowledgements This research was supported by the Institute for Robotics and Intelligent Systems (IRIS) and the Natural Sciences and Engineering Research Council (NSERC).  ... 
doi:10.1016/j.artint.2006.02.003 fatcat:73sqdofybbafxbkusss23i2u6a

Situation Theory and Channel theory as a Unified Framework for Imperfect Information Management [article]

Farhad Naderian
2022 arXiv   pre-print
Among many models of them, possibility theory and probabilistic logic theory are the best approaches.  ...  The objectification process in these theories reveals to us the nature of default or probabilistic rules in perceptions.  ...  The quantity of Ign(A) = Pl(A)-Bel(A) shows the degree of ignorance about A.  ... 
arXiv:2206.02283v1 fatcat:7yyukyfe4zbfxjbupid4o5257u

PrASP Report [article]

Matthias Nickles
2016 arXiv   pre-print
This technical report describes the usage, syntax, semantics and core algorithms of the probabilistic inductive logic programming framework PrASP.  ...  In particular, PrASP allows for ASP as well as First-Order Logic syntax, and for the annotation of formulas with point probabilities as well as interval probabilities.  ...  However, the semantics for the non-probabilistic part of our logic is always the stable model semantics used in Answer Set Programming -first-order formulas are internally transformed into equivalent ASP  ... 
arXiv:1612.09591v1 fatcat:6znpsfmqs5gw5jnhjgdcxi2qny
« Previous Showing results 1 — 15 out of 492 results