Results 31 to 40 of about 1,558,985 (350)
Property Invariant Embedding for Automated Reasoning [PDF]
European Conference on Artificial Intelligence, 2019 Automated reasoning and theorem proving have recently become major challenges for machine learning. In other domains, representations that are able to abstract over unimportant transformations, such as abstraction over translations and rotations in ...
M. Olsák, C. Kaliszyk, J. Urban
semanticscholar +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
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
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
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
Automated Theorem Provers Help Improve Large Language Model Reasoning [PDF]
Logic Programming and Automated ReasoningIn this paper we demonstrate how logic programming systems and Automated first- order logic Theorem Provers (ATPs) can improve the accuracy of Large Language Models (LLMs) for logical reasoning tasks where the baseline performance is given by direct LLM ...
Lachlan McGinness, Peter Baumgartner
semanticscholar +1 more source
Strategic Reasoning in Automated Mechanism Design
International Conference on Principles of Knowledge Representation and Reasoning, 2021 Mechanism Design aims at defining mechanisms that satisfy a predefined set of properties, and Auction Mechanisms are of foremost importance. Core properties of mechanisms, such as strategy-proofness or budget-balance, involve: (i) complex strategic ...
Bastien Maubert +3 more
semanticscholar +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
, 1990 Over the recent years, several proposals were made to enhance database systems with automated reasoning. In this article we analyze two such enhancements based on meta-interpretation.
Bry, François
core +1 more source