Free choice and contextually permitted actions

We present a solution to the paradox of free choice permission by introducing strong and weak permission in a deontic logic of action. It is shown how counterintuitive consequences of strong permission can be avoided by limiting the contexts in which an action can be performed. This is done by introducing the only operator, which allows us to say that only is performed (and nothing else), and by introducing contextual interpretation of action term

The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights?

In [18,23], we presented a language for the specification of static, dynamic and deontic integrity constraints (IC's) for conceptual models (CM's). An important problem not discussed in that paper is how IC's are inherited in a taxonomic network of types. For example, if students are permitted to perform certain actions under certain preconditions, must we repeat these preconditions when specializing this action for the subtype of graduate students, or are they inherited, and if so, how? For static constraints, this problem is relatively trivial, but for dynamic and deontic constraints, it will turn out that it contains numerous pitfalls, caused by the fact that common sense supplies presuppositions about the structure of IC inheritance that are not warranted by logic. In this paper, we unravel some of these presuppositions and show how to avoid the pitfalls. We first formulate a number of general theorems about the inheritance of necessary and/or sufficient conditions and show that for upward inheritance, a closure assumption is needed. We apply this to dynamic and deontic IC's, where conditions arepreconditions of actions, and show that our common sense is sometimes mistaken about the logical implications of what we have specified. We also show the connection of necessary and sufficient preconditions of actions with the specification of weakest preconditions in programming logic. Finally, we argue that information analysts usually assume constraint completion in the specification of (pre)conditions analogous to predicate completion in Prolog and circumscription in non-monotonic logic. The results are illustrated with numerous examples and compared with other approaches in the literature

Task-Oriented Conversational Behavior of Agents for Collaboration in Human-Agent Teamwork

International audienceCoordination is an essential ingredient for human-agent teamwork. It requires team members to share knowledge to establish common grounding and mutual awareness among them. This paper proposes a be-havioral architecture C 2 BDI that enhances the knowledge sharing using natural language communication between team members. Collaborative conversation protocols and resource allocation mechanism have been defined that provide proactive behavior to agents for coordination. This architecture has been applied to a real scenario in a collaborative virtual environment for learning. The solution enables users to coordinate with other team members

A Research Agenda for Hybrid Intelligence:Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence

We define hybrid intelligence (HI) as the combination of human and machine intelligence, augmenting human intellect and capabilities instead of replacing them and achieving goals that were unreachable by either humans or machines. HI is an important new research focus for artificial intelligence, and we set a research agenda for HI by formulating four challenges

Understanding organizational congruence: formal model and simulation framework.

Despite a large number of studies, the effect of organizational structure on the performance and the individual cognition of its members is still not well understood. Our research aims at developing tools and formalisms to model organizations and evaluate their performance under different circumstances. Organizational effectiveness depends on many factors, including excellence, effective planning and capability to understand and match context requirements. Different organizational structures are clearly better matched to certain problems and context requirements than others, but methods to determine which structure better fits the requirements and goals of a group are non-existent. We propose a combination of agent-based formal models and agent-base simulation that supports the analysis of the congruence of different organizational structures to different problems and requirements

The knowledge market: Agent-mediated knowledge sharing

Like multi-agent systems, KM collaboration environments can be seen as distributed systems where different actors, each pursuing its own goals, need to interact in order to achieve their goals and realize organizational objectives. In this paper, we present a agent-based model for organizations that supports individual initiative and collaboration while prescribing a formal model for organizational processes. This model enables the development of people-oriented KM environments that focus on the collaboration between people. The model is applied to the development of a knowledge market