The SOSIEL Platform: Knowledge-based, cognitive, and multi-agent

2018 ◽  
Vol 26 ◽  
pp. 103-117 ◽  
Author(s):  
Garry Sotnik
Keyword(s):  
Author(s):  
Yì N Wáng ◽  
Xu Li

Abstract We introduce a logic of knowledge in a framework in which knowledge is treated as a kind of belief. The framework is based on a standard KD45 characterization of belief, and the characterization of knowledge undergoes the classical tripartite analysis that knowledge is justified true belief, which has a natural link to the studies of logics of evidence and justification. The interpretation of knowledge avoids the unwanted properties of logical omniscience, independent of the choice of the base logic of belief. We axiomatize the logic, prove its soundness and completeness and study the computational complexity results of the model checking and satisfiability problems. We extend the logic to a multi-agent setting and introduce a variant in which belief is characterized in a weaker system to avoid the problem of logical omniscience.


Author(s):  
Rahul Singh

Organizations use knowledge-driven systems to deliver problem-specific knowledge over Internet-based distributed platforms to decision-makers. Increasingly, artificial intelligence (AI) techniques for knowledge representation are being used to deliver knowledge-driven decision support in multiple forms. In this chapter, we present an Architecture for knowledge-based decision support, delivered through a Multi-Agent Architecture. We illustrate how to represent and exchange domain-specific knowledge in XML-format through intelligent agents to create exchange and use knowledge to provide intelligent decision support. We show the integration of knowledge discovery techniques to create knowledge from organizational data; and knowledge repositories (KR) to store, manage and use data by intelligent software agents for effective knowledge-driven decision support. Implementation details of the architecture, its business implications and directions for further research are discussed.


Author(s):  
MARIO KUSEK ◽  
KRESIMIR JURASOVIC ◽  
GORDAN JEZIC

This paper deals with the verification of a multi-agent system simulator. Agents in the simulator are based on the Mobile Agent Network (MAN) formal model. It describes a shared plan representing a process which allows team formation according to task complexity and the characteristics of the distributed environment where these tasks should be performed. In order to verify the simulation results, we compared them with performance characteristics of a real multi-agent system, called the Multi-Agent Remote Maintenance Shell (MA–RMS). MA–RMS is organized as a team-oriented knowledge based system responsible for distributed software management. The results are compared and analyzed for various testing scenarios which differ with respect to network bandwidth as well as task and network complexity.


Author(s):  
Zude Zhou ◽  
Huaiqing Wang ◽  
Ping Lou

In Chapters 2 and 3, the knowledge-based system and Multi-Agent system were illustrated. These are significant methods and theories of Manufacturing Intelligence (MI). Data Mining (DM) and Knowledge Discovery (KD) are at the foundation of MI. Humans are immersed in data, but are thirsty for knowledge. With the wider application of database technology, a dilemma has arisen whereby people are ‘rich in data, poor in knowledge’. The explosion of knowledge and information has brought great benefit to mankind, but has also carried with it certain drawbacks, since it has resulted in knowledge and information ‘pollution. Facing a vast but polluted ocean of data, a technical means to discard the bad and retain the good was sought. Data Mining and Knowledge Discovery (DMKD) was therefore proposed against the background of rapidly expanding data and databases. It is also the result of the development and fusion of database technology, Artificial Intelligence (AI), statistical techniques and visualization technology (Fayyad U., 1998). DMKD has become a research focus and cutting-edge technology in the field of computer information processing (Jef Woksem, 2001). The development background, conception, working process, classification and general application of DM and KD are firstly introduced in this chapter. Secondly, basic functions and assignment such as prediction, description, data clustering, data classification, conception description and visualization processing are discussed. Then the methods and tools for DM are presented, such as the association rule, decision tree, genetic algorithm, rough set and support vector machine. Finally, the application of DMKD in intelligent manufacturing is summarized.


Sign in / Sign up

Export Citation Format

Share Document