1 |
Metamorphic Thinking in Cartesian Systemic Emergence
|
|
|
|
In: proc. of ICONS 2021 -The Sixteenth International Conference on Systems (ISBN: 978-1-61208-838-9) ; ICONS 2021 ; https://hal.archives-ouvertes.fr/hal-03321417 ; ICONS 2021, IARIA, Apr 2021, Porto, Portugal. pp.33-38 ; https://www.iaria.org/conferences2021/ICONS21.html (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Formalizing Problem Solving in Computational Thinking : an Ontology approach
|
|
|
|
In: IEEE ICDL 2021 – International Conference on Development and Learning 2021 ; https://hal.inria.fr/hal-03324136 ; IEEE ICDL 2021 – International Conference on Development and Learning 2021, Aug 2021, Beijing, China (2021)
|
|
BASE
|
|
Show details
|
|
3 |
Beyond spatial reasoning: Challenges for ecological problem solving
|
|
|
|
In: Journal of Spatial Information Science (2021)
|
|
BASE
|
|
Show details
|
|
4 |
ImproteK: introducing scenarios into human-computer music improvisation
|
|
|
|
In: ACM Computers in Entertainment ; https://hal.archives-ouvertes.fr/hal-01380163 ; ACM Computers in Entertainment, 2017, ⟨10.1145/3022635⟩ (2017)
|
|
BASE
|
|
Show details
|
|
5 |
Hand Gesture and Mathematics Learning: Lessons From an Avatar.
|
|
|
|
In: Cognitive science, vol 41, iss 2 (2017)
|
|
BASE
|
|
Show details
|
|
7 |
From formal concepts to analogical complexes
|
|
|
|
In: The 12th International Conference on Concept Lattices and their Applications ; CLA 2015 ; https://hal.inria.fr/hal-01198943 ; CLA 2015, LIMOS, CNRS et Université Blaise Pascal, Oct 2015, Clermont-Ferrand, France. pp.12 ; http://cla2015.isima.fr/ (2015)
|
|
BASE
|
|
Show details
|
|
8 |
Twist your logic with TouIST
|
|
|
|
In: Proceedings of the 4th International Conference on Tools for Teaching Logic ; 4th International Congress on Tools for Teaching Logic (TTL 2015) ; https://hal.archives-ouvertes.fr/hal-01671317 ; 4th International Congress on Tools for Teaching Logic (TTL 2015), IRISA: Institut de Recherche en Informatique et Systèmes Aléatoires; INRIA, Jun 2015, Rennes, France. pp.1-8 ; http://ttl2015.irisa.fr/ (2015)
|
|
BASE
|
|
Show details
|
|
9 |
Universal intelligence: A definition of machine intelligence
|
|
|
|
In: Minds and Machines: journal for artificial intelligence, philosophy and cognitive sciences (2015)
|
|
BASE
|
|
Show details
|
|
10 |
Universal intelligence: A definition of machine intelligence
|
|
|
|
In: Minds and Machines: journal for artificial intelligence, philosophy and cognitive sciences (2015)
|
|
BASE
|
|
Show details
|
|
11 |
Fast, Flexible, Rational Inductive Inference
|
|
|
|
In: DTIC (2013)
|
|
Abstract:
Despite great advances in artificial intelligence (AI) research over the last fifty years, computers are still far worse than people at solving many important problems, such as learning language, inferring categories of objects from just a few examples, and identifying causal relationships. The goal of this project was to develop automated systems that can match human performance in problems of this kind. The approach that was taken to achieving this goal is one that contributed to the first AI systems: identifying the formal principles that characterize how people solve these problems. This required combining mathematical tools from computer science and statistics with the empirical methods of cognitive psychology. By exploiting the interplay between these disciplines, the resulting research provided insight into how we can make machines learn, and a deeper understanding of how the human mind works. Building on recent work in both AI and cognitive science, this project explored the possibility that Bayesian statistics can provide formal solutions to inductive problems. Bayesian statistics is based upon a simple principle that dictates how a rational agent should change his or her beliefs in light of evidence, called Bayes' rule. Bayes' rule is a principled way to combine constraints on hypotheses from prior knowledge with the evidence provided by data, and motivates much contemporary research in statistical artificial intelligence and machine learning. The research was divided into two objectives, each addressed by three different lines of work. The remainder of this report summarizes the results of these lines of work. Publications resulting from the work are cited and appear in the reference list. These publications summarize the data collected as part of the grant and describe relevant models at a level where they can be re-implemented.
|
|
Keyword:
*ARTIFICIAL INTELLIGENCE; BAYES THEOREM; Cybernetics; INDUCTIVE INFERENCE; INDUCTIVE PROBLEMS; PROBLEM SOLVING; STATISTICAL INFERENCE; Statistics and Probability
|
|
URL: http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA590143 http://www.dtic.mil/docs/citations/ADA590143
|
|
BASE
|
|
Hide details
|
|
|
|