Filters








1,587,188 Hits in 3.0 sec

Computational situation theory

Erkan Tin, Varol Akman
1994 ACM SIGART Bulletin  
Situation Theory and Situation Semantics Situation theory is a mathematical theory of meaning [25] .  ...  In this paper, we review the existing approaches towards 'computational situation theory' with considerable emphasis on our own research.  ...  Table 1) , these approaches are useful initial attempts towards a computational account of the theory. We believe that computational aspects of situation theory call for deeper investigation.  ... 
doi:10.1145/191604.191608 fatcat:sktmd6s53rctnbaioyfhxuvxwe

A Computational Framework for Identity Based on Situation Theory

Janelle MASON, Kofi KYEI, Darrion LONG, Hannah FOSTER, William NICK, James MAYES, Albert ESTERLINE
2018 International Symposium on Affective Science and Engineering  
This paper presents a computational framework for identity (initially about the culprit in a crime scene) based on Barwise's situation theory.  ...  To follow how evidence supports hypotheses on the identity of the culprit in a crime scene, we use Dempster-Shafer theory.  ...  :C000027A Computational Framework for Identity Based on Situation...Artificial IntelligenceKeywords: Situation Theory, Ontologies, Dempster-Shafer T...  ... 
doi:10.5057/isase.2018-c000027 fatcat:bdgaqxx6yrgzlngyf6el4cujiy

The Use of Situation Theory in Context Modeling

Varol Akman, Mehmet Surav
1997 Computational intelligence  
This paper presents a preliminary model of formal contexts based on situation theory.  ...  Also see Akman and Surav (1995) for related ideas on contexts and situation theory.  ...  After giving the minimum background to situation theory, we will state this model and discuss an application of it in lifting, i.e., the process of computing what is true in one context based on what is  ... 
doi:10.1111/0824-7935.00046 fatcat:flk2fxvcjne6hnt2rgnbljttra

Using Signatures in Type Theory to Represent Situations [chapter]

Stergios Chatzikyriakidis, Zhaohui Luo
2015 Lecture Notes in Computer Science  
Signatures have been introduced to represent situations in the formal semantics based on modern type theories.  ...  In this paper, we study the notion of signature in more details, presenting it formally and discussing its use in representations of situations.  ...  manifest entries, signatures are very useful in representing situations in a formal semantics based on modern type theories (MTTs).  ... 
doi:10.1007/978-3-662-48119-6_13 fatcat:wgonlfjbhzcj7nkfsxkxkpasei

Theories of Intentions in the Framework of Situation Calculus [chapter]

Pilar Pozos Parra, Abhaya Nayak, Robert Demolombe
2005 Lecture Notes in Computer Science  
We propose an extension of action theories to intention theories in the framework of situation calculus.  ...  In order to avoid the computational complexity of theorem proving in modal logic, we explore an alternative approach that introduces the notions of belief, goal and intention fluents together with their  ...  The regression-based method introduced in [15] for computing whether a ground situation is executable can be employed to compute whether a ground situation is executable-believed.  ... 
doi:10.1007/11493402_2 fatcat:i2rzpy43m5emnbiubj4uywd5cu

Representing Parametric Concepts with Situation Theory

Roussanka Loukanova
2015 Proceedings of the 2015 Federated Conference on Computer Science and Information Systems  
Situation Theory contributes by representing concepts as classes of parametric objects, in a computational way.  ...  We use higher-order, type-theoretic Situation Theory to model semantic concepts as situation-theoretic objects consisting of parametric information.  ...  A primary area of applications of Situation Theory is to computational semantics of languages.  ... 
doi:10.15439/2015f409 dblp:conf/fedcsis/Loukanova15 fatcat:7swsqgejnnb5lgaxyziaypckze

Using Dempster-Shafer Theory of Evidence for Situation Inference [chapter]

Susan McKeever, Juan Ye, Lorcan Coyle, Simon Dobson
2009 Lecture Notes in Computer Science  
In the domain of ubiquitous computing, the ability to identify the occurrence of situations is a core function of being 'contextaware'.  ...  In our work, we apply the Dempster Shafer theory of evidence to determine situation occurrence based on uncertain sensor data and inference rules.  ...  diagrams and the use of DS theory to infer situations.  ... 
doi:10.1007/978-3-642-04471-7_12 fatcat:3dadl4d5vbhfdgwhoydz6mhqua

Intention Recognition in the Situation Calculus and Probability Theory Frameworks [chapter]

Robert Demolombe, Ana Mara Otermin Fernandez
2006 Lecture Notes in Computer Science  
A method to recognize agent's intentions is presented in a framework that combines the logic of Situation Calculus and Probability Theory.  ...  Eizenberg for his help in Probability Theory. If there are some errors they are the own responsibility of the authors.  ...  The contribution of this paper is to propose a solution to problem 3 in a framework that combines Situation Calculus and Probability Theory and which is based on Bayes' theorem.  ... 
doi:10.1007/11750734_20 fatcat:mgpkg5fjqzakbp3drum4sdcyeq

