A logic for context-aware non-monotonic reasoning agents

A. Rakib, H.M. Ul Haque

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

20 Citations (Scopus)


We develop a logical model for resource-bounded context-aware multi-agent systems which handles inconsistent context information using non-monotonic reasoning. We extend the temporal logic CTL * with belief and communication modalities, and the resulting logic LDROCS allows us to describe a set of rule-based non-monotonic context-aware agents with bounds on computational (time and space) and communication resources. We use OWL 2 RL ontologies and Semantic Web Rule Language (SWRL) for context-modelling and rules that enables the construction of a formal system. We provide an axiomatization of the logic and prove it is sound and complete. We illustrate the use of the logical model on a simple example.
Original languageEnglish
Title of host publicationHuman-Inspired Computing and Its Applications
EditorsAlexander Gelbukh, Félix Castro Espinoza, Sofía N. Galicia-Haro
Number of pages18
ISBN (Electronic)978-3-319-13647-9
ISBN (Print)978-3-319-13646-2
Publication statusPublished - 2014
Externally publishedYes

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'A logic for context-aware non-monotonic reasoning agents'. Together they form a unique fingerprint.

Cite this