A metalogic programming approach to multi-agent knowledge and belief
Artificial intelligence and mathematical theory of computation
Processing Schedules Using Distributed Ontologies on the Semantic Web
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
ICEC '03 Proceedings of the 5th international conference on Electronic commerce
DRAGO: distributed reasoning architecture for the semantic web
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Hi-index | 0.00 |
The success of the semantic web would be determined by how easy and uniform to access to and exchange of the semantic information among computers. In this paper we have developed a framework of multi-agent communication of the Semantic Web information. The agent and the communication between agents are characterized in meta-logic. One single agent, understood as a meta-logical system, adopts a demo(.) predicate as its inference engine and meta-programs—transformed from some Semantic Web ontologies—as its assumptions. Such an agent can reason with its assumptions as well as other agent's assumptions. With this ability, when several agents are created by using this framework, the community of these agents can uniformly communicate the Semantic Web information between each other on the Internet.