Filters








27,094 Hits in 6.5 sec

A Belief Model of Query Difficulty That Uses Subjective Logic [chapter]

Christina Lioma, Roi Blanco, Raquel Mochales Palau, Marie-Francine Moens
2009 Lecture Notes in Computer Science  
The belief model uses subjective logic, a type of probabilistic logic for modeling uncertainties.  ...  This allows us to define a belief model and a set of operators for combining evidence of query difficulty.  ...  Considering query difficulty as a subjective belief, formulated on the basis of various types of evidence, we defined a belief model that uses subjective logic, and a set of operators for combining evidence  ... 
doi:10.1007/978-3-642-04417-5_9 fatcat:5fttnwj6yncrjkdv2m3ux7ncea

A subjective logic formalisation of the principle of polyrepresentation for information needs

Christina Lioma, Birger Larsen, Hinrich Schuetze, Peter Ingwersen
2010 Proceeding of the third symposium on Information interaction in context - IIiX '10  
Specifically, we apply Subjective Logic to model different representations of information needs as beliefs marked by degrees of uncertainty.  ...  We combine such beliefs using different logical operators, and we discuss these combinations with respect to different retrieval scenarios and situations.  ...  Finally, to our knowledge, the only prior use of Subjective Logic to IR has been the recent work of [34] , who used it to model query difficulty as a subjective belief, formulated on the basis of various  ... 
doi:10.1145/1840784.1840804 dblp:conf/iiix/LiomaLSI10 fatcat:i7djesm3ajbqdpk7uwd454cvxm

A Subjective Logic Formalisation of the Principle of Polyrepresentation for Information Needs [article]

Christina Lioma and Birger Larsen and Hinrich Schütze and Peter Ingwersen
2017 arXiv   pre-print
Specifically, we apply Subjective Logic to model different representations of information needs as beliefs marked by degrees of uncertainty.  ...  We combine such beliefs using different logical operators, and we discuss these combinations with respect to different retrieval scenarios and situations.  ...  Finally, to our knowledge, the only prior use of Subjective Logic to IR has been the recent work of [34] , who used it to model query difficulty as a subjective belief, formulated on the basis of various  ... 
arXiv:1704.01610v1 fatcat:m4w4czk3hjcwplxzzorspaissa

Logical and uncertainty models for information access: current trends

