Optimising ITS behaviour with Bayesian networks and decision theory [PDF]
, 2001 We propose and demonstrate a methodology for building tractable normative intelligent tutoring systems (ITSs). A normative ITS uses a Bayesian network for long-term student modelling and decision theory to select the next tutorial action.
Mitrovic, Antonija, Mayo, Michael
core
Progression semantics for disjunctive logic programs [PDF]
, 2011 In this paper, we extend the progression semantics for first-order disjunctive logic programs and show that it coincides with the stable model semantics.
Zhang, Yan (R8899) +3 more
core +1 more source
ARTIFICIAL INTELLIGENCE: ITS CONCEPT AND CHARACTERISTICS
Правовое государство: теория и практикаDespite the wide application of artificial intelligence technology in many areas of activity, the use of the term “artificial intelligence” in regulatory acts at various levels, there is still no definition of artificial intelligence as an object of
ARKHIEREEV Nikolay Viktorovich
doaj +1 more source
First-order disjunctive logic programming vs normal logic programming [PDF]
, 2015 In this paper, we study the expressive power of firstorder disjunctive logic programming (DLP) and normal logic programming (NLP) under the stable model semantics.
Zhou, Yi (R12034)
core
Hybrid artificial intelligence: Application in the banking sector
Revista de Ciencias SocialesThe integration of smart technologies, from data mining to Artificial Intelligence, has revolutionized the way financial institutions manage and use information.
Daniel Corral de La Mata +2 more
doaj +1 more source
Logical methods in artificial intelligence applications
Journal of Applied Logic, 2017 Peer ...
Armengol Voltas, Eva +2 more
openaire +4 more sources
Applications of General Exact Satisfiability in Propositional Logic Modelling [PDF]
, 2005 This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, held in Montevideo, Uruguay in March 2005.
Vilhelm Dahllöf, Dahllöf, Vilhelm,
core +1 more source
Legal analogical reasoning - the interplay between legal theory and artificial intelligence [PDF]
, 1997 This thesis examines and critiques attempts by researchers in the field of artificial intelligence and law to simulate legal analogical reasoning.
Aikenhead, Michael
core
Deep Bayesian Nonparametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior [PDF]
, 2020 We introduce a method to learn imitative policies from expert demonstrations that are interpretable and manipulable. We achieve interpretability by modeling the interactions between high-level actions as an automaton with connections to formal logic.
Vodrahalli, Kiran +5 more
core +1 more source
Recent Advances in Explainable Artificial Intelligence for Magnetic Resonance Imaging [PDF]
, 2023 Advances in artificial intelligence (AI), especially deep learning (DL), have facilitated magnetic resonance imaging (MRI) data analysis, enabling AI-assisted medical image diagnoses and prognoses.
Junqi Wang +3 more
core +1 more source