Action planning for graph transition systems

Graphs are suitable modeling formalisms for software and hardware systems involving aspects such as communication, object orientation, concurrency, mobility and distribution. State spaces of such systems can be represented by graph transition systems, which are basically transition systems whose states and transitions represent graphs and graph morphisms. In this paper, we propose the modeling of graph transition systems in PDDL and the application of heuristic search planning for their analysis. We consider different heuristics and present experimental results

Bounded Rationality and Heuristics in Humans and in Artificial Cognitive Systems

In this paper I will present an analysis of the impact that the notion of “bounded rationality”, introduced by Herbert Simon in his book “Administrative Behavior”, produced in the field of Artificial Intelligence (AI). In particular, by focusing on the field of Automated Decision Making (ADM), I will show how the introduction of the cognitive dimension into the study of choice of a rational (natural) agent, indirectly determined - in the AI field - the development of a line of research aiming at the realisation of artificial systems whose decisions are based on the adoption of powerful shortcut strategies (known as heuristics) based on “satisficing” - i.e. non optimal - solutions to problem solving. I will show how the “heuristic approach” to problem solving allowed, in AI, to face problems of combinatorial complexity in real-life situations and still represents an important strategy for the design and implementation of intelligent systems

About Norms and Causes

Knowing the norms of a domain is crucial, but there exist no repository of norms. We propose a method to extract them from texts: texts generally do not describe a norm, but rather how a state-of-affairs differs from it. Answers concerning the cause of the state-of-affairs described often reveal the implicit norm. We apply this idea to the domain of driving, and validate it by designing algorithms that identify, in a text, the "basic" norms to which it refers implicitly

The role of Intellectual Capital Reporting (ICR) in organisational transformation: A discursive practice perspective

Intellectual Capital Reporting (ICR) has garnered increasing attention as a new accounting technology that can engender significant organisational changes. However, when ICR was first recognised as a management fashion, the intended change it heralded in stable environments was criticised for having limited impact on the state of practice. Conceiving ICR through a lens predicated on the notion of discursive practice, we argue that ICR can enable substantive change in emergent conditions. We empirically demonstrate this process by following the implementation of ICR in one organisation through interviews, documents and observations over 30 months. The qualitative analysis of the data corpus shows how situated change, subtle but no less significant, can take place in the name of intellectual capital as actors appropriate ICR into their everyday work practices while improvising variations to accommodate different logics of action. The paper opens up a new avenue to examine the specific roles of ICR in relation to the types of change enacted. It thus demonstrates when and how ICR may transcend a mere management fashion and the intended change it sets in motion through altering organisational actors’ ways of thinking and doing within the confines of their organisation

An Abstract Formal Basis for Digital Crowds

Crowdsourcing, together with its related approaches, has become very popular in recent years. All crowdsourcing processes involve the participation of a digital crowd, a large number of people that access a single Internet platform or shared service. In this paper we explore the possibility of applying formal methods, typically used for the verification of software and hardware systems, in analysing the behaviour of a digital crowd. More precisely, we provide a formal description language for specifying digital crowds. We represent digital crowds in which the agents do not directly communicate with each other. We further show how this specification can provide the basis for sophisticated formal methods, in particular formal verification.Comment: 32 pages, 4 figure