Descripteur
Documents disponibles dans cette catégorie (4)
Ajouter le résultat dans votre panier Affiner la recherche Interroger des sources externesEtendre la recherche sur niveau(x) vers le bas
Titre : Introduction to Artificial Intelligence Type de document : Monographie Auteurs : Wolfgang Ertel, Auteur Editeur : Springer International Publishing Année de publication : 2017 Importance : 365 p. ISBN/ISSN/EAN : 978-3-319-58487-4 Note générale : bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Intelligence artificielle
[Termes IGN] apprentissage automatique
[Termes IGN] apprentissage profond
[Termes IGN] classification bayesienne
[Termes IGN] entropie maximale
[Termes IGN] exploration de données
[Termes IGN] PROLOG
[Termes IGN] raisonnement sémantique
[Termes IGN] réseau neuronal artificielRésumé : (éditeur) This concise and accessible textbook supports a foundation or module course on A.I., covering a broad selection of the subdisciplines within this field. The book presents concrete algorithms and applications in the areas of agents, logic, search, reasoning under uncertainty, machine learning, neural networks and reinforcement learning. Topics and features: presents an application-focused and hands-on approach to learning the subject; provides study exercises of varying degrees of difficulty at the end of each chapter, with solutions given at the end of the book; supports the text with highlighted examples, definitions, and theorems; includes chapters on predicate logic, PROLOG, heuristic search, probabilistic reasoning, machine learning and data mining, neural networks and reinforcement learning; contains an extensive bibliography for deeper reading on further topics; supplies additional teaching resources, including lecture slides and training data for learning algorithms, at an associated website. Note de contenu : 1- Introduction
2- Propositional Logic
3- First-order Predicate Logic
4- Limitations of Logic
5- Logic Programming with PROLOG
6- Search, Games and Problem Solving
7- Reasoning with Uncertainty
8- Machine Learning and Data Mining
9- Neural Networks
10- Reinforcement Learning
11- Solutions for the ExercisesNuméro de notice : 25753 Affiliation des auteurs : non IGN Thématique : INFORMATIQUE Nature : Monographie En ligne : https://doi.org/10.1007/978-3-319-58487-4 Format de la ressource électronique : URL Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=94945 The space package : tight integration between space and semantics / W. Van Hage in Transactions in GIS, vol 14 n° 2 (April 2010)
Titre : The space package : tight integration between space and semantics Type de document : Article/Communication Auteurs : W. Van Hage, Auteur ; J. Wielemaker, Auteur ; Guus Schreiber, Auteur Année de publication : 2010 Article en page(s) : pp 131 - 146 Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Géomatique
[Termes IGN] géomatique web
[Termes IGN] interface utilisateur
[Termes IGN] KML
[Termes IGN] logiciel libre
[Termes IGN] PROLOG
[Termes IGN] raisonnement spatial
[Termes IGN] requête spatiale
[Termes IGN] web sémantiqueRésumé : (Auteur) Interpretation of spatial features often requires combined reasoning over geometry and semantics. We introduce the Space package, an open source SWI-Prolog extension that provides spatial indexing capabilities. Together with the existing semantic web reasoning capabilities of SWI-Prolog, this allows efficient integration of spatial and semantic queries and provides an infrastructure for declarative programming with space and semantics. There are few systems that provide indexing and reasoning facilities for both spatial and semantic data. A common solution is to combine separate semantic reasoning and geospatial services. Such loose coupling has the disadvantage that each service cannot make use of the statistics of the other. This makes optimization of such a service-oriented architecture hard. The SWI-Prolog Space and Semantic web packages provide a native Prolog interface to both spatial and semantic indexing and reasoning, which makes it easy to write combined query optimizers. Another advantage of the Space package is that it allows declarative logic programming, which means in practice that you say what you want to compute instead of how to compute it. The actual indexing machinery is encapsulated inside Prolog predicates. In this article we describe the interface of the Space package, compare its functionality to alternative software libraries, and show how to work with it using three example applications. These example illustrations include reasoning over movement patterns, dynamically loading geospatial linked data off the semantic web, and setting up a simple KML server. Numéro de notice : A2010-202 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE Nature : Article nature-HAL : ArtAvecCL-RevueIntern DOI : 10.1111/j.1467-9671.2010.01187.x Date de publication en ligne : 15/04/2010 En ligne : https://doi.org/10.1111/j.1467-9671.2010.01187.x Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=30396
in Transactions in GIS > vol 14 n° 2 (April 2010) . - pp 131 - 146[article]AFCET 93 Versailles, 1er Congrès Biennal de l'Association Française des Sciences et Technologies de l'Information et des Systèmes, 9. Vol 9, Langages de programmation et Génie logiciel / Association française pour la cybernétique économique et technique (1993)
Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 61528-01I CG.93 Livre Centre de documentation Congrès Disponible
Titre : Outils logiques pour l'intelligence artificielle Type de document : Monographie Auteurs : Jean-Paul Delahaye, Auteur Editeur : Paris : Eyrolles Année de publication : 1986 Importance : 247 p. Format : 16 x 25 cm Langues : Français (fre) Descripteur : [Vedettes matières IGN] Intelligence artificielle
[Termes IGN] prédicat
[Termes IGN] PROLOG
[Termes IGN] résolution d'équation
[Termes IGN] système expertNuméro de notice : 56228 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE Nature : Monographie Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=59993
