Skip to main content

Research Repository

Advanced Search

All Outputs (52)

Intention Progression under Uncertainty (2020)
Conference Proceeding
Yao, Y., Alechina, N., Logan, B., & Thangarajah, J. (2020). Intention Progression under Uncertainty. In C. Bessiere (Ed.), Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020) (10-16). https://doi.org/10.24963/ijcai.2020/2

A key problem in Belief-Desire-Intention agents is how an agent progresses its intentions, i.e., which plans should be selected and how the execution of these plans should be interleaved so as to achieve the agent’s goals. Previous approaches to the... Read More about Intention Progression under Uncertainty.

State of the art in logics for verification of resource-bounded multi-agent systems (2020)
Book Chapter
Alechina, N., & Logan, B. (2020). State of the art in logics for verification of resource-bounded multi-agent systems. In A. Blass, P. Cégielski, N. Dershowitz, M. Droste, & B. Finkbeiner (Eds.), Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of his 80th Birthday (9-29). Springer. https://doi.org/10.1007/978-3-030-48006-6_2

Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However such approaches often ignore a key aspect of multi-agent systems, namely that the agents’ actions... Read More about State of the art in logics for verification of resource-bounded multi-agent systems.

Intention-Aware Multiagent Scheduling (2020)
Conference Proceeding
Dann, M., Thangarajah, J., Yao, Y., & Logan, B. (2020). Intention-Aware Multiagent Scheduling. In B. An, N. Yorke-Smith, A. El Fallah Seghrouchni, & G. Sukthankar (Eds.), Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020)

The Belief Desire Intention (BDI) model of agency is a popular and mature paradigm for designing and implementing multiagent systems. There are several agent implementation platforms that follow the BDI model. In BDI systems, the agents typically hav... Read More about Intention-Aware Multiagent Scheduling.

Agent programming in the cognitive era (2020)
Journal Article
Bordini, R. H., El Fallah Seghrouchni, A., Hindriks, K., Logan, B., & Ricci, A. (2020). Agent programming in the cognitive era. Autonomous Agents and Multi-Agent Systems, 34(2), https://doi.org/10.1007/s10458-020-09453-y

It is claimed that, in the nascent ‘Cognitive Era’, intelligent systems will be trained using machine learning techniques rather than programmed by software developers. A contrary point of view argues that machine learning has limitations, and, taken... Read More about Agent programming in the cognitive era.

Parameterised Resource-Bounded ATL (2020)
Conference Proceeding
Alechina, N., Demri, S., & Logan, B. (2020). Parameterised Resource-Bounded ATL. In Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (7040-7046). https://doi.org/10.1609/aaai.v34i05.6189

It is often advantageous to be able to extract resource requirements in resource logics of strategic ability, rather than to verify whether a fixed resource requirement is sufficient for achieving a goal. We study Parameterised Resource-Bounded Alter... Read More about Parameterised Resource-Bounded ATL.

The Effect of Light Intensity, Sensor Height, and Spectral Pre-Processing Methods When Using NIR Spectroscopy to Identify Different Allergen-Containing Powdered Foods (2019)
Journal Article
Rady, A., Fischer, J., Reeves, S., Logan, B., & James Watson, N. (2020). The Effect of Light Intensity, Sensor Height, and Spectral Pre-Processing Methods When Using NIR Spectroscopy to Identify Different Allergen-Containing Powdered Foods. Sensors, 20(1), Article 230. https://doi.org/10.3390/s20010230

Food allergens present a significant health risk to the human population, so their presence must be monitored and controlled within food production environments. This is especially important for powdered food, which can contain nearly all known food... Read More about The Effect of Light Intensity, Sensor Height, and Spectral Pre-Processing Methods When Using NIR Spectroscopy to Identify Different Allergen-Containing Powdered Foods.

Decidable Model Checking with Uniform Strategies (2019)
Conference Proceeding
Alechina, N., Logan, B., & Dastani, M. (2019). Decidable Model Checking with Uniform Strategies. In Proceedings of the 18th International Conference on Autonomous Agent and MultiAgent Systems, AAMAS '19, 170--178

The logic of strategic ability Resource-Bounded Alternating Time Syntactic Epistemic Logic (RB+-ATSEL) has a decidable model-checking problem for coalition uniform strategies. A strategy is coalition uniform if agents in a coalition select the same j... Read More about Decidable Model Checking with Uniform Strategies.

Strategic Responsibility Under Imperfect Information (2019)
Conference Proceeding
Yazdanpanah, V., Dastani, M., Jamroga, W., Alechina, N., & Logan, B. (2019). Strategic Responsibility Under Imperfect Information. In AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 592-600

