317 research outputs found
A Note on Parameterised Knowledge Operations in Temporal Logic
We consider modeling the conception of knowledge in terms of temporal logic.
The study of knowledge logical operations is originated around 1962 by
representation of knowledge and belief using modalities. Nowadays, it is very
good established area. However, we would like to look to it from a bit another
point of view, our paper models knowledge in terms of linear temporal logic
with {\em past}. We consider various versions of logical knowledge operations
which may be defined in this framework. Technically, semantics, language and
temporal knowledge logics based on our approach are constructed. Deciding
algorithms are suggested, unification in terms of this approach is commented.
This paper does not offer strong new technical outputs, instead we suggest new
approach to conception of knowledge (in terms of time).Comment: 10 page
Computing Truth of Logical Statements in Multi-Agentsβ Environment
Thispaperdescribeslogical models and computational algorithmsforlogical statements(specs) including various versions ofChanceDiscovery(CD).The approachisbased attemporal multi-agentlogic. Prime question is how to express most essential properties of CD in terms of temporal logic (branching time multi-agentsβ logic or a linear one), how to deο¬ne CD by formulas in logical language. We, as an example, introduce several formulas in the language of temporal multi-agent logic which may express essential properties of CD. Then we study computational questions (in particular, using some light modiο¬cation of the standard ο¬ltration technique we show that the constructed logic has the ο¬nite-model property with eο¬ectively computable upper bound; this proves that the logic is decidable and provides a decision algorithm). At the ο¬nal part of the paper we consider interpretation of CD via uncertainty and plausibility in an extension ofthelineartemporallogicLTL and computationfortruth values(satisο¬ability) ofits formulas.ΠΡΠ΅Π΄ΡΡΠ°Π²Π»Π΅Π½Π½Π°Ρ ΡΡΠ°ΡΡΡ ΠΏΠΎΡΠ²ΡΡΠ΅Π½Π° ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ
ΠΌΠΎΠ΄Π΅Π»Π΅ΠΉ ΡΠ°Π·Π»ΠΈΡΠ½ΡΡ
Π²Π΅ΡΡΠΈΠΉ ΡΠ΅ΠΎΡΠΈΠΈ ΡΠ»ΡΡΠ°ΠΉΠ½ΡΡ
ΠΎΡΠΊΡΡΡΠΈΠΉ (Π‘Π) ΠΈ ΠΎΠΏΠΈΡΠ°Π½ΠΈΡ Π²ΡΡΠΈΡΠ»ΠΈΡΠ΅Π»ΡΠ½ΡΡ
Π°Π»Π³ΠΎΡΠΈΡΠΌΠΎΠ² Π΄Π»Ρ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ
Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ. ΠΡΠ΅Π΄Π»Π°Π³Π°Π΅ΠΌΡΠΉ Π½Π°ΠΌΠΈ ΠΏΠΎΠ΄Ρ
ΠΎΠ΄ ΠΎΡΠ½ΠΎΠ²ΡΠ²Π°Π΅ΡΡΡ Π½Π° ΠΌΠ½ΠΎΠ³ΠΎΠ°Π³Π΅Π½ΡΠ½ΠΎΠΉ Π²ΡΠ΅ΠΌΠ΅Π½Π½ΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠ΅. ΠΠ»Π°Π²Π½ΡΠΉ Π²ΠΎΠΏΡΠΎΡ ΡΠΎΡΡΠΎΠΈΡ Π² ΡΠΎΠΌ, ΠΊΠ°ΠΊ ΠΌΠΎΠΆΠ½ΠΎ Π±ΡΠ»ΠΎ Π±Ρ Π²ΡΡΠ°Π·ΠΈΡΡ ΡΠ°ΠΌΡΠ΅ ΡΡΡΠ΅ΡΡΠ²Π΅Π½Π½ΡΠ΅ ΡΠ²ΠΎΠΉΡΡΠ²Π° Π‘Π Π² ΡΠ΅ΡΠΌΠΈΠ½Π°Ρ
Π²ΡΠ΅ΠΌΠ΅Π½Π½ΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠΈ, ΠΌΠ½ΠΎΠ³ΠΎΠ°Π³Π΅Π½ΡΠ½ΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠΈ Ρ Π²Π΅ΡΠ²ΡΡΠΈΠΌΡΡ Π²ΡΠ΅ΠΌΠ΅Π½Π΅ΠΌ ΠΈΠ»ΠΈ Π»ΠΈΠ½Π΅ΠΉΠ½ΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠΈ ΠΈ Π²ΠΎΠΎΠ±ΡΠ΅ ΠΊΠ°ΠΊ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΡ Π‘Π Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΠΎΡΠΌΡΠ» ΡΠ·ΡΠΊΠ° Π»ΠΎΠ³ΠΈΠΊΠΈ. ΠΠ°ΠΌΠΈ Π² ΡΡΠ°ΡΡΠ΅ Π²Π²Π΅Π΄Π΅Π½ΠΎ Π½Π΅ΡΠΊΠΎΠ»ΡΠΊΠΎ ΡΠΎΡΠΌΡΠ» Π½Π° ΡΠ·ΡΠΊΠ΅ ΠΌΠ½ΠΎΠ³ΠΎΠ°Π³Π΅Π½ΡΠ½ΠΎΠΉ Π²ΡΠ΅ΠΌΠ΅Π½Π½ΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠΈ, ΠΊΠΎΡΠΎΡΡΠ΅ ΡΠΏΠΎΡΠΎΠ±Π½Ρ Π²ΡΡΠ°Π·ΠΈΡΡ ΡΡΡΠ΅ΡΡΠ²Π΅Π½Π½ΡΠ΅ ΡΠ²ΠΎΠΉΡΡΠ²Π° Π‘Π. ΠΡΠΏΠΎΠ»ΡΠ·ΡΡ Π½Π΅ΠΊΠΎΡΠΎΡΡΡ ΠΌΠΎΠ΄ΠΈΡΠΈΡΠΈΡΠΎΠ²Π°Π½Π½ΡΡ ΡΡΠ°Π½Π΄Π°ΡΡΠ½ΡΡ ΡΠ΅Ρ
Π½ΠΈΠΊΡ ΡΠΈΠ»ΡΡΡΠ°ΡΠΈΠΈ, ΠΌΡ ΠΏΠΎΠΊΠ°Π·Π°Π»ΠΈ, ΡΡΠΎ ΡΠΊΠΎΠ½ΡΡΡΡΠΈΡΠΎΠ²Π°Π½Π½Π°Ρ ΡΠ°ΠΊΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ Π»ΠΎΠ³ΠΈΠΊΠ° ΠΈΠΌΠ΅Π΅Ρ ΡΠ²ΠΎΠΉΡΡΠ²ΠΎ ΡΠΈΠ½ΠΈΡΠ½ΠΎΠΉ Π°ΠΏΠΏΡΠΎΠΊΡΠΈΠΌΠΈΡΡΠ΅ΠΌΠΎΡΡΠΈ Ρ ΡΡΡΠ΅ΠΊΡΠΈΠ²Π½ΠΎ Π²ΡΡΠΈΡΠ»ΠΈΠΌΠΎΠΉ Π²Π΅ΡΡ
Π½Π΅ΠΉ Π³ΡΠ°Π½ΠΈΡΠ΅ΠΉ. ΠΡΠΎ Π΄ΠΎΠΊΠ°Π·ΡΠ²Π°Π΅Ρ, ΡΡΠΎ ΡΠ°ΠΊΠ°Ρ Π»ΠΎΠ³ΠΈΠΊΠ° ΡΠ°Π·ΡΠ΅ΡΠΈΠΌΠ° ΠΈ Π½Π°ΠΌΠΈ ΠΏΡΠ΅Π΄ΡΡΠ²Π»Π΅Π½ Π°Π»Π³ΠΎΡΠΈΡΠΌ ΡΠ°Π·ΡΠ΅ΡΠ΅Π½ΠΈΡ. Π Π·Π°ΠΊΠ»ΡΡΠΈΡΠ΅Π»ΡΠ½ΠΎΠΉ ΡΠ°ΡΡΠΈ ΡΡΠ°ΡΡΠΈ ΠΌΡ ΡΠ°ΡΡΠΌΠ°ΡΡΠΈΠ²Π°Π΅ΠΌ ΠΈΠ½ΡΠ΅ΡΠΏΡΠ΅ΡΠ°ΡΠΈΡ Π‘Π ΠΏΠΎΡΡΠ΅Π΄ΡΡΠ²ΠΎΠΌ Π½Π΅ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ½Π½ΠΎΡΡΠΈ ΠΈ Π²Π΅ΡΠΎΡΡΠ½ΠΎΡΡΠΈ Π² ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΠΈ Π²ΡΠ΅ΠΌΠ΅Π½Π½ΠΎΠΉ Π»ΠΈΠ½Π΅ΠΉΠ½ΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠΈ ΠΈ Π²ΡΡΠΈΡΠ»Π΅Π½ΠΈΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠ½ΡΡ
Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ Π΅Ρ ΡΠΎΡΠΌΡΠ»
Behavioural Economics: Classical and Modern
In this paper, the origins and development of behavioural economics, beginning with the pioneering works of Herbert Simon (1953) and Ward Edwards (1954), is traced, described and (critically) discussed, in some detail. Two kinds of behavioural economics β classical and modern β are attributed, respectively, to the two pioneers. The mathematical foundations of classical behavioural economics is identified, largely, to be in the theory of computation and computational complexity; the corresponding mathematical basis for modern behavioural economics is, on the other hand, claimed to be a notion of subjective probability (at least at its origins in the works of Ward Edwards). The economic theories of behavior, challenging various aspects of 'orthodox' theory, were decisively influenced by these two mathematical underpinnings of the two theoriesClassical Behavioural Economics, Modern Behavioural Economics, Subjective Probability, Model of Computation, Computational Complexity. Subjective Expected Utility
Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing
Most current attempts to achieve reliable knowledge sharing on a large scale have relied on pre-engineering of content and supply services. This, like traditional knowledge engineering, does not by itself scale to large, open, peer to peer systems because the cost of being precise about the absolute semantics of services and their knowledge rises rapidly as more services participate. We describe how to break out of this deadlock by focusing on semantics related to interaction and using this to avoid dependency on a priori semantic agreement; instead making semantic commitments incrementally at run time. Our method is based on interaction models that are mobile in the sense that they may be transferred to other components, this being a mechanism for service composition and for coalition formation. By shifting the emphasis to interaction (the details of which may be hidden from users) we can obtain knowledge sharing of sufficient quality for sustainable communities of practice without the barrier of complex meta-data provision prior to community formation
Non-transitive linear temporal logic and logical knowledge operations
Β© 2015 The Author, 2015. Published by Oxford University Press. All rights reserved.We study a linear temporal logic LTLNT with non-transitive time (with NEXT and UNTIL) and possible interpretations for logical knowledge operations in this approach. We assume time to be non-transitive, linear and discrete, it is a major innovative part of our article. Motivation for our approach that time might be non-transitive and comments on possible interpretations of logical knowledge operations are given. The main result of Section 5 is a solution of the decidability problem for LTLNT, we find and describe in details the decision algorithm. In Section 6 we introduce non-transitive linear temporal logic LTLNT(m) with uniform bound (m) for non-transitivity. We compare it with standard linear temporal logic LTL and the logic LTLNT - where non-transitivity has no upper bound - and show that LTLNT may be approximated by logics LTLNT(m). Concluding part of the article contains a list of open interesting problems
- β¦