fixpoint

fixpoint

Mentioned in ?
References in periodicals archive ?
Their evaluation produces ground atoms needed for their own evaluation, thus, several iterations are performed, until a fixpoint is reached.
operator tcl prefix args r type parameters T condition down [member of] T [??] T fixpoint y where r [union] r ; y order {a [??] b } a [member of] T [??] [??] [conjunction] a [subset or equal to] b } end We can define the transitive closure of the relation down (as well as for the relation up) following the above example:
The runtests utility that enables the easy execution of Reactis-generated test suites in Simulink has been updated to simplify executing tests on models with top-level inputs containing enumerated or fixpoint types.
By the implicit function theorem (or rather the contracting fixpoint theorem), [[psi].sub.[+ or -]] is a bijection from [P.sub.y] to [P.sub.y]; denote by [[psi].sub.[+ or -]]: [P.sub.y] [right arrow] [P.sub.y] its inverse.
(In [20], a "fixpoint"-based encoding is proposed, and it can also be subsumed to semantic encodings.)
Tarski: A lattice-theoretical fixpoint theorem and its application, Pacific J.
The model-theoretic and fixpoint semantics of intensional logic programs are developed in terms of least (minimum) intensional Herbrand models.
As Franzen explains in Section 2.7 of Chapter 2 of his book the general fixpoint construction is widely used in logic to prove various results.
Wold (Ed.), The FixPoint Approach to Interdependent Systems, Amsterdam: North-Holland, 1-35.
"A Lattice-Theoretical Fixpoint Theorem and its Applications", Pacific Journal of Mathematics, vol.
In this first volume of the series Advances in Cognitive Informations and Natural Intelligence, contributors from computing, psychology, and engineering discuss such topics as the theoretical framework of the new discipline, the cognitive process of decision making, adaptive neural networks for trajectory planning, a fixpoint semantics for rule-based anomalies, and a unified approach to fractal dimensions.
Hence x = 1 is the only fixpoint in (0, [infinity]) and this fixpoint is repelling.