Results 31 to 40 of about 45,694 (311)

Artificial Intelligence Methods in Hydraulic System Design

open access: yesEnergies, 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

A Logic for Multi-Agent Conformant Planning Over Transition Systems

open access: yesIEEE 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

Logic and artificial intelligence

open access: yesArtificial 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]

open access: yes, 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

Environmental sustainability technologies in biodiversity, energy, transportation and water management using artificial intelligence: A systematic review

open access: yesSustainable 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

The Logical Way to Be Artificially Intelligent [PDF]

open access: yes, 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

Intelligent Tutoring Systems for Adult Learning in STEM Disciplines

open access: yesNew Directions for Adult and Continuing Education, EarlyView.
ABSTRACT Intelligent tutoring systems (ITS) are reshaping adult learning in STEM by providing adaptive, data‐driven instruction across classrooms, workplaces, and informal environments. In the context of ITS, this article compares generative AI, which creates personalized explanations and practice materials, with explainable AI, which focuses on ...
Jill Zarestky, Amanda R. Lager Gleason
wiley   +1 more source

Artificial Intelligence and Mental Well‐Being in Adult Education: Implications for Practice and Professional Responsibility

open access: yesNew Directions for Adult and Continuing Education, EarlyView.
ABSTRACT Mental well‐being is central to adult learner success, yet many adult education institutions lack capacity to provide timely and accessible support. This article examines how artificial intelligence (AI) can strengthen mental health–adjacent supports in adult and continuing higher education, with attention to professional practice and ...
Adam L. McClain, Thomas Wade
wiley   +1 more source

Advances in Weighted Logics for Artificial Intelligence

open access: yesInternational Journal of Approximate Reasoning, 2017
Peer ...
Marcelo Finger   +3 more
openaire   +2 more sources

Decidable fragments of first-order language under stable model semantics and circumscription

open access: yes, 2010
The stable model semantics was recently generalized by Ferraris, Lee and Lifschitz to the full first-order language with a syntax translation approach that is very similar to McCarthy's circumscription.
Zhang, Heng (R17525)   +4 more
core   +1 more source

Home - About - Disclaimer - Privacy