Information sharing between heterogeneous uncertain reasoning models in a multi-agent environment: a case study

The issue of information sharing and exchanging is one of the most important issues in the areas of artificial intelligence and knowledge-based systems (KBSs), or even in the broader areas of computer and information technology. This paper deals with a special case of this issue by carrying out a case study of information sharing between two well-known heterogeneous uncertain reasoning models: the certainty factor model and the subjective Bayesian method. More precisely, this paper discovers a family of exactly isomorphic transformations between these two uncertain reasoning models. More interestingly, among isomorphic transformation functions in this family, different ones can handle different degrees to which a domain expert is positive or negative when performing such a transformation task. The direct motivation of the investigation lies in a realistic consideration. In the past, expert systems exploited mainly these two models to deal with uncertainties. In other words, a lot of stand-alone expert systems which use the two uncertain reasoning models are available. If there is a reasonable transformation mechanism between these two uncertain reasoning models, we can use the Internet to couple these pre-existing expert systems together so that the integrated systems are able to exchange and share useful information with each other, thereby improving their performance through cooperation. Also, the issue of transformation between heterogeneous uncertain reasoning models is significant in the research area of multi-agent systems because different agents in a multi-agent system could employ different expert systems with heterogeneous uncertain reasonings for their action selections and the information sharing and exchanging is unavoidable between different agents. In addition, we make clear the relationship between the certainty factor model and probability theory.

[1]  Xudong Luo,et al.  Theory and Properties of a Selfish Protocol for Multi-Agent Meeting Scheduling Using Fuzzy Constraints , 2000, ECAI.

[2]  Nicholas M. Avouris,et al.  Distributed artificial intelligence: theory and praxis , 1992 .

[3]  Yang Xiang,et al.  A Probabilistic Framework for Cooperative Multi-Agent Distributed Interpretation and Optimization of Communication , 1996, Artif. Intell..

[4]  Didier Dubois,et al.  Possibility Theory as a Basis for Qualitative Decision Theory , 1995, IJCAI.

[5]  Chengqi Zhang,et al.  A Class of Isomorphic Transformations for Integrating EMYCIN-Style and PROSPECTOR-Style Systems into a Rule-Based Multi-Agent System , 1999, PRIMA.

[6]  Moti Schneider,et al.  A stochastic model of actions and plans for anytime planning under uncertainty , 1995, Int. J. Intell. Syst..

[7]  Pere Garcia-Calvés,et al.  Designing bidding strategies for trading agents in electronic auctions , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[8]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[9]  RICHARD 0. DUDA,et al.  Subjective bayesian methods for rule-based inference systems , 1899, AFIPS '76.

[10]  Chengqi Zhang,et al.  Proof of the Correctness of EMYCIN Sequential Propagation Under Conditional Independence Assumptions , 1999, IEEE Trans. Knowl. Data Eng..

[11]  Nicholas R. Jennings,et al.  ARCHON: theory and practice , 1992 .

[12]  Katia P. Sycara The Many Faces of Agents , 1998, AI Mag..

[13]  Simon Parsons,et al.  Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1999 .

[14]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[15]  Ralph Grove,et al.  Internet‐based expert systems , 2000, Expert Syst. J. Knowl. Eng..

[16]  Jürgen Dix,et al.  Heterogeneous Agent Systems , 2000 .

[17]  Shimon Schocken,et al.  On the Rational Scope of Probabilistic Rule-Based Inference Systems , 1987, UAI.

[18]  Wilfred C. Jamison,et al.  Approaching Interoperability for Heterogeneous Multiagent Systems Using High Oder Agencies , 1997, CIA.

[19]  Ralph F. Grove Design and Development of Knowledge-Based Systems on the Web , 2000, ISCA Conference on Intelligent Systems.

[20]  Alan H. Bond,et al.  Readings in Distributed Artificial Intelligence , 1988 .

[21]  Victor Lesser,et al.  On retrieval and reasoning in distributed case bases , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[22]  Victor Lesser,et al.  Learning Experiments in a Heterogeneous Multi-agent System , 1995 .

[23]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[24]  Sarit Kraus,et al.  Multiagent reasoning with probability, time, and beliefs , 1995, Int. J. Intell. Syst..

[25]  Ross D. Shachter Probabilistic Inference and Influence Diagrams , 1988, Oper. Res..

[26]  Pere Garcia-Calvés,et al.  Possibilistic-Based Bidding Strategies in Electronic Auctions , 1998, ECAI.

[27]  Peter Jackson,et al.  Introduction to expert systems , 1986 .

[28]  P. Giorgini,et al.  An approach to using degrees of belief in BDI agents , 2000 .

[29]  Nicholas R. Jennings,et al.  Using Archon to Develop Real-World DAI Applications, Part 1 , 1996, IEEE Expert.

[30]  Nicholas R. Jennings,et al.  ARCHON: framework for intelligent cooperation , 1994 .

[31]  Eugene Santos,et al.  GESIA: uncertainty-based reasoning for a generic expert system intelligent user interface , 1996, Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence.

[32]  M. Knapik,et al.  Developing intelligent agents for distributed systems: exploring architecture, technologies, & applications , 1998 .

[33]  Michael Wooldridge,et al.  Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence , 1999 .

[34]  Gerd Wagner,et al.  Vivid agents: Theory, architecture, and applications , 2000, Appl. Artif. Intell..

[35]  Chengqi Zhang,et al.  Potential Cases, Methodologies, and Strategies of Synthesis of Solutions in Distributed Expert Systems , 1999, IEEE Trans. Knowl. Data Eng..

[36]  Victor R. Lesser,et al.  Incorporating Uncertainty in Agent Commitments , 1999, ATAL.

