Situation Theory, Situated Information, and Situated Agents
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)
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
situation theory, information, situation semantics, parameters, partiality, situations, types, restricted parameters, context, agents
Research subject Computer Science
IdentifiersURN: urn:nbn:se:su:diva-111982DOI: 10.1007/978-3-662-44994-3_8ISBN: 9783662449943OAI: oai:DiVA.org:su-111982DiVA: diva2:777384