Summary
Various formal approaches to modelling of multiagent systems were used, e.g., logics of knowledge and various kinds of modal logics [4]. We discuss an approach to multiagent systems based on assumption that the agents possess only partial information about global states, see [6]. We make a general assumption that agents perceive the world by fragmentary observations only [8, 4]. We propose to use partial structures for agent modelling and we present some consequences of such an algebraic approach. Such partial structures are incrementally enriched by new information. These enriched structures are represented by extensions of the given partial model. The extension of partial structure is a basic notion of this paper. It makes it possible for a given agent to model hypotheses about extensions of the observable world. An agent can express the properties of the states by properties of the partial structure he has at his disposal. We assume that every agent knows the signature of the language that we use for modelling agents.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bartol, W., ‘Introduction to the Theory of Partial Algebras’, Lectures on Algebras, Equations and Partiality, Univ. of Balearic Islands, Technical Report B-006, (1992), pp. 36–71.
Burmeister, P., ‘A Model Theoretic Oriented Approach to Partial Algebras’, Mathematical Research 32, Akademie-Verlag, Berlin (1986).
Burris, S., Sankappanavar, H.P[.], ‘A Course in Universal Algebra’, Springer-Verlag, Berlin (1981).
Fagin, R., Halpern, J., Moses, Y., Vardi, M.Y., ‘Reasoning About Knowledge’, MIT Press, Cambridge MA (1995).
Gabbay, D.M., Hogger, C.J., Robinson, A.A., ‘Handbook of Logic in Artificial Intelligence and Logic Programming 3: Nonmonotonic Reasoning and Uncertain Reasoning’, Oxford University Press, Oxford (1994).
d’Inverno M., Luck, M., ‘Understanding Agent Systems’, Springer-Verlag, Heidelberg, (2004).
Pal, S.K., Polkowski, L., Skowron, A. (Eds.), ‘Rough-Neural Computing: Techniques for Computing with Words’, Springer-Verlag, Berlin, (2004).
Pawlak, Z., ‘Rough sets. Theoretical Aspects of Reasoning about Data’, Kluwer Academic Publishers, Dordrecht, (1991).
Shoenfield, J.R., ‘Mathematical Logic’, Addison-Wesley Publishing Company, New York 1967.
Staruch, B., ‘Derivation from Partial Knowledge in Partial Models’, Bulletin of the Section of Logic 32, (2002), pp. 75–84.
Staruch, B., Staruch B., ‘Possible sets of equations’, Bulletin of the Section of Logic 32, (2002), pp. 85–95.
Staruch, B., Staruch B., ‘Partial Algebras in Logic’, submitted to Logika, Acta Universitatis Vratislaviensis, (2002).
Staruch, B., Staruch B., ‘First order theories for partial model’, accepted for publication in Studia Logica, (2003)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Staruch, B. (2005). Extensions of Partial Structures and Their Application to Modelling of Multiagent Systems. In: Monitoring, Security, and Rescue Techniques in Multiagent Systems. Advances in Soft Computing, vol 28. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-32370-8_22
Download citation
DOI: https://doi.org/10.1007/3-540-32370-8_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23245-2
Online ISBN: 978-3-540-32370-9
eBook Packages: EngineeringEngineering (R0)