Sentence examples for based on formal logic from inspiring English sources

By 1965, the field had experimented with several models of problem solving: some were based on formal logic; some used heuristic reasoning; some, called "neural networks," were inspired by the brain.

The framework consists of three main parts: a descriptive model based on formal logic and characteristics properties model; a mathematical implementation through set theory and probabilistic approach; and an algorithm for design space evaluation and tolerancing.

Thagard describes a detailed computational model of problem solving and discovery that provides a conceptually rich yet rigorous alternative to accounts of scientific knowledge based on formal logic, and he uses it to illuminate such topics as the nature of concepts, hypothesis formation, analogy, and theory justification.

The next step is to develop "deep specifications" — gritty, precise descriptions of the behavior of software based on formal logic (deductive reasoning, the use of syllogisms and mathematics) — that will enable engineers not only to build bug-free programs but to verify that their programs behave exactly as they should.

Using a method based on formal logic, we show that both lock-key and goalkeeper-model are consistent with existing data.

Instead of using verbal analyses [14] to study whether the models can account for CI patterns, we use a framework based on formal logic.

LINCOS, based on formal constructive logic, was primarily designed for dealing with logic contents of messages but is also applicable for denoting structural properties of more general abstractions embedded in such messages.

The contract is not simply based on uncontroversial assumptions about human rationality, although it describes a rational choice problem within the constraints it imposes; nor is it based on formal considerations about practical reasoning or the logic or semantics of moral discourse.

Based on formal reports on the issues.

A formal model based on Modal logic is the theoretical foundation of Cellsecu.

Ontologies are formal models based on mathematical logic that describe classes of things and their relations and can facilitate the sharing and exchange of accident scenarios and bring with them the support of automated reasoning which facilitates the location of information of past accidents.