Results 41 to 50 of about 351,573 (182)

Logical methods in artificial intelligence applications

open access: yesJournal of Applied Logic, 2017
Peer ...
Armengol Voltas, Eva   +2 more
openaire   +4 more sources

Completeness of Flat Coalgebraic Fixpoint Logics

open access: yes, 2010
Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type.
Gastin, P.   +3 more
core   +1 more source

A Temporal Module for Logical Frameworks [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2019
In artificial intelligence, multi agent systems constitute an interesting typology of society modeling, and have in this regard vast fields of application, which extend to the human sciences.
Valentina Pitoni, Stefania Costantini
doaj   +1 more source

ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING IN STEM EDUCATION

open access: yesEducation and Technologies Journal, 2023
In this article, the authors present one possibility for introducing artificial intelligence training, specifically Prolog logic programming, into the secondary school. The choice of Prolog logic programming as an appropriate artificial intelligence topic for secondary school study is motivated. The training is planned to take place within the school’s
Venеta Tabakova-Komsalova   +3 more
openaire   +1 more source

Artificial Intelligence Algorithms Inspired By Life Sciences

open access: yesJournal of the Turkish Chemical Society, Section A: Chemistry, 2018
Nature and life include many mysterious events, behaviors and format within themselves. There is harmony between the environmental conditions, behavior and forms of all living organism.
Hüseyin Turgut
doaj   +1 more source

Logic-Based Analogical Reasoning and Learning

open access: yes, 2020
Analogy-making is at the core of human intelligence and creativity with applications to such diverse tasks as commonsense reasoning, learning, language acquisition, and story telling.
Antić, Christian
core  

Self Driving Car: Artificial Intelligence Approach [PDF]

open access: yes, 2012
- Artificial Intelligence also known as (AI) is the capability of a machine to function as if the machine has the capability to think like a human. In automotive industry, AI plays an important role in developing vehicle technology.
Agani, N. (Nazori)   +2 more
core  

Unsustainable artificial intelligence and algorithmically facilitated emissions: The case for emissions-reduction-by-design

open access: yesBig Data & Society
This commentary discusses the role of increasingly artificial intelligence-infused big tech platforms in facilitating and normalising high-emission lifestyles and consumption practices. It introduces the notion of algorithmically facilitated emissions to
Jutta Haider, Malte Rödl, James White
doaj   +1 more source

Learning Concepts Definable in First-Order Logic with Counting [PDF]

open access: yesLogical Methods in Computer Science
We study Boolean classification problems over relational background structures in the logical framework introduced by Grohe and Turán (TOCS 2004). It is known (Grohe and Ritzert, LICS 2017) that classifiers definable in first-order logic over structures ...
Steffen van Bergerem
doaj   +1 more source

Application of Fuzzy Logic in Artificial Intelligence

open access: yesInternational Journal for Research in Applied Science and Engineering Technology, 2023
Abstract: In 1965, Lotfi Zadeh created fuzzy logic as a development of Boolean logic in light of the numerical hypothesis of fuzzy sets, which is a speculation of conventional set hypothesis. Fuzzy logic offers a great deal of adaptability for exploiting reasoning, adding an idea of degree when checking states and allowing states to be other than ...
openaire   +1 more source

Home - About - Disclaimer - Privacy