Displaying similar documents to “Formal Model of Activities As a Segment of Organizational Stock of Knowledge”

Reasons: belief support and goal dynamics.

Cristiano Castelfranchi (1996)

Mathware and Soft Computing

Similarity:

The paper is devoted to the structural relation between beliefs and goals. I discuss its importance in modelling cognitive agents; its origin in cognitive processing; its structure (belief structure relative to a goal); its crucial role in rationality, mediating between epistemic and pragmatic rationality; its role in goal Dynamics. I stress the crucial contribution of the supporting beliefs to the Processing of goals; to the Revision of goals (or Dynamics in a narrow sense), i.e. the...

FSP and FLTL framework for specification and verification of middle-agents

Amelia Bădică, Costin Bădică (2011)

International Journal of Applied Mathematics and Computer Science

Similarity:

Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of requester with provider agents requires the use of specialized agents known as middle-agents. In this paper, we propose a formal framework intended to precisely characterize types of middle-agents with a special focus on matchmakers, brokers and front-agents by formally modeling their interactions with requesters...

Transformation of dynamic aspects of UML models into LOTOS behaviour expressions

Bogumiła Hnatkowska, Zbigniew Huzar (2001)

International Journal of Applied Mathematics and Computer Science

Similarity:

The lack of formal semantics for the UML creates many ambiguity problems, especially when real-time systems are specified. The paper proposes an approach to a formal definition of UML statecharts. Main features of the UML statecharts are described, and next, a transformation of the UML statecharts into LOTOS is defined.

Thread algebra for noninterference

Thuy Duong Vu (2009)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Thread algebra is a semantics for recent object-oriented programming languages [J.A. Bergstra and M.E. Loots, J. Logic Algebr. Program. 51 (2002) 125–156; J.A. Bergstra and C.A. Middelburg, Formal Aspects Comput. (2007)] such as C# and Java. This paper shows that thread algebra provides a process-algebraic framework for reasoning about and classifying various standard notions of noninterference, an important property in secure information flow. We will take the noninterference property...

The paradoxical place of small towns in sustainable development policies. What is beyond the images of “places where the living is easy”?

Hélène Mainet (2015)

Annales Universitatis Paedagogicae Cracoviensis Studia Geographica

Similarity:

Sustainable development policies have become new objectives of local actions since the implementation of the notion in the 1990s. Small towns promote images of places where the living is easy and with sustainable amenities like “natural” living environment. But, beyond these perceptions, operational sustainable development policies are quite occasional. Taking a sample of French small towns in the Auvergne region as examples, it is interesting to analyse this paradox of an interesting...

Agent-oriented abstraction.

Jacques Calmet, Pierre Maret, Regine Endsuleit (2004)

RACSAM

Similarity:

We define an agent-oriented abstraction formalism devoted to generalized theories of abstraction that have been proposed in Artificial Intelligence. The model we propose extends the abstraction capabilities of the existing Agent-Oriented Programming paradigm. This short note reviews first the existing attempts to define abstraction in AI and in agent systems. Then, our model is introduced in terms of six definitions covering the concepts of agents, annotated knowledge, utility and society...