Results 11 to 20 of about 58,088 (162)
Entity Resolution Based on Probabilistic Soft Logic Model [PDF]
Jisuanji gongcheng, 2017 As any closed atom adopts hard constraints in Entity Resolution(ER) algorithm based on Markov Logic Network(MLN),the reasoning and weight learning processes of the algorithm hardly converge to the optimal solution,which decreases the efficiency and ...
GONG Yunbao,GAN Liang,HUANG Jiuming
doaj +1 more source
Design of quantum optical experiments with logic artificial intelligence [PDF]
Quantum, 2022 Logic Artificial Intelligence (AI) is a subfield of AI where variables can take two defined arguments, True or False, and are arranged in clauses that follow the rules of formal logic.
Alba Cervera-Lierta +2 more
doaj +1 more source
Entity Resolution with Markov Logic [PDF]
Sixth International Conference on Data Mining (ICDM'06), 2006 Entity resolution is the problem of determining which records in a database refer to the same entities, and is a crucial and expensive step in the data mining process. Interest in it has grown rapidly in recent years, and many approaches have been proposed. However, they tend to address only isolated aspects of the problem, and are often ad hoc.
Parag Singla, Pedro M. Domingos
openaire +1 more source
Determination of 3-Ary -Resolution in Lattice-valued Propositional Logic LP(X) [PDF]
International Journal of Computational Intelligence Systems, 2013 One of key issues for -() ary resolution automated reasoning based on lattice-valued logic with truth-value in a lattice implication algebra is to investigate the -() ary resolution of some generalized literals.
Yi Liu, Hairui Jia, Yang Xu
doaj +1 more source
α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems [PDF]
International Journal of Computational Intelligence Systems, 2015 In this paper, an α-resolution method for a set of lattice-valued Horn generalized clauses is established in lattice-valued propositional logic system ℒ P(X) based on lattice implication algebra.
Weitao Xu +4 more
doaj +1 more source
Entity Resolution in Sparse Encounter Network Using Markov Logic Network
IEEE Access, 2021 Entity Resolution, which identifies different descriptions referring to the same real-world entity, is a fundamental stage in data integration process essential for quality data analysis.
Christian Lu, Guangyan Huang, Yong Xiang
doaj +1 more source
Structural Resolution for Logic Programming [PDF]
CoRR, 2015 in ICLP 2015 Technical ...
Johann, Patricia +2 more
openaire +2 more sources
A resolution-based calculus for Coalition Logic [PDF]
Journal of Logic and Computation, 2014 We present a resolution-based calculus for Coalition Logic CL, a non-normal modal logic used for reasoning about cooperative agency. We introduce a normal form and a set of inference rules to solve the satisfiability problem in CL. We also show that the calculus presented here is sound, complete, and terminating.
Cláudia Nalon +3 more
openaire +2 more sources
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
International Journal of Computational Intelligence Systems, 2018 Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area.
Yang Xu +4 more
doaj +1 more source
Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability [PDF]
Logical Methods in Computer Science, 2012 G\"odel logic with the projection operator Delta (G_Delta) is an important many-valued as well as intermediate logic. In contrast to classical logic, the validity and the satisfiability problems of G_Delta are not directly dual to each other.
Matthias Baaz +2 more
doaj +1 more source