Knowledge representation and reasoningKnowledge representation and reasoning (KRR, KR&R, KR2) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can use to solve complex tasks such as diagnosing a medical condition or having a dialog in a natural language. Knowledge representation incorporates findings from psychology about how humans solve problems and represent knowledge in order to design formalisms that will make complex systems easier to design and build.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Ring (langage de programmation)Ring est un langage de programmation dynamique. Il peut être intégré dans les projets C/C++, étendues à l'aide de code C/C++ et/ou utilisé comme une application autonome de la langue.Le langage est portable (Windows, Linux, Mac OS X, Android, etc.) et peut être utilisé pour créer des applications de console, GUI, Web, jeu et mobile. Langage de programmation d'applications Langage petit et rapide pouvant être intégré dans des projets C / C ++. Langage simple pouvant être utilisé dans l'éducation et présentant les concepts du compilateur / machine virtuelle.
Single-phase generatorSingle-phase generator (also known as single-phase alternator) is an alternating current electrical generator that produces a single, continuously alternating voltage. Single-phase generators can be used to generate power in single-phase electric power systems. However, polyphase generators are generally used to deliver power in three-phase distribution system and the current is converted to single-phase near the single-phase loads instead.
Réécriture (informatique)En informatique théorique, la réécriture (ou récriture) est un modèle de calcul dans lequel il s’agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, etc.) en appliquant des règles bien précises. La réécriture est utilisée en informatique, en algèbre, en logique mathématique et en linguistique. La réécriture est utilisée en pratique pour la gestion des courriers électroniques (dans le logiciel sendmail, les entêtes de courrier sont manipulées par des systèmes de réécriture) ou la génération et l'optimisation de code dans les compilateurs.
Donnée (informatique)En informatique, une donnée est la représentation d'une information dans un programme : soit dans le texte du programme (code source), soit en mémoire durant l'exécution. Les données, souvent codées, décrivent les éléments du logiciel tels qu'une entité (chose), une interaction, une transaction, un évènement, un sous-système, etc. Les données peuvent être conservées et classées sous différentes formes : textuelles (chaîne), numériques, s, sons Les données variables qui font la souplesse d'un programme sont généralement lues depuis un appareil d'entrée utilisateur (clavier, souris.
Language-oriented programmingLanguage-oriented programming (LOP) is a software-development paradigm where "language" is a software building block with the same status as objects, modules and components, and rather than solving problems in general-purpose programming languages, the programmer creates one or more domain-specific languages (DSLs) for the problem first, and solves the problem in those languages. Language-oriented programming was first described in detail in Martin Ward's 1994 paper Language Oriented Programming, published in Software - Concepts and Tools, Vol.
Élément de donnéeDans les métadonnées, un élément est une unité de donnée élémentaire qui a : une identification telle que nom d'élément (data element name) ; une définition claire ; un ou plusieurs termes de représentation ; des valeurs optionnelles énumérées (code (métadonnée)) ; une liste de synonymes des éléments dans d'autres registres de métadonnées (:en:Synonym ring). On peut découvrir l'usage des éléments de donnée en inspectant les logiciels applicatifs ou les fichiers de données de l'application par un processus manuel ou automatique de découverte et compréhension de l'application.
Logical schemaA logical data model or logical schema is a data model of a specific problem domain expressed independently of a particular database management product or storage technology (physical data model) but in terms of data structures such as relational tables and columns, object-oriented classes, or XML tags. This is as opposed to a conceptual data model, which describes the semantics of an organization without reference to technology. Logical data models represent the abstract structure of a domain of information.
Abstract rewriting systemIn mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviated ARS) is a formalism that captures the quintessential notion and properties of rewriting systems. In its simplest form, an ARS is simply a set (of "objects") together with a binary relation, traditionally denoted with ; this definition can be further refined if we index (label) subsets of the binary relation.
