Results 1  10
of
8,060
Mathematical Formalization of the Messenger Paradigm
, 1995
"... This technical report presents the syntax and semantics, in terms of transition system, of the messenger paradigm as it has been presented in [8]. Messengers are ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
This technical report presents the syntax and semantics, in terms of transition system, of the messenger paradigm as it has been presented in [8]. Messengers are
mathematical formalism of Exponential Informetric
, 2006
"... An interpretation of the effort function trough the ..."
MATHEMATICAL FORMALISM OF PHYSICS OF SYSTEMS WITH MOTIVATION
, 908
"... The paper discusses fundamental problems in mathematical description of social systems based on physical concepts, with socalled statistical social systems being the main subject of consideration. Basic properties of human beings and human societies that distinguish social and natural systems from ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
each other are listed to make it clear that individual mathematical formalism and physical notions should be developed to describe such objects rather then can be directly inherited from classical mechanics and statistical physics. As a particular example systems with motivation are considered
Measurements and Mathematical Formalism of Quantum Mechanics ∗
, 810
"... A scheme for constructing quantum mechanics is given that does not have Hilbert space and linear operators as its basic elements. Instead, a version of algebraic approach is considered. Elements of a noncommutative algebra (observables) and functionals on this algebra (elementary states) associated ..."
Abstract
 Add to MetaCart
with results of single measurements are used as primary components of the scheme. On the one hand, it is possible to use within the scheme the formalism of the standard (Kolmogorov) probability theory, and, on the other hand, it is possible to reproduce the mathematical formalism of standard quantum mechanics
Applications Of Circumscription To Formalizing Common Sense Knowledge
 Artificial Intelligence
, 1986
"... We present a new and more symmetric version of the circumscription method of nonmonotonic reasoning first described in (McCarthy 1980) and some applications to formalizing common sense knowledge. The applications in this paper are mostly based on minimizing the abnormality of different aspects o ..."
Abstract

Cited by 532 (12 self)
 Add to MetaCart
general formalism called prioritized circumscription is briefly explored. 1 INTRODUCTION ANDNEW DEFINITION OF CIRCUMSCRIPTION (McCarthy 1980) introduces the circumscription method of nonmonotonic reasoning and gives motivation, some mathematical properties and some ex1 amples of its application
Mathematical Formalism for Isothermal Linear Irreversibility
, 2001
"... We prove the equivalence among symmetricity, time reversibility, and zero entropy production of the stationary solutions of linear stochastic differential equations. A sufficient and necessary reversibility condition expressed in terms of the coefficients of the equations is given. The existence of ..."
Abstract

Cited by 7 (7 self)
 Add to MetaCart
behavior is also obtained. The mathematical result is a natural generalization of Einstein’s fluctuationdissipation relation, and provides a rigorous basis for the isothermal irreversibility in a linear regime which is the basis for applying Onsager’s theory to macromolecules in aqueous solution.
Notes On Formalizing Context
, 1993
"... These notes discuss formalizing contexts as first class objects. The basic relation is ist(c; p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit axiomatizat ..."
Abstract

Cited by 417 (9 self)
 Add to MetaCart
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c; p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit
Intelligent agents: Theory and practice
 The Knowledge Engineering Review
, 1995
"... The concept of an agent has become important in both Artificial Intelligence (AI) and mainstream computer science. Our aim in this paper is to point the reader at what we perceive to be the most important theoretical and practical issues associated with the design and construction of intelligent age ..."
Abstract

Cited by 1441 (85 self)
 Add to MetaCart
agents. For convenience, we divide these issues into three areas (though as the reader will see, the divisions are at times somewhat arbitrary). Agent theory is concerned with the question of what an agent is, and the use of mathematical formalisms for representing and reasoning about the properties
A Mathematical Formalism for Specifying Design Patterns
, 2002
"... Model based software development uses design patterns to capture successful designs and microarchitectures. This paper presents the essential constructs of a mathematical formalism for the specification of design patterns. The specification constitutes an extension of basic concepts from manysort ..."
Abstract
 Add to MetaCart
Model based software development uses design patterns to capture successful designs and microarchitectures. This paper presents the essential constructs of a mathematical formalism for the specification of design patterns. The specification constitutes an extension of basic concepts from many
Results 1  10
of
8,060