Change search
ReferencesLink to record
Permanent link

Direct link
Situation Theory, Situated Information, and Situated Agents
Independent Research, Uppsala, Sverige. (Mathematical Logic)
2014 (English)In: Transactions on Computational Collective Intelligence XVII / [ed] Ngoc Thanh Nguyen, Ryszard Kowalczyk, Ana Fred, Filipe Joaquim., Berlin: Springer Berlin/Heidelberg, 2014, Vol. 8790, 145-170 p.Chapter in book (Refereed)
Abstract [en]

Situation Theory is mathematical modelling of concepts such as information, information units, situations, states, events, context, agents, and agent perspectives.  We introduce major type-theoretical objects of Situation Theory, which model situated, partial, and parametric information.  The system of situated objects is defined by mutual recursion. The main contribution to Situation Theory in this article is the distinction between situated propositions, as contents of statements and intentions, and situated factuality of the verified propositions. We use this distinction to define complex, propositional types.  Another contribution is that we define complex, restricted parameters by using propositional types. The article demonstrates potential applications of the introduced complex, situation-theoretical objects.  Among the many applications of Situation Theory are developments of intelligent language processing and user-computer interfaces, by integrations of human and computer languages. We focus on modelling major objects that have potentials in such applications, e.g., contexts, situated agents, and usage of names to designate objects depending on agents and information available to agents.

Place, publisher, year, edition, pages
Berlin: Springer Berlin/Heidelberg, 2014. Vol. 8790, 145-170 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 8790
Keyword [en]
situation theory, information, situation semantics, parameters, partiality, situations, types, restricted parameters, context, agents
National Category
Information Systems
Research subject
Computer Science
URN: urn:nbn:se:su:diva-111982DOI: 10.1007/978-3-662-44994-3_8ISBN: 9783662449943OAI: diva2:777384
Available from: 2015-01-08 Created: 2015-01-08 Last updated: 2015-04-08Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Loukanova, Roussanka
Information Systems

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 15 hits
ReferencesLink to record
Permanent link

Direct link