Epistemic belief frames in distributed effects-based reasoning

Eric R. Lindahl, Qiuming Zhu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

Negotiation of a consistent ontology and concept label set is a significant problem in Multi-Agent Systems (MAS). Heterogeneous MAS may not be able to fully negotiate a normalized ontology and so dealing with paraconsistent ontologies may be required. A belief calculus provides operators capable of expressing and maintaining uncertainty in paraconsistent reasoning operations over a belief frame. Developing and limiting a belief frame with heterogeneous ontologies is a particular problem for distributed MAS reasoning about causal chains. We propose using a sorted logic for entailing and populating epistemic belief frames supporting a belief calculus for distributed MAS effects-based reasoning.

Original languageEnglish (US)
Title of host publication2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007
Pages46-51
Number of pages6
DOIs
StatePublished - Sep 25 2007
Event2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007 - Waltham, MA, United States
Duration: Apr 30 2007May 3 2007

Publication series

Name2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007

Conference

Conference2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007
CountryUnited States
CityWaltham, MA
Period4/30/075/3/07

Fingerprint

Multi agent systems
Ontology
Labels

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Lindahl, E. R., & Zhu, Q. (2007). Epistemic belief frames in distributed effects-based reasoning. In 2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007 (pp. 46-51). [4227522] (2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007). https://doi.org/10.1109/KIMAS.2007.369783

Epistemic belief frames in distributed effects-based reasoning. / Lindahl, Eric R.; Zhu, Qiuming.

2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007. 2007. p. 46-51 4227522 (2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Lindahl, ER & Zhu, Q 2007, Epistemic belief frames in distributed effects-based reasoning. in 2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007., 4227522, 2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007, pp. 46-51, 2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007, Waltham, MA, United States, 4/30/07. https://doi.org/10.1109/KIMAS.2007.369783
Lindahl ER, Zhu Q. Epistemic belief frames in distributed effects-based reasoning. In 2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007. 2007. p. 46-51. 4227522. (2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007). https://doi.org/10.1109/KIMAS.2007.369783
Lindahl, Eric R. ; Zhu, Qiuming. / Epistemic belief frames in distributed effects-based reasoning. 2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007. 2007. pp. 46-51 (2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007).
@inproceedings{d2f601af2a494b11b75ba0a67774a50c,
title = "Epistemic belief frames in distributed effects-based reasoning",
abstract = "Negotiation of a consistent ontology and concept label set is a significant problem in Multi-Agent Systems (MAS). Heterogeneous MAS may not be able to fully negotiate a normalized ontology and so dealing with paraconsistent ontologies may be required. A belief calculus provides operators capable of expressing and maintaining uncertainty in paraconsistent reasoning operations over a belief frame. Developing and limiting a belief frame with heterogeneous ontologies is a particular problem for distributed MAS reasoning about causal chains. We propose using a sorted logic for entailing and populating epistemic belief frames supporting a belief calculus for distributed MAS effects-based reasoning.",
author = "Lindahl, {Eric R.} and Qiuming Zhu",
year = "2007",
month = "9",
day = "25",
doi = "10.1109/KIMAS.2007.369783",
language = "English (US)",
isbn = "1424409454",
series = "2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007",
pages = "46--51",
booktitle = "2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007",

}

TY - GEN

T1 - Epistemic belief frames in distributed effects-based reasoning

AU - Lindahl, Eric R.

AU - Zhu, Qiuming

PY - 2007/9/25

Y1 - 2007/9/25

N2 - Negotiation of a consistent ontology and concept label set is a significant problem in Multi-Agent Systems (MAS). Heterogeneous MAS may not be able to fully negotiate a normalized ontology and so dealing with paraconsistent ontologies may be required. A belief calculus provides operators capable of expressing and maintaining uncertainty in paraconsistent reasoning operations over a belief frame. Developing and limiting a belief frame with heterogeneous ontologies is a particular problem for distributed MAS reasoning about causal chains. We propose using a sorted logic for entailing and populating epistemic belief frames supporting a belief calculus for distributed MAS effects-based reasoning.

AB - Negotiation of a consistent ontology and concept label set is a significant problem in Multi-Agent Systems (MAS). Heterogeneous MAS may not be able to fully negotiate a normalized ontology and so dealing with paraconsistent ontologies may be required. A belief calculus provides operators capable of expressing and maintaining uncertainty in paraconsistent reasoning operations over a belief frame. Developing and limiting a belief frame with heterogeneous ontologies is a particular problem for distributed MAS reasoning about causal chains. We propose using a sorted logic for entailing and populating epistemic belief frames supporting a belief calculus for distributed MAS effects-based reasoning.

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

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

U2 - 10.1109/KIMAS.2007.369783

DO - 10.1109/KIMAS.2007.369783

M3 - Conference contribution

AN - SCOPUS:34548803814

SN - 1424409454

SN - 9781424409457

T3 - 2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007

SP - 46

EP - 51

BT - 2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007

ER -