Skip to main content

Research Repository

Advanced Search

All Outputs (33)

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.

A method for matching crowd-sourced and authoritative geospatial data (2016)
Journal Article
Du, H., Alechina, N., Jackson, M., & Hart, G. (2016). A method for matching crowd-sourced and authoritative geospatial data. Transactions in GIS, 21(2), 406-427. https://doi.org/10.1111/tgis.12210

A method for matching crowd-sourced and authoritative geospatial data is presented. A level of tolerance is defined as an input parameter as some difference in the geometry representation of a spatial object is to be expected. The method generates ma... Read More about A method for matching crowd-sourced and authoritative geospatial data.

Coalition logic with individual, distributed and common knowledge (2016)
Journal Article
Ågotnes, T., & Alechina, N. (in press). Coalition logic with individual, distributed and common knowledge. Journal of Logic and Computation, Article exv085. https://doi.org/10.1093/logcom/exv085

Coalition logic is currently one of the most popular logics for multi-agent systems. While logics combining coalitional and epistemic operators have received considerable attention, completeness results for epistemic extensions of coalition logic hav... Read More about Coalition logic with individual, distributed and common knowledge.

Symbolic model checking for one-resource RB+-ATL (2015)
Conference Proceeding
Alechina, N., Logan, B., Nguyen, H. N., & Raimondi, F. (2015). Symbolic model checking for one-resource RB+-ATL.

RB+-ATL is an extension of ATL where it is possible to model consumption and production of several resources by a set of agents. The modelchecking problem for RB+-ATL is known to be decidable. However the only available model checking algorithm for R... Read More about Symbolic model checking for one-resource RB+-ATL.

On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic (2015)
Conference Proceeding
Alechina, N., Bulling, N., Logan, B., & Nguyen, H. N. (2015). On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic.

The model-checking problem for Resource Agent Logic is known to be undecidable. We review existing (un)decidability results and identify a significant fragment of the logic for which model checking is decidable. We discuss aspects which makes model c... Read More about On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic.

Alternating-time temporal logic with resource bounds (2015)
Journal Article
Nguyen, H. N., Alechina, N., Logan, B., & Rakib, A. (2015). Alternating-time temporal logic with resource bounds. Journal of Logic and Computation, https://doi.org/10.1093/logcom/exv034

Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools for reasoning about coalitional ability. However, coalitional ability c... Read More about Alternating-time temporal logic with resource bounds.

Efficient minimal preference change (2015)
Journal Article
Alechina, N., Liu, F., & Logan, B. (2018). Efficient minimal preference change. Journal of Logic and Computation, 28(8), 1715–1733. https://doi.org/10.1093/logcom/exv027

In this article, we study a minimal change approach to preference dynamics. We treat a set of preferences as a special kind of theory, and define minimal change preference contraction and revision operations in the spirit of the Alchourrón, Gärdenfor... Read More about Efficient minimal preference change.

Practical run-time norm enforcement with bounded lookahead (2015)
Conference Proceeding
Alechina, N., Bulling, N., Dastani, M., & Logan, B. (2015). Practical run-time norm enforcement with bounded lookahead.

Norms have been widely proposed as a means of coordinating and controlling the behaviour of agents in a multi-agent system. A key challenge in normative MAS is norm enforcement: how and when to restrict the agents’ behaviour in order to obtain a des... Read More about Practical run-time norm enforcement with bounded lookahead.

Using qualitative spatial logic for validating crowd-sourced geospatial data (2015)
Conference Proceeding
Du, H., Nguyen, H. H., Alechina, N., Logan, B., Jackson, M., & Goodwin, J. (2015). Using qualitative spatial logic for validating crowd-sourced geospatial data.

We describe a tool, MatchMaps, that generates sameAs and partOf matches between spatial objects (such as shops, shopping centres, etc.) in crowd-sourced and authoritative geospatial datasets. MatchMaps uses reasoning in qualitative spatial logic, des... Read More about Using qualitative spatial logic for validating crowd-sourced geospatial data.

Decidable model-checking for a resource logic with production of resources (2014)
Conference Proceeding
Alechina, N., Logan, B., Nguyen, H. N., & Raimondi, F. (2014). Decidable model-checking for a resource logic with production of resources. In ECAI 2014 (9-14). https://doi.org/10.3233/978-1-61499-419-0-9

Several logics for expressing coalitional ability under resource bounds have been proposed and studied in the literature. Previous work has shown that if only consumption of resources is considered or the total amount of resources produced or consume... Read More about Decidable model-checking for a resource logic with production of resources.

A logic for reasoning about knowledge of unawareness (2014)
Journal Article
Agotnes, T., & Alechina, N. (2014). A logic for reasoning about knowledge of unawareness. Journal of Logic, Language and Information, 23(2), https://doi.org/10.1007/s10849-014-9201-4

In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of something Ann is not aware of” – without using a stronger statement such as... Read More about A logic for reasoning about knowledge of unawareness.

Verifying heterogeneous multi-agent programs (2014)
Conference Proceeding
Doan, T. T., Yuan, Y., Alechina, N., & Logan, B. (2014). Verifying heterogeneous multi-agent programs. In AAMAS '14: Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems (149-156). https://doi.org/10.5555/2615731.2615758

We present a new approach to verifying heterogeneous multi-agent programs — multi-agent systems in which the agents are implemented in different (BDI-based) agent programming languages. Our approach is based on meta-APL, a BDI-based agent programming... Read More about Verifying heterogeneous multi-agent programs.