Results 31 to 40 of about 46,307 (212)
The Functional Success of Intelligent Automata
Наукові записки НаУКМА: Філософія та релігієзнавство, 2020 Based on the standpoint close to that of philosophical functionalism, the paper addresses the history and present state of scientific research on artificial reconstruction of some of the rational thinking functions, and acquisition of valid knowledge of ...
Alexander Mayevsky
doaj +1 more source
A Logic for Multi-Agent Conformant Planning Over Transition Systems
IEEE Access, 2020 Reasoning about actions and information is one of the most active areas of research in artificial intelligence. In this article, we study the reasoning about actions and information in multi-agent conformant planning, which is an essential branch of ...
Peipei Wu, Yanjun Li
doaj +1 more source
International Journal of Distributed Sensor Networks, 2022 Cognitive radios are expected to play an important role in capturing the constantly growing traffic interest on remote networks. To improve the usage of the radio range, a cognitive radio hub detects the weather, evaluates the open-air qualities, and ...
Ahmed Alkhayyat +6 more
doaj +1 more source
Artificial Intelligence Methods in Hydraulic System Design
Energies, 2023 Reducing energy consumption and increasing operational efficiency are currently among the leading research topics in the design of hydraulic systems. In recent years, hydraulic system modeling and design techniques have rapidly expanded, especially using
Grzegorz Filo
doaj +1 more source
Logic and artificial intelligence
Artificial Intelligence, 1991 Abstract The theoretical foundations of the logical approach to artificial intelligence are presented. Logical languages are widely used for expressing the declarative knowledge needed in artificial intelligence systems. Symbolic logic also provides a clear semantics for knowledge representation languages and a methodology for analyzing and comparing
openaire +1 more source
Computer Detection of Bent Fingers in Lead Bonding Frames [PDF]
, 1976 This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the ...
Mitnick, Walter L., Walter L. Mitnick
core +1 more source
Sustainable Futures, 2022 Artificial Intelligence (AI) has become an important area to tackle most environmental sustainability issues such as biodiversity, energy, transportation and water management.
Emmanuel Kwame Nti +4 more
doaj +1 more source
A logic for reasoning about game strategies [PDF]
, 2015 This paper introduces a modal logic for reasoning about game strategies. The logic is based on a variant of the well-known game description language for describing game rules and further extends it with two modalities for reasoning about actions and ...
Zhang, Dongmo +2 more
core +1 more source
The Logical Way to Be Artificially Intelligent [PDF]
, 2006 Abductive logic programming (ALP) can be used to model reactive, proactive and pre-active thinking in intelligent agents. Reactive thinking assimilates observations of changes in the environment, whereas proactive thinking reduces goals to sub-goals and ultimately to candidate actions.
openaire +1 more source
Experiments with proof plans for induction [PDF]
, 1991 The technique of proof plans, is outlined. This technique is used to guideautomatic inference in order to avoid a combinatorial explosion. Empirical research to test this technique in the domain of theorem proving by mathematical induction is described ...
Bundy, Alan +9 more
core +2 more sources