Distributed Artificial Intelligence (henceforth called DAI) deals with issues of large-scale Open Systems (i.e. systems which are always subject to unanticipated outcomes in their operation and which can receive new information from outside themselves at any time). Open Information Systems (henceforth called OIS) are Open Systems that are implemented using digital storage, operations, and communications technology. OIS Semantics aims to provide a scientific foundation for understanding such large-scale OIS projects and for developing new technology. The literature of DAI speaks of many important concepts such as commitment, conflict, negotiation, cooperation, distributed problem solving, representation, etc. However there is currently no framework for comparing the usage of such concepts in one publication with usage in other publications. Open Information System Semantics (henceforth called OIS Semantics) is a step toward remedying this problem by providing a framework which integrates methods from Sociology with methods from Concurrent Systems Science into a foundation that provides a framework for analyzing previous work in DAI and a powerful foundation for its further development. Deduction, one of the most powerful and well-understood methods for information systems, has recently been applied to foundational issues in DAI thereby raising important new issues and problems above and beyond those of applying deduction to the problems of classical AI. OIS Semantics provides answers to many important questions about the uses of deduction in OIS. It provides a characterization of Deduction that encompasses Nth-Order Logics, Meta-theories, Modal Logics, Circumscription, Default Logic, Autoepistemic Logic, Restricted Scope Nonmonotonic Logics, etc. OIS Semantics develops the concept of Deductive Indecision as a fundamental aspect of Deductive systems, thereby characterizing the scope and limits of Deduction for operational and representational activities in OIS. Negotiations play a fundamental role in OIS Semantics. They are creative processes that go beyond the capabilities of Deduction. OIS Semantics characterizes the role of Negotiation as a powerful method for increasing understanding of large-scale OIS projects. The ambitious goal of OIS Semantics for DAI is to provide an integrated foundation for Sociology and Concurrent Systems Science. This paper provides a snapshot of where we currently stand in the process of developing these foundations
Read full abstract