A central issue in the specification and verification of autonomous agents and multiagent systems is the ascription of responsibility to individual agents and groups of agents. When designing a (multi)agent system, we must specify which agents or gro... Read More about Strategic Responsibility Under Imperfect Information.

Synthesising process controllers from formal models of transformable assembly systems (2019)
Journal Article
De Silva, L., Felli, P., Sanderson, D., Chaplin, J. C., Logan, B., & Ratchev, S. (2019). Synthesising process controllers from formal models of transformable assembly systems. Robotics and Computer-Integrated Manufacturing, 58, 130-144. https://doi.org/10.1016/j.rcim.2019.01.014

When producing complex and highly customisable products in low volumes (or in 'batch sizes of one'), automation of production systems is critical for competitiveness and profitability in high labour-cost economies. To facilitate batch-size-of-one pro... Read More about Synthesising process controllers from formal models of transformable assembly systems.

Unbounded orchestrations of transdeucers for manufacturing (2019)
Conference Proceeding
Alechina, N., Brázdil, T., De Giacomo, G., Felli, P., Logan, B., & Vardi, M. Y. (2019). Unbounded orchestrations of transdeucers for manufacturing.

There has recently been increasing interest in using reactive synthesis techniques to automate the production of manufacturing process plans. Previous work has assumed that the set of manufacturing resources is known and fixed in advance. In this pap... Read More about Unbounded orchestrations of transdeucers for manufacturing.

An agent programming manifesto (2018)
Journal Article
Logan, B. (2018). An agent programming manifesto. International Journal of Agent-Oriented Software Engineering, 6(2), 187-210

There has been considerable progress in both the theory and practice of agent programming since Georgeff & Rao’s seminal work on the Belief-Desire-Intention paradigm. However, despite increasing interest in the development of autonomous systems, appl... Read More about An agent programming manifesto.

Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract) (2018)
Conference Proceeding
Alechina, N., Halpern, J. Y., Kash, I. A., & Logan, B. (2018). Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract). In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. https://doi.org/10.24963/ijcai.2018/781

We consider the problem of detecting norm violations in open multi-agent systems (MAS). In this extended abstract, we outline the approach of [Alechina et al., 2018], and show how, using ideas from scrip systems, we can design mecha... Read More about Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract).

Resource logics with a diminishing resource: extended abstract (2018)
Conference Proceeding
Alechina, N., & Logan, B. (2018). Resource logics with a diminishing resource: extended abstract. In Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)

Model-checking resource logics with production and consumption of resources is a computationally hard and often undecidable problem. We show that it is more feasible under the assumption that there is at least one diminishing resource, that is, a res... Read More about Resource logics with a diminishing resource: extended abstract.

Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (2018)
Journal Article
Alechina, N., Halpern, J. Y., Kash, I. A., & Logan, B. (2018). Incentive-compatible mechanisms for norm monitoring in open multi-agent systems. Journal of Artificial Intelligence Research, 62, https://doi.org/10.1613/jair.1.11214

We consider the problem of detecting norm violations in open multi-agent systems (MAS).We show how, using ideas from scrip systems, we can design mechanisms where the agents comprising the MAS are incentivised to monitor the actions of other agents f... Read More about Incentive-compatible mechanisms for norm monitoring in open multi-agent systems.

Synthesis of orchestrations of transducers for manufacturing (2018)
Conference Proceeding
De Giacomo, G., Vardi, M. Y., Felli, P., Alechina, N., & Logan, B. (2018). Synthesis of orchestrations of transducers for manufacturing.

In this paper, we model manufacturing processes and facilities as transducers (automata with output). The problem of whether a given manufacturing process can be realized by a given set of manufacturing resources can then be stated as an orchestratio... Read More about Synthesis of orchestrations of transducers for manufacturing.

On the complexity of resource-bounded logics (2018)
Journal Article
Alechina, N., Bulling, N., Demri, S., & Logan, B. S. (2018). On the complexity of resource-bounded logics. Theoretical Computer Science, 750, 69-100. https://doi.org/10.1016/j.tcs.2018.01.019

We revisit decidability results for resource-bounded logics and use decision problems on vector addition systems with states (VASS) in order to establish complexity characterisations of (decidable) model checking problems. We show that the model chec... Read More about On the complexity of resource-bounded logics.

Programming agent deliberation using procedural reflection (2018)
Journal Article
Leask, S., & Logan, B. (in press). Programming agent deliberation using procedural reflection. Fundamenta Informaticae, 158, https://doi.org/10.3233/FI-2018-1643

A key advantage of BDI-based approaches to agent programming, is that agents can deliberate about which course of action to adopt to achieve a goal or respond to an event. However, while state-of-the-art BDI-based agent programming languages allow th... Read More about Programming agent deliberation using procedural reflection.