The Context-Based Approach IniK in Light of Situated and Constructive Learning Theories [chapter]

Maria Knobelsdorf, Josh Tenenberg
2013 Lecture Notes in Computer Science  
Informatik im Kontext (IniK)" is a recent pedagogical approach introduced for lower secondary (grades 5-10) computing education in Germany.  ...  cognition theory [23] .  ...  With regard to situated cognition theory, Collins et al. argue that typical forms of formal schooling are the opposite of a situated learning environment ( [3] , p. 47ff).  ... 
doi:10.1007/978-3-642-36617-8_9 fatcat:o5ko5vtlxfbo7l5w6pmqmxv2au

Intranet facilitated knowledge management: A theory and tool for defining situational methods [chapter]

Marnix Klooster, Sjaak Brinkkemper, Frank Harmsen, Gerard Wijers
1997 Lecture Notes in Computer Science  
A fundamental theory for situational method definition, called the S 4 model, has been developed and validated.  ...  The S 4 model expresses the argumented dependencies of the Situation factors that determine the Succes of a project, to which is contributed by Scenario aspects, that yield a Situational method.  ...  theory.  ... 
doi:10.1007/3-540-63107-0_22 fatcat:ldvokmxotjgqhpziqvvpjuuj5a

Online Stakeholder Interaction of Some Airlines in the Light of Situational Crisis Communication Theory [chapter]

Boyang Zhang, Denis Kotkov, Jari Veijalainen, Alexander Semenov
2016 Lecture Notes in Computer Science  
This research applies Situational Crisis Communication Theory (SCCT) to interaction in the social media.  ...  It provides possibilities for decision makers to monitor diverse messages online, understand stakeholder concerns and reply to them adequately, which is especially important in crisis situations.  ...  SCCT theory provides a reality-based guidebook when encountering different crisis situations.  ... 
doi:10.1007/978-3-319-45234-0_17 fatcat:evf5kg2kofcrdgfyf3ss6bgz6a

Plans as Situated Action: An Activity Theory Approach to Workflow Systems [chapter]

Jakob E. Bardram
1997 Proceedings of the Fifth European Conference on Computer Supported Cooperative Work  
Based on experiences from designing a computer system that supports the collaboration within a hospital, this paper discusses how plans themselves are made out of situated action, and in return are realised  ...  Thus, work can be characterised as situated planning.  ...  The false dichotomy between plans and situated action is removed and it becomes possible to talk about, and thus support by computers, situated planning.  ... 
doi:10.1007/978-94-015-7372-6_2 fatcat:dj4ude6kavccdbfp65p7w5qgtu

The Crisis Management and the Reputation of UAE Police: An Application Situational Crisis Communication Theory

Tariq Saeed Khalfan Barshoud Almarshoodi Et.al
2021 Turkish Journal of Computer and Mathematics Education  
For this purpose, the study has employed the Coombs' situational CC theory (SCCT).  ...  Using a case which involved the death of a witness during an interrogation by the government agency; this study analyzed the development of the crisis situation as it unfolded.  ...  Towards this end, this study employs Coombs' situational CC theory (SCCT) in investigating the death of a witness during a crossexamination conducted by a government agency.  ... 
doi:10.17762/turcomat.v12i3.1327 fatcat:ph7exyeuevetrhaokc4cuypxlq

PRE-FIGHT DETECTION - Classification of Fighting Situations using Hierarchical AdaBoost
english

2009 Proceedings of the Fourth International Conference on Computer Vision Theory and Applications   unpublished
We show it is possible to classify pre-fighting situations using such an approach and demonstrate how it can be used in the general case of continuous sequences.  ...  All are computed from a side on point of view and results indicate good performance on their dataset of 62 situations with a correct classification of 97%. Cupillard et al.  ...  These classes were manually labelled by members of a computer vision surveillance lab.  ... 
doi:10.5220/0001775903030308 fatcat:im7z3dbcrffhhb7cwibnpjtdaa

THE USE OF SITUATION REPRESENTATION WHEN SEARCHING FOR SOLUTIONS IN COMPUTER AIDED DESIGN SYSTEMS

Alexander Kuzemin, Mikhail Sorochan, Igor Yanchevskiy, Asanbek Torojev
International Journal "Information Theories & Applications   unpublished
Based on this connection the situation representing language has been created, it lets to express a problem situation using a natural language describe.  ...  Every situation is associated with one or several design solutions, which can be used at the development.  ...  The situation is formed as a set of triples -micrositutations.  ... 
fatcat:j2qmtsj2c5h4bjt5f2n366mxvq
« Previous Showing results 1 — 15 out of 1,587,188 results