Sentence examples for by using dynamic logic from inspiring English sources
The field combines insights from philosophy (about belief revision, AGM-style (AGM 1985), as we have seen in Section 1), dynamic semantics in linguistics and the philosophy of language (as we have seen in Section 2), reasoning about programs by using dynamic logic (as we have seen in Section 3) with ideas in artificial intelligence about how knowledge and actions influence each other (Moore 1977).
With the aim of medium speed and low power dissipation, the first stage of encoder is designed using dynamic logic.
Castañeda 1981 argued that by carefully distinguishing between (roughly) propositions and actions in the scope of deontic operators, Chisholm's puzzle, as well as most puzzles for deontic logic, can be resolved; Meyer 1988 offers a version of this general approach using dynamic logic.
For example, Sindlar et al. [21] used dynamic logic to model ascription of beliefs, goals or plans on grounds of observed actions to interpret other agents' actions.
Explicit calculations on network information flows can be conducted using dynamic Boolean logic or fuzzy logic algorithms (34– 34).
In this paper we have considered how to perform logic synthesis of the single-flux-quantum (SFQ) logic circuits by using logic synthesis tools for semiconductor logic circuits.
The constraints translate First Order Logic formulas, which can express learning-from-example supervisions and general prior knowledge about the environment by using fuzzy logic.
The technology uses "dynamic clustering," a method used by weather forecasters to predict patterns.
Others use dynamic pricing.
Below we will also encounter the use of dynamic logic in artificial intelligence when specifying intelligent agents.
