IntroductionIt is a recent trend in the literature on verification to study the use of compositio... more IntroductionIt is a recent trend in the literature on verification to study the use of compositionality and abstractionto structure the process of verification; for example, see (Abadi and Lamport, 1993; Hooman, 1994;Dams, Gerth and Kelb, 1996). In (Cornelissen, Jonker and Treur, 1997) a compositional verificationmethod was introduced for logic-based specifications of knowledge-based systems. The currentpaper discusses the requirements for the choice and use of a suitable logic with which ...
In this paper, graphical representations for knowledge structures in DESIRE (Brazier Dunin-Keplic... more In this paper, graphical representations for knowledge structures in DESIRE (Brazier Dunin-Keplicz, Jennings & Treur 1995; Brazier, Treur, Wijngaards & Willems 1996) are presented, together with a graphical editor based on the Constraint Graph environment (Kremer, 1997). Moreover, a translator will be described which translates these graphical representations to textual representations in DESIRE. The strength of the combined environment is a powerful -- yet easy-to-use -- framework to support the development of knowledge based and multi-agent systems.
When designing complex knowledge-based systems, it is often hard to guarantee that the specificat... more When designing complex knowledge-based systems, it is often hard to guarantee that the specification of a system that has been designed actually fulfills the needs, i.e., whether it satisfies the design requirements. Especially for critical applications, for example in aerospace domains, there is a need to prove that the designed system will have certain properties under certain conditions (assumptions). While developing a proof of such properties, the assumptions that define the bounds within which the system will function properly are generated.
Lecture notes in business information processing, 2009
Organizational performance analysis enables organizations to uncover unexpected properties of org... more Organizational performance analysis enables organizations to uncover unexpected properties of organizations and allow them to reconsider their internal workings and provide support for this. To perform such an analysis and obtain appropriate support, in this paper organizations are modeled as labeled graphs that capture the interactions of the entities and the characteristics of those interactions, such as their content and frequency, through labels in the graph. Algebraic representations and manipulations of the labels enable analysis of ...
Social media is one of the widely used channels for interpersonal communication, and to give pers... more Social media is one of the widely used channels for interpersonal communication, and to give personal feedback. However, negative feedback can affect esteem and mental health of a person. This paper presents a computational network model of a humanoid agent for getting inappropriate feedback, who learns to react with a level of competence on aggression due to feedback. This model can serve as an input to detect and handle cyber-aggression.
IntroductionIt is a recent trend in the literature on verification to study the use of compositio... more IntroductionIt is a recent trend in the literature on verification to study the use of compositionality and abstractionto structure the process of verification; for example, see (Abadi and Lamport, 1993; Hooman, 1994;Dams, Gerth and Kelb, 1996). In (Cornelissen, Jonker and Treur, 1997) a compositional verificationmethod was introduced for logic-based specifications of knowledge-based systems. The currentpaper discusses the requirements for the choice and use of a suitable logic with which ...
In this paper, graphical representations for knowledge structures in DESIRE (Brazier Dunin-Keplic... more In this paper, graphical representations for knowledge structures in DESIRE (Brazier Dunin-Keplicz, Jennings & Treur 1995; Brazier, Treur, Wijngaards & Willems 1996) are presented, together with a graphical editor based on the Constraint Graph environment (Kremer, 1997). Moreover, a translator will be described which translates these graphical representations to textual representations in DESIRE. The strength of the combined environment is a powerful -- yet easy-to-use -- framework to support the development of knowledge based and multi-agent systems.
When designing complex knowledge-based systems, it is often hard to guarantee that the specificat... more When designing complex knowledge-based systems, it is often hard to guarantee that the specification of a system that has been designed actually fulfills the needs, i.e., whether it satisfies the design requirements. Especially for critical applications, for example in aerospace domains, there is a need to prove that the designed system will have certain properties under certain conditions (assumptions). While developing a proof of such properties, the assumptions that define the bounds within which the system will function properly are generated.
Lecture notes in business information processing, 2009
Organizational performance analysis enables organizations to uncover unexpected properties of org... more Organizational performance analysis enables organizations to uncover unexpected properties of organizations and allow them to reconsider their internal workings and provide support for this. To perform such an analysis and obtain appropriate support, in this paper organizations are modeled as labeled graphs that capture the interactions of the entities and the characteristics of those interactions, such as their content and frequency, through labels in the graph. Algebraic representations and manipulations of the labels enable analysis of ...
Social media is one of the widely used channels for interpersonal communication, and to give pers... more Social media is one of the widely used channels for interpersonal communication, and to give personal feedback. However, negative feedback can affect esteem and mental health of a person. This paper presents a computational network model of a humanoid agent for getting inappropriate feedback, who learns to react with a level of competence on aggression due to feedback. This model can serve as an input to detect and handle cyber-aggression.
Note that the chapter titles have hyperlinks leading to their abstracts and (eventually) to Power... more Note that the chapter titles have hyperlinks leading to their abstracts and (eventually) to Powerpoint presentations.
This book presents a new approach that can be applied to complex, integrated individual and socia... more This book presents a new approach that can be applied to complex, integrated individual and social human processes. It provides an alternative means of addressing complexity, better suited for its purpose than and effectively complementing traditional strategies involving isolation and separation assumptions. Network-oriented modeling allows high-level cognitive, affective and social models in the form of (cyclic) graphs to be constructed, which can be automatically transformed into executable simulation models. The modeling format used makes it easy to take into account theories and findings about complex cognitive and social processes, which often involve dynamics based on interrelating cycles. Accordingly, it makes it possible to address complex phenomena such as the integration of emotions within cognitive processes of all kinds, of internal simulations and the mental processes of others, and of social phenomena such as shared understanding and collective action. A variety of sample models – including those for ownership of actions, fear and dreaming, the integration of emotions in joint decision-making based on empathic understanding, and evolving social networks – illustrate the potential of the approach. Dedicated software is available to support building models in a conceptual or graphical manner, transforming them into an executable format and performing simulation experiments. The majority of the material presented has been used and positively evaluated by undergraduate and graduate students and researchers in the cognitive, social and AI domains. Given its detailed coverage, the book is ideally suited as an introduction for graduate and undergraduate students in many different multidisciplinary fields involving cognitive, affective, social, biological, and neuroscience domains.
Uploads
Papers