Sentence examples for on formal representations from inspiring English sources

In this context, relying on formal representations of feature models is important to allow them to be automatically analyzed during system execution.

Others depart from standard probability theory, like Dempster-Shafer theory (Shafer 1976; see entry on formal representations of belief), a variant of probability theory meant to solve the problem of the priors and make other improvements.

Ranking theory (Spohn 1988, 2012; again see entry on formal representations of belief) also bears some resemblance to probability theory but draws much inspiration from possible-world semantics for conditionals (see entry on indicative conditionals).

For more information about these topics, the reader can consult Gerla (1994), Vennekens et al. (2009), Hájek and Hartmann (2010), Hartmann and Sprenger (2010) and the entries on "Formal Representations of Belief", "Bayesian Epistemology", "Defeasible Reasoning", "Quantum Logic and Probability Theory", and "Fuzzy Logic" of this encyclopedia.

These fictitious robots are products of early artificial intelligence (AI) technology that use automated reasoning based on formal representations similar to the brick example.

Software design is often considered a human oriented task while the analysis phase draws on formal representation and mathematical foundations.

As decision support relies on formal representation, which was introduced in SNOMED RT, studies investigating this aspect can now be performed.

In the second one, Formal Representation of Complex SNOMED CT Expressions [ 20], Stefan Schulz, Kornél Markó, and Boontawee Suntisrivaraporn focus on the representation of complex events and procedures, highlight the limited expressiveness of SNOMED CT regarding negations and formally describe the ambiguities in the representation of complex concepts.

Whereas earlier versions of SURGE focused more on layering formal representations over informal representations, SURGE Symbolic inverts this order, layering informal representations over formal representations while organizing game play explicitly around navigating and coordinating across representations.

The research draws on government documents, formal representations from both sides of the Taiwan Strait, and key informant interviews in Taiwan.

This paper analyses this negotiation process, drawing on government documents, formal representations from both sides of the Taiwan Strait, and key informant interviews.