Results 61 to 70 of about 1,501,850 (327)
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
Premise Selection and External Provers for HOL4 [PDF]
, 2015 Learning-assisted automated reasoning has recently gained popularity among the users of Isabelle/HOL, HOL Light, and Mizar. In this paper, we present an add-on to the HOL4 proof assistant and an adaptation of the HOLyHammer system that provides machine ...
Farmer W. M. +7 more
core +1 more source
Discrete Hierarchical Memory Particle Swarm Optimization Algorithm for Dynamic Public Transport [PDF]
Jisuanji gongchengWith the development of smart cities and transport, the continuous improvement of mobile Internet and smart transport infrastructure and data, a new transport operation method in which users order transport services on their mobile phones-dynamic ...
HUANG Junze, WU Wenyuan, LI Yi, SHI Mingquan, WANG Zhengjiang
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
, 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
Applications of Automated Reasoning [PDF]
, 2007 This paper offers an informal overview and discussion on first order predicate logic reasoning systems together with a description of applications which are carried out in the Artificial Intelligence Research Group of the University in Koblenz. Furthermore the technique of knowledge compilation is shortly introduced.
Furbach, Ulrich (Prof. Dr.) +1 more
openaire +2 more sources
The interaction of representation and reasoning [PDF]
, 2013 Automated reasoning is an enabling technology for many applications of informatics. These applications include verifying that a computer program meets its specification; enabling a robot to form a plan to achieve a task and answering questions by ...
Ascoli G +8 more
core +1 more source
POLITICS: Automated ideological reasoning [PDF]
Cognitive Science, 1978 POLITICS is a system of computer programs which simulates humans in comprehending and responding to world events from a given political or ideological perspective. The primary theoretical motivations were: (1) the implemention of a functional system which applies the knowledge structures of Schank and Abelson (1977) to the domain of simulating ...
openaire +2 more sources
Further Thoughts on Defining f(x) for Ethical Machines: Ethics, Rational Choice, and Risk Analysis
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2023 There is a tendency to anthropomorphize artificial intelligence (AI) and reify it as a person. From the perspective of machine ethics and ethical AI, this has resulted in the belief that truly autonomous ethical agents (i.e., machines and algorithms) can
Clayton Peterson
doaj +1 more source
Automated Reasoning on Aspects Interactions [PDF]
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06), 2006 The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subtle and undesired interactions (conflicts) among aspects and objects, which are not easily detectable. In this paper we propose a fully automated approach to discover conflicts
FALCARIN, PAOLO, TORCHIANO, MARCO
openaire +2 more sources