An Agent Architecture for Concurrent Bilateral Negotiations

Abstract. We present an architecture that makes use of symbolic decision-making to support agents participating in concurrent bilateral negotiations. The architecture is a revised version of previous work with the KGP model [23, 12], which we specialise with knowledge about the agent’s self, the negotiation opponents and the environment. Our work combines the specification of domain-independent decision-making with a new protocol for concurrent negotiation that revisits the well-known alternating offers protocol [22]. We show how the decision-making can be specialised to represent the agent’s strategies, utilities and prefer-ences using a Prolog-like meta-program. The work prepares the ground for supporting decision-making in concurrent bilateral negotiations that is more lightweight than previous work and contributes towards a fully developed model of the architecture

Integrated guidance on the care of familial hypercholesterolaemia from the International FH Foundation.

Familial hypercholesterolaemia (FH) is a dominantly inherited disorder present from birth that markedly elevates plasma low-density lipoprotein (LDL) cholesterol and causes premature coronary heart disease. There are at least 20million people with FH worldwide, but the majority remain undetected and current treatment is often suboptimal. To address this major gap in coronary prevention we present, from an international perspective, consensus-based guidance on the care of FH. The guidance was generated from seminars and workshops held at an international symposium. The recommendations focus on the detection, diagnosis, assessment and management of FH in adults and children, and set guidelines for clinical purposes. They also refer to best practice for cascade screening and risk notifying and testing families for FH, including use of genetic testing. Guidance on treatment is based on risk stratification, management of non-cholesterol risk factors, and safe and effective use of LDL lowering therapies. Recommendations are given on lipoprotein apheresis. The use of emerging therapies for FH is also foreshadowed. This international guidance acknowledges evidence gaps, but aims to make the best use of contemporary practice and technology to achieve the best outcomes for the care of FH. It should accordingly be employed to inform clinical judgement and be adjusted for country-specific and local health care needs and resources

Contracting for the unknown and the logic of innovation

This paper discusses the components of contracts adequatefor governing innovation, and their microfoundations in the logic of innovative decision processes. Drawing on models of discovery and design processes, distinctive logical features of innovative decision making are specified and connected to features of contracts that can sustain innovation processes and do not fail under radical uncertainty. It is argued that if new knowledge is to be generated under uncertainty and risk, 'relational contracts', as usually intended, are not enough and a more robust type of contracting is needed and it is actually often used: formal constitutional contracts that associate resources, leave their uses rationally unspecified, but exhaustively specify the assignment of residual decision rights and other property rights, and the decision rules to be followed in governance. The argument is supported by an analysis of a large international database on the governance of multi-party projects in discovery-intensive and design-intensive industries

Reasoning about norms under uncertainty in dynamic environments

The behaviour of norm-autonomous agents is determined by their goals and the norms that are explicitly represented inside their minds. Thus, they require mechanisms for acquiring and accepting norms, determining when norms are relevant to their case, and making decisions about norm compliance. Up un- til now the existing proposals on norm-autonomous agents assume that agents interact within a deterministic environment that is certainly perceived. In prac- tice, agents interact by means of sensors and actuators under uncertainty with non-deterministic and dynamic environments. Therefore, the existing propos- als are unsuitable or, even, useless to be applied when agents have a physical presence in some real-world environment. In response to this problem we have developed the n-BDI architecture. In this paper, we propose a multi -context graded BDI architecture (called n-BDI) that models norm-autonomous agents able to deal with uncertainty in dynamic environments. The n-BDI architecture has been experimentally evaluated and the results are shown in this paper.This paper was partially funded by the Spanish government under Grant CONSOLIDER-INGENIO 2010 CSD2007-00022 and the Valencian government under Project PROMETEOH/2013/019.Criado Pacheco, N.; Argente, E.; Noriega, P.; Botti Navarro, VJ. (2014). Reasoning about norms under uncertainty in dynamic environments. International Journal of Approximate Reasoning. 55(9):2049-2070. https://doi.org/10.1016/j.ijar.2014.02.004S2049207055

Application of Hybrid Agents to Smart Energy Management of a Prosumer Node

We outline a solution to the problem of intelligent control of energy consumption of a smart building system by a prosumer planning agent that acts on the base of the knowledge of the system state and of a prediction of future states. Predictions are obtained by using a synthetic model of the system as obtained with a machine learning approach. We present case studies simulations implementing different instantiations of agents that control an air conditioner according to temperature set points dynamically chosen by the user. The agents are able of energy saving while trying to keep indoor temperature within a given comfort interval

The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments

We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive logic programming, relaxing the original restrictions over variable quantification (allowedness conditions) and incorporating a constraint solver to deal with numerical constraints as in constraint logic programming. Finally, we describe the CIFF system, comparing it with state of the art abductive systems and answer set solvers and showing how to use it to program some applications. (To appear in Theory and Practice of Logic Programming - TPLP)

Reasoning about norms under uncertainty in dynamic environments

The behaviour of norm-autonomous agents is determined by their goals and the norms that are explicitly represented inside their minds. Thus, they require mechanisms for acquiring and accepting norms, determining when norms are relevant to their case, and making decisions about norm compliance. Up until now the existing proposals on norm-autonomous agents assume that agents interact within a deterministic environment that is certainly perceived. In practise, agents interact by means of sensors and actuators under uncertainty with non-deterministic and dynamic environments. Therefore, the existing proposals are unsuitable or, even, useless to be applied when agents have a physical presence in some real-world environment. In response to this problem we have developed the n-BDI architecture. In this paper, we propose a multi-context graded BDI architecture (called n-BDI) that models norm-autonomous agents able to deal with uncertainty in dynamic environments. The n-BDI architecture has been experimentally evaluated and the results are shown in this paper. © 2014 Elsevier Inc. All rights reserved