Skip to main content

Research Repository

Advanced Search

All Outputs (12)

Realisability of production recipes (2016)
Conference Proceeding
de Silva, L., Felli, P., Chaplin, J. C., Logan, B., Sanderson, D., & Ratchev, S. (2016). Realisability of production recipes. In ECAI 2016 - 22nd European Conference on Artificial Intelligence (1449-1457). https://doi.org/10.3233/978-1-61499-672-9-1449

There is a rising demand for customised products with a high degree of complexity. To meet these demands, manufacturing lines are increasingly becoming autonomous, networked, and intelligent, with production lines being virtualised into a manufacturi... Read More about Realisability of production recipes.

Reasoning about the executability of goal-plan trees (2016)
Journal Article
Yao, Y., de Silva, L., & Logan, B. (2016). Reasoning about the executability of goal-plan trees. Lecture Notes in Artificial Intelligence, 10093, 176-191. https://doi.org/10.1007/978-3-319-50983-9_10

User supplied domain control knowledge in the form of hierarchically structured agent plans is at the heart of a number of approaches to reasoning about action. This knowledge encodes the “standard operating procedures” of an agent for responding to... Read More about Reasoning about the executability of goal-plan trees.

On the Complexity of Resource-Bounded Logics (2016)
Conference Proceeding
Alechina, N., Bulling, N., Demri, S., & Logan, B. (2016). On the Complexity of Resource-Bounded Logics. In Reachability problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings (36-50). https://doi.org/10.1007/978-3-319-45994-3_3

© Springer International Publishing Switzerland 2016. We revisit decidability results for resource-bounded logics and use decision problems for vector addition systems with states (VASS) to characterise the complexity of (decidable) model-checking pr... Read More about On the Complexity of Resource-Bounded Logics.

Verifying existence of resource-bounded coalition uniform strategies (2016)
Conference Proceeding
Alechina, N., Dastani, M., & Logan, B. (2016). Verifying existence of resource-bounded coalition uniform strategies.

We consider the problem of whether a coalition of agents has a knowledge-based strategy to ensure some outcome under a resource bound. We extend previous work on verification of multi-agent systems where actions of agents produce and consume resource... Read More about Verifying existence of resource-bounded coalition uniform strategies.

Reinforcement learning of normative monitoring intensities (2016)
Journal Article
Li, J., Meneguzzi, F., Fagundes, M., & Logan, B. (2016). Reinforcement learning of normative monitoring intensities. Lecture Notes in Artificial Intelligence, 9628, 209-223. https://doi.org/10.1007/978-3-319-42691-4_12

Choosing actions within norm-regulated environments involves balancing achieving one’s goals and coping with any penalties for non-compliant behaviour. This choice becomes more complicated in environments where there is uncertainty. In this paper, we... Read More about Reinforcement learning of normative monitoring intensities.

Verifying systems of resource-bounded agents (2016)
Journal Article
Alechina, N., & Logan, B. (2016). Verifying systems of resource-bounded agents. Lecture Notes in Artificial Intelligence, 9709, 3-12. https://doi.org/10.1007/978-3-319-40189-8_1

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 Verifying systems of resource-bounded agents.

Action-level intention selection for BDI agents (2016)
Conference Proceeding
Yao, Y., & Logan, B. (2016). Action-level intention selection for BDI agents. In AAMAS '16: International Conference on Agents and Multiagent Systems (1227–1236). https://doi.org/10.5555/2936924.2937103

Belief-Desire-Intention agents typically pursue multiple goals in parallel. However the interleaving of steps in different intentions may result in conflicts, e.g., where the execution of a step in one plan makes the execution of a step in another co... Read More about Action-level intention selection for BDI agents.

Interactive and situated learning in education for sustainability (2016)
Journal Article
Altomonte, S., Logan, B., Feisst, M., Rutherford, P., & Wilson, R. (2016). Interactive and situated learning in education for sustainability. International Journal of Sustainability in Higher Education, 17(3), https://doi.org/10.1108/IJSHE-01-2015-0003

Purpose This study aims to explore the opportunities offered by interactive and situated learning (e-learning and m-learning) in support of education for sustainability in disciplines of the built environment. Design/methodology/approach The... Read More about Interactive and situated learning in education for sustainability.

Integrating BDI agents with Agent-based simulation platforms (2016)
Journal Article
Singh, D., Padgham, L., & Logan, B. (in press). Integrating BDI agents with Agent-based simulation platforms. Autonomous Agents and Multi-Agent Systems, 30(6), 1050-1071. https://doi.org/10.1007/s10458-016-9332-x

Agent-Based Models (ABMs) is increasingly being used for exploring and supporting decision making about social science scenarios involving modelling of human agents. However existing agent-based simulation platforms (e.g., SWARM, Repast) provide limi... Read More about Integrating BDI agents with Agent-based simulation platforms.

Robust execution of BDI agent programs by exploiting synergies between intentions (2016)
Conference Proceeding
Yao, Y., Logan, B., & Thangarajah, J. (2016). Robust execution of BDI agent programs by exploiting synergies between intentions. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16) (2558=2564)

A key advantage the reactive planning approach adopted by BDI-based agents is the ability to recover from plan execution failures, and almost all BDI agent programming languages and platforms provide some form of failure handling mechanism. In genera... Read More about Robust execution of BDI agent programs by exploiting synergies between intentions.