Contextual defeasible logic and its application to ambient intelligence

Antonis Bikakis, Grigoris Antoniou

Research output: Contribution to journalArticle

7 Citations (Scopus)

Abstract

The imperfect nature of context in ambient intelligence environments, and the special characteristics of the entities that possess and share the available context information render contextual reasoning a very challenging task. The accomplishment of this task requires formal models that handle the involved entities as autonomous logic-based agents, and provide methods for handling the imperfect and distributed nature of context. We propose a solution based on the multi-context systems (MCS) formalism, in which local context knowledge of ambient agents is encoded in rule theories (contexts), and information flow between agents is achieved through mapping rules, associating concepts used by different contexts. To handle the imperfect nature of context, we extend MCS with non-monotonic features-local defeasible theories, defeasible mappings, and a preference ordering on the system contexts. In this paper, we present the novel representation model, called contextual defeasible logic, describe how its elements are used to derive distributed conclusions through a proof theory, and propose an algorithm for distributed query evaluation that implements the proof theory of contextual defeasible logic. The application of the proposed approach in a scenario from the ambient intelligence domain demonstrates how its distinct features overcome the challenges imposed by the special characteristics of ambient intelligence environments.

LanguageEnglish
Article number5756697
Pages705-716
Number of pages12
JournalIEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Volume41
Issue number4
Early online date29 Apr 2011
DOIs
Publication statusPublished - 1 Jul 2011
Externally publishedYes

Fingerprint

Ambient intelligence

Cite this

@article{706ed1ae3a1c4f57931938ebd67409ff,
title = "Contextual defeasible logic and its application to ambient intelligence",
abstract = "The imperfect nature of context in ambient intelligence environments, and the special characteristics of the entities that possess and share the available context information render contextual reasoning a very challenging task. The accomplishment of this task requires formal models that handle the involved entities as autonomous logic-based agents, and provide methods for handling the imperfect and distributed nature of context. We propose a solution based on the multi-context systems (MCS) formalism, in which local context knowledge of ambient agents is encoded in rule theories (contexts), and information flow between agents is achieved through mapping rules, associating concepts used by different contexts. To handle the imperfect nature of context, we extend MCS with non-monotonic features-local defeasible theories, defeasible mappings, and a preference ordering on the system contexts. In this paper, we present the novel representation model, called contextual defeasible logic, describe how its elements are used to derive distributed conclusions through a proof theory, and propose an algorithm for distributed query evaluation that implements the proof theory of contextual defeasible logic. The application of the proposed approach in a scenario from the ambient intelligence domain demonstrates how its distinct features overcome the challenges imposed by the special characteristics of ambient intelligence environments.",
keywords = "Ambient intelligence, contextual reasoning, defeasible reasoning, multi-context systems (MCS)",
author = "Antonis Bikakis and Grigoris Antoniou",
year = "2011",
month = "7",
day = "1",
doi = "10.1109/TSMCA.2011.2132715",
language = "English",
volume = "41",
pages = "705--716",
journal = "IEEE Transactions on Systems, Man, and Cybernetics: Systems",
issn = "2168-2216",
publisher = "IEEE Advancing Technology for Humanity",
number = "4",

}

Contextual defeasible logic and its application to ambient intelligence. / Bikakis, Antonis; Antoniou, Grigoris.

In: IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans, Vol. 41, No. 4, 5756697, 01.07.2011, p. 705-716.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Contextual defeasible logic and its application to ambient intelligence

AU - Bikakis, Antonis

AU - Antoniou, Grigoris

PY - 2011/7/1

Y1 - 2011/7/1

N2 - The imperfect nature of context in ambient intelligence environments, and the special characteristics of the entities that possess and share the available context information render contextual reasoning a very challenging task. The accomplishment of this task requires formal models that handle the involved entities as autonomous logic-based agents, and provide methods for handling the imperfect and distributed nature of context. We propose a solution based on the multi-context systems (MCS) formalism, in which local context knowledge of ambient agents is encoded in rule theories (contexts), and information flow between agents is achieved through mapping rules, associating concepts used by different contexts. To handle the imperfect nature of context, we extend MCS with non-monotonic features-local defeasible theories, defeasible mappings, and a preference ordering on the system contexts. In this paper, we present the novel representation model, called contextual defeasible logic, describe how its elements are used to derive distributed conclusions through a proof theory, and propose an algorithm for distributed query evaluation that implements the proof theory of contextual defeasible logic. The application of the proposed approach in a scenario from the ambient intelligence domain demonstrates how its distinct features overcome the challenges imposed by the special characteristics of ambient intelligence environments.

AB - The imperfect nature of context in ambient intelligence environments, and the special characteristics of the entities that possess and share the available context information render contextual reasoning a very challenging task. The accomplishment of this task requires formal models that handle the involved entities as autonomous logic-based agents, and provide methods for handling the imperfect and distributed nature of context. We propose a solution based on the multi-context systems (MCS) formalism, in which local context knowledge of ambient agents is encoded in rule theories (contexts), and information flow between agents is achieved through mapping rules, associating concepts used by different contexts. To handle the imperfect nature of context, we extend MCS with non-monotonic features-local defeasible theories, defeasible mappings, and a preference ordering on the system contexts. In this paper, we present the novel representation model, called contextual defeasible logic, describe how its elements are used to derive distributed conclusions through a proof theory, and propose an algorithm for distributed query evaluation that implements the proof theory of contextual defeasible logic. The application of the proposed approach in a scenario from the ambient intelligence domain demonstrates how its distinct features overcome the challenges imposed by the special characteristics of ambient intelligence environments.

KW - Ambient intelligence

KW - contextual reasoning

KW - defeasible reasoning

KW - multi-context systems (MCS)

UR - http://www.scopus.com/inward/record.url?scp=79959606754&partnerID=8YFLogxK

U2 - 10.1109/TSMCA.2011.2132715

DO - 10.1109/TSMCA.2011.2132715

M3 - Article

VL - 41

SP - 705

EP - 716

JO - IEEE Transactions on Systems, Man, and Cybernetics: Systems

T2 - IEEE Transactions on Systems, Man, and Cybernetics: Systems

JF - IEEE Transactions on Systems, Man, and Cybernetics: Systems

SN - 2168-2216

IS - 4

M1 - 5756697

ER -