Sentence examples for formalization of knowledge from inspiring English sources

Early artificial-intelligence (AI) research on the formalization of knowledge had primarily theoretical objectives.

(I, II) Theory and algorithms of analysis and design of hybrid systems, nonlinear and robust control, non-convex and convex optimization, formalization of knowledge in education, functional analysis and operator theory.

The book deals with themes of formalization of knowledge in connection to the life-world, the natural world, the history of science and our responsibility for both our epistemic claims and the world in which we live.

> The requirement for an efficient representation of experiment protocols is recognized as a pressing problem, and several other projects are applying ontologies to the formalization of knowledge about experiment data.

Third, we provide a detailed description of the main components and steps of this methodology: data preparation, expert knowledge transfer (including the formalization of this knowledge), and generalization of classical methods to involve prior expert knowledge.

In this regard, the employed methodology involved first the systematic analysis and formalization of the knowledge sources elaborated in the scope of this work, through which an application-specific knowledge model has been defined.

To develop this concept set up a first process of extraction and formalization of architectural knowledge based on the analysis of architectural treaties is carried on.

The formalization of PubChem knowledge provides clarity by defining the meaning of entity attributes and relations in a machine interpretable manner.

Also important is the formalization of traditional knowledge documentation and sharing mechanisms through the establishment of such things as community-based ice monitoring programs (Lafortune et al. 2004).

The rxncon format is tailor made for formalization of biological knowledge from literature, and a rxncon based description can be used to automatically generate models that correspond to the network definition.

On the other hand, the use of formalisms which do not require hard formalizations of expert knowledge (such as to transform them into probability distributions or algebraic equations) permits to eliminate one of the strongest limitations of classical knowledge-based methods and other prior knowledge based methods (such as bayessian methods or structural equations).