[37]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

[38]  Thomas Schiex,et al.  Valued Constraint Satisfaction Problems: Hard and Easy Problems , 1995, IJCAI.

[39]  Paul P. Wang,et al.  The Design of an Adaptive Multiple Agent fuzzy Constraint-Based controller (Mafcc) for a Complex hydraulic System , 1996, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[40]  D. Dubois,et al.  Qualitative possibility theory and its applications to constraint satisfaction and decision under uncertainty , 1999 .

[41]  Rüdiger Zarnekow,et al.  Intelligent software agents - foundations and applications , 1998 .

[42]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[43]  Nicholas R. Jennings,et al.  Towards a Cooperation Knowledge Level For Collaborative Problem Solving , 1992, ECAI.

[44]  罗旭东,et al.  Isomorphic Transformations of Uncertainties for Incorporating EMYCIN—Style and PROSPECTOR—Style Systems into a Distributed Expert System , 1999 .

[45]  Andrew P. Sage,et al.  Uncertainty in Artificial Intelligence , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[46]  Edward H. Shortliffe,et al.  A model of inexact reasoning in medicine , 1990 .

[47]  Yuefeng Li,et al.  Information-Based Cooperation in Multiple Agent Systems , 1999, Australian Joint Conference on Artificial Intelligence.

[48]  Chengqi Zhang Cooperation Under Uncertainty in Distributed Expert Systems , 1992, Artif. Intell..

[49]  Carles Sierra,et al.  Evolutionary Computing and Negotiating Agents , 1998, AMET.

[50]  Nicholas R. Jennings,et al.  ARCHON: a distributed artificial intelligence system for industrial application , 1996 .

[51]  Marvin Marcus Introduction to Modern Algebra , 1978 .

[52]  Trevor J. M. Bench-Capon,et al.  The KRAFT architecture for knowledge fusion and transformation , 2000, Knowl. Based Syst..

[53]  Michael Knapik,et al.  Developing Intelligent Agents for Distributed Systems , 1997 .

[54]  Sylvie Galichet,et al.  Fuzzy Sensors for fuzzy Control , 1994, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[55]  M A Musen,et al.  Dimensions of knowledge sharing and reuse. , 1992, Computers and biomedical research, an international journal.

[56]  Robert McCartney,et al.  Predicting User Actions Using Interface Agents with Individual User Models , 1999, PRIMA.

[57]  Edmund H. Durfee,et al.  Negotiating Task Decomposition and Allocation Using Partial Global Planning , 1989, Distributed Artificial Intelligence.

[58]  Jon Barwise,et al.  A Computational Architecture for Heterogeneous Reasoning , 1998 .

[59]  Michael R. Genesereth,et al.  Knowledge Interchange Format , 1991, KR.

[60]  Ruqian Lu,et al.  A model of reasoning about knowledge , 1998 .

[61]  Nicholas R. Jennings,et al.  Design and Implementation of ARCHON's Coordination Module , 1993 .

[62]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[63]  Eugene Santos,et al.  Utility Theory-Based User Models for Intelligent Interface Agents , 1998, Canadian Conference on AI.

[64]  Jérôme Lang,et al.  Planning with graded nondeterministic actions: A possibilistic approach , 1997 .

[65]  Nicholas R. Jennings,et al.  ARCHON: A Cooperation Framework for Industrial Process Control , 1991 .

[66]  Y. Shoham,et al.  What we talk about when we talk about software agents , 1999, IEEE Intell. Syst..

[67]  Chengqi Zhang,et al.  HECODES: A Framework for Heterogeneous Cooperative Distributed Expert Systems , 1991, Data Knowl. Eng..

[68]  Richard Murch,et al.  Intelligent Software Agents , 1998 .

[69]  J. McCarthy Situations, Actions, and Causal Laws , 1963 .

[70]  Julita Vassileva,et al.  Bilateral Negotiation with Incomplete and Uncertain Information: A Decision-Theoretic Approach Using a Model of the Opponent , 2000, CIA.

[71]  Munindar P. Singh,et al.  Readings in agents , 1997 .

[72]  Chengqi Zhang,et al.  Transformation between the EMYCIN Model and the Bayesian Network , 1997, Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications.

[73]  Gerhard Weiss,et al.  Multiagent systems: a modern approach to distributed artificial intelligence , 1999 .

[74]  Gottfried Vossen,et al.  The CORBA Specification for Cooperation in Heterogeneous Information Systems , 1997, CIA.

[75]  Cory J. Butz,et al.  Probabilistic reasoning in a distributed multi-agent environment , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[76]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[77]  William James Van Melle,et al.  A domain-independent system that aids in constructing knowledge-based consultation programs , 1980 .

[78]  Cristina Sernadas,et al.  Nondeterminism and Uncertainty in the Situation Calculus , 1999, FLAIRS.

[79]  Nicholas R. Jennings,et al.  Agents That Reason and Negotiate by Arguing , 1998, J. Log. Comput..

[80]  Petr Hájek,et al.  Combining Functions for Certainty Degrees in Consulting Systems , 1985, Int. J. Man Mach. Stud..

[81]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[82]  Peter F. Patel-Schneider,et al.  The DARPA Knowledge Sharing Effort: A Progress Report , 1997, KR.

[83]  Nicholas R. Jennings,et al.  The ARCHON System and its Applications , 1994 .

[84]  Chengqi Zhang Heterogeneous Transformation of Uncertainties of Propositions Among Inexact Reasoning Models , 1994, IEEE Trans. Knowl. Data Eng..

[85]  John P. McDermott,et al.  Making Expert Systems Explicit (Invited Paper) , 1986, IFIP Congress.

[86]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.