Results 1 -
4 of
4
Compliant business process design by declarative specifications
"... Abstract. We propose algorithms to synthesise the specifications modelling the capabilities of an agent, the environment she acts in, and the governing norms, into a process graph. This process graph corresponds to a collection of courses of action and represents all the licit alternatives the agent ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
(Show Context)
Abstract. We propose algorithms to synthesise the specifications modelling the capabilities of an agent, the environment she acts in, and the governing norms, into a process graph. This process graph corresponds to a collection of courses of action and represents all the licit alternatives the agent may choose to meet her outcomes. The starting point is a compliant situation, i.e., a situation where an agent is capable of reaching all her outcomes without violating the norms. In this case, the resulting process will be compliant by design.
Compliant business processes with exclusive choices from agent specification
"... Abstract. In this paper we analyse the problem of synthesising compliant busi-ness processes from rules-based declarative specifications for agents. In particu-lar, we consider the approach by [1,2] and we propose computationally efficient algorithms to combine plans extracted from the deliberation ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. In this paper we analyse the problem of synthesising compliant busi-ness processes from rules-based declarative specifications for agents. In particu-lar, we consider the approach by [1,2] and we propose computationally efficient algorithms to combine plans extracted from the deliberation of an agent to gener-ate the corresponding business processes with exclusive choice patterns. 1
Accepted for publication in Theory and Practice of Logic Programming 1 The Rationale behind the Concept of Goal
"... The paper proposes a fresh look at the concept of goal and advances that motivational attitudes like desire, goal and intention are just facets of the broader notion of (acceptable) outcome. We propose to encode the preferences of an agent as sequences of “alternative acceptable outcomes”. We then s ..."
Abstract
- Add to MetaCart
The paper proposes a fresh look at the concept of goal and advances that motivational attitudes like desire, goal and intention are just facets of the broader notion of (acceptable) outcome. We propose to encode the preferences of an agent as sequences of “alternative acceptable outcomes”. We then study how the agent’s beliefs and norms can be used to filter the mental attitudes out of the sequences of alternative acceptable outcomes. Finally, we formalise such intuitions in a novel Modal Defeasible Logic and we prove that the resulting formalisation is computationally feasible.
