Work

Sciences des données : de la Logique du premier ordre à la Toile

Year: 2012

Type: article

Abstract: Pour obtenir de l’information, nous pouvons interroger un système de gestion de bases de données.Pour ce faire, nous nous exprimons dans un langage informatique simple, peut-être graphique, peut-être même dans notre langue naturelle. Le système traduit cette demande dans un langage formel. Par cela, nous entendons une syntaxe qui permet au système de préciser la demande de l’utilisateur, et une sémantique formelle qui donne un sens exact à cette syntaxe. La logique mathématique offre un tel ...

Source: La lettre du Collège de France

DOI: 10.4000/lettre-cdf.2502

Author: Serge Abiteboul

Institutions: École Normale Supérieure Paris-Saclay, Institut national de recherche en sciences et technologies du numérique, Laboratoire Spécification et Vérification

Language: French

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W2198176776

FWCI: 0.315

Cites:

Cited by: 3

Related to: 10