FABIO CRESTANI, MOUNIA LALMAS
2000 Knowledge engineering review (Print)  
We believe that some of these issues will be central to future research on theory and applications of logical and uncertainty models for information access.  ...  The current trends of research in information access as emerged from the 1999 Workshop on Logical and Uncertainty Models for Information Systems (LUMIS'99) are briefly reviewed in this paper.  ...  Acknowledgments We would like to thank the members of the program committee and the reviewers for their invaluable help in setting a standard of quality of paper that we hope we will be able to keep in  ... 
doi:10.1017/s026988890000103x fatcat:r34ntttvwfbqfoazppkjjev7mu

Semantics-based information valuation

Sinan al-Saffar, Gregory L. Heileman
2008 2008 4th International IEEE Conference Intelligent Systems  
In this paper we propose using information understanding to reach a definition for information value or quality.  ...  We demonstrate how information valuation can be predicted and computed as potential causal impact of extractable semantics.  ...  Another shortcoming of localized ranking is the computational difficulty of fully customizing search using the current navigational model of the Web.  ... 
doi:10.1109/is.2008.4670438 fatcat:nayvafxiyfewhppsqdwoi47vim

Semantic fusion of live Web content: System design and implementation experiences

Vincent Lenders
2013 2013 Workshop on Sensor Data Fusion: Trends, Solutions, Applications (SDF)  
Semantic data fusion techniques have the potential to provide a more suitable abstraction model for efficient search on this type of data.  ...  Besides semantic data fusion techniques, we make extensive use of natural language processing, semantic Web technologies and Bayesian statistics to render the system a self-contained framework acting directly  ...  ACKNOWLEDGEMENTS We are specially grateful to Tobias Hofer and his team from basis06 for their continuous support in the different implementation phases of this project.  ... 
doi:10.1109/sdf.2013.6698256 dblp:conf/sdf/Lenders13 fatcat:o4553efhojawbnbj53hucoh4ym

Avoiding Omnidoxasticity in Logics of Belief: A Reply to MacPherson

Kieron O'Hara, Han Reichgelt, Nigel Shadbolt
1995 Notre Dame Journal of Formal Logic  
In recent work MacPherson argues that the standard method of modeling belief logically, as a necessity operator in a modal logic, is doomed to fail.  ...  The authors argue that logics used to model belief in artificial intelligence (AI) are also flawed in this way.  ...  Acknowledgments HR and NS would like to thank Joe Downs and Sean Wallis for a number of discussions on this topic.  ... 
doi:10.1305/ndjfl/1040149361 dblp:journals/ndjfl/OHaraRS95 fatcat:trsd6exfgnfebc2mkeffk747su

A Reasoning System for a First-Order Logic of Limited Belief

Christoph Schwering
2017 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence  
We introduce a reasoning system that employs this logic as representation language and present experimental results that showcase the benefit of limited belief.  ...  These languages are often dialects of first-order logic with a weaker form of logical entailment that keeps reasoning decidable or even tractable.  ...  Based on this logic, we then develop a logic of limited belief in Section 3.  ... 
doi:10.24963/ijcai.2017/173 dblp:conf/ijcai/Schwering17 fatcat:cvyy3qr2ffb3bgkznfvkzy32ha

Autoepistemic Description Logics

Francesco M. Donini, Daniele Nardi, Riccardo Rosati
1997 International Joint Conference on Artificial Intelligence  
Hence, ADLs provide a formal characterization of a wide variety of nonmonotonic features commonly available in frame-based systems and needed in the development of practical applications.  ...  We present Autoepistemic Description Logics (ADLs), in which the language of Description Logics is augmented with modal operators interpreted according to the nonmonotonic logic MKNF.  ...  Acknowledgments This research has been funded by Italian MURST, "Tecniche di ragionamento non monotono" and "Linguaggi per la modellizzazione concettuale dei requisiti", by EC Esprit LTR Project "Foundations of  ... 
dblp:conf/ijcai/DoniniNR97 fatcat:dg7kanu6tzfddimerjqwu6htr4

An SQL Domain Ontology Learning for Analyzing Hierarchies of Structures in Pre-Learning Assessment Agents

Kennedy E. Ehimwenma, Paul Crowther, Martin Beer, Safiya Al-Sharji
2020 SN Computer Science  
This paper presents the use of description logics (DL) in the definition and development of a Structured Query Language (SQL) domain ontology for a multi-agent based pre-assessment system.  ...  To describe an SQL ontology and its representation for a multi-agent based system application, this paper uses a description logic language to present the organization of learning modules into DesiredConcept  ...  Compliance with Ethical Standards Conflict of Interest On behalf of all authors, the corresponding author states that there is no conflict of interest.  ... 
doi:10.1007/s42979-020-00338-1 fatcat:tfy4aa4pqzhlxpx4nr3l3fxqiy

Relational Linear Programs [article]

Kristian Kersting, Martin Mladenov, Pavel Tokmakov
2014 arXiv   pre-print
Together with a logical knowledge base, effectively a logical program consisting of logical facts and rules, it induces a ground LP. This ground LP is solved using lifted linear programming.  ...  A relational linear program (RLP) is a declarative LP template defining the objective and the constraints through the logical concepts of objects, relations, and quantified variables.  ...  We here use Prolog but assume that each query from the RLP produces a finite set of answers, i.e., ground substitutions of its logical variables.  ... 
arXiv:1410.3125v1 fatcat:wtkmrz7dpfcxbma33rtpadmvxy

Formalizing Logic Based Rules for Skills Classification and Recommendation of Learning Materials

Kennedy E Ehimwenma, Paul Crowther, Martin Beer
2018 International Journal of Information Technology and Computer Science  
This paper presents a formal model of classification rules in first-order logic syntax.  ...  The essence is to ensure that students attain requisite skill competences before progressing to a higher level of learning.  ...  Logic Based Models This is the model that uses symbolic representation for modelling agent behaviour and reasoning.  ... 
doi:10.5815/ijitcs.2018.09.01 fatcat:a3n6igd4zvci3nicpjqnjsvp7q

Page 7 of Computational Linguistics Vol. 31, Issue 1 [page]

2005 Computational Linguistics  
, might hypothesize that the user wants train travel because he or she Shifting meaning representations, 1983 multiple levels of representation eg linguistic, logical multiple task uses eg database query  ...  The difficulties of doing data access well also emphasized how narrow and limited database query, as normally implemented, actually is as a form of information access.  ... 

Evaluation of probabilistic and logical inference for a SNP annotation system

Terry H. Shen, Peter Tarczy-Hornoch, Landon T. Detwiler, Eithon Cadag, Christopher S. Carlson
2010 Journal of Biomedical Informatics  
This article describes the design, implementation and evaluation of a family of systems for the purpose of identifying SNPs that may cause a change in phenotypic outcomes.  ...  and a posteriori analyses of GWA studies.  ...  Acknowledgments We would like to acknowledge the members of the Bio-DIAG team for their suggestions during the implementation of this project. We would also like to extend thanks to Drs.  ... 
doi:10.1016/j.jbi.2009.12.002 pmid:20015478 pmcid:PMC2878960 fatcat:wumjzdfocjhktnupf7ukr5l7bi

Dynamic decision models for staged software product line configuration

Ebrahim Bagheri, Faezeh Ensan
2013 Requirements Engineering  
of the variabilities of a domain of discourse that leads to methodical reuse of software assets.  ...  The development lifecycle of a product line consists of two main phases: domain engineering, which deals with the understanding and formally modeling of the target domain; and application engineering that  ...  A belief expression in Subjective logic is defined as a triple χ A x = (b A x , d A x , u A x ) also b A x + d A x + u A x = 1. (6) Subjective logic defines a large number of operators that allow the  ... 
doi:10.1007/s00766-013-0165-8 fatcat:4akd4erokvf4rb2tmhjek7ym6u
« Previous Showing results 1 — 15 out of 27,094 results