Frontiers in Artificial Intelligence, 2023 It is well-known that Artificial Intelligence (AI), and in particular Machine Learning (ML), is not effective without good data preparation, as also pointed out by the recent wave of data-centric AI.
Gianluca Cima +3 more
doaj +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
Combining Task and Motion Planning: Challenges and Guidelines
Frontiers in Robotics and AI, 2021 Combined Task and Motion Planning (TAMP) is an area where no one-fits-all solution can exist. Many aspects of the domain, as well as operational requirements, have an effect on how algorithms and representations are designed.
Masoumeh Mansouri +2 more
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
Hierarchical Document Classification Method Based on Improved Self-attention Mechanism and Representation Learning [PDF]
Jisuanji kexueAn essential task of document classification is to study how to effectively represent input features,and sentence and document vector representations can assist in downstream tasks in natural language processing,such as text sentiment analysis and data ...
LIAO Xingbin, QIAN Yangge, WANG Qianlei, QIN Xiaolin
doaj +1 more source
Qualitative Mechanical Problem-Solving by Artificial Agents:
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2022 Qualitative mechanical problem-solving (QMPS) is central to human-level intelligence. Human agents use their capacity for such problem-solving to succeed in tasks as routine as opening the tap to drink or hanging a picture on the wall, as well as for ...
Shreya Banerjee +3 more
doaj +1 more source
Verifiable Decryption Scheme Based on MLWE and MSIS [PDF]
Jisuanji kexueThe verifiable decryption technology involved in the two-party secure computing can be applied in real-world scenarios that require privacy protection,such as medical research data sharing,and inter-institutional cooperation for model training,which can ...
GUO Chuntong, WU Wenyuan
doaj +1 more source
LPG-Based Knowledge Graphs: A Survey, a Proposal and Current Trends
Information, 2023 A significant part of the current research in the field of Artificial Intelligence is devoted to knowledge bases. New techniques and methodologies are emerging every day for the storage, maintenance and reasoning over knowledge bases.
Davide Di Pierro +2 more
doaj +1 more source
Interoperability between biomedical ontologies through relation expansion, upper-level ontologies and automatic reasoning. [PDF]
PLoS ONE, 2011 Researchers design ontologies as a means to accurately annotate and integrate experimental data across heterogeneous and disparate data- and knowledge bases.
Robert Hoehndorf +5 more
doaj +1 more source
Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System
Journal of Applied Mathematics, 2013 We propose an approach for constructing Lyapunov function in quadratic form of a differential system. First, positive polynomial system is obtained via the local property of the Lyapunov function as well as its derivative.
Zhenyi Ji +3 more
doaj +1 more source