39,722 Hits in 4.5 sec

A Formal Model for Epistemic Interactions [chapter]

Paweł Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz
2009 Studies in Computational Intelligence  
Our goal is to devise a formal model for epistemic interactions and a family of reasoning mechanisms that would solve those puzzles.  ...  The conceptual world of AI is inhabited by a number of epistemic puzzles whose role is to provide a test harness environment for various methods and algorithms.  ...  Towards a general model of epistemic interactions Our model of epistemic interactions has two components: ontological and epistemological.  ... 
doi:10.1007/978-3-642-03958-4_18 fatcat:mhbnk4gbbjhbvmpmumuxfczady

Logics of Informational Interactions

Alexandru Baltag, Sonja Smets
2015 Journal of Philosophical Logic  
The DEL formalism comes with a powerful set of tools that allows us to make the underlying dynamic/interactive mechanisms fully transparent.  ...  Dynamic Epistemic Logic (DEL) provides us with a unifying setting in which these informational interactions, coming from seemingly very different areas of research, can be fully compared and analyzed.  ...  However the formal tools used to model these applications within quantum information theory, cannot fully account for such intricate classicalquantum interactions.  ... 
doi:10.1007/s10992-015-9345-y fatcat:ifc6hkag4ndrznzfwnmd6ulu6u

Logic and social interaction: introduction

Sujata Ghosh, R. Ramanujam
2010 Synthese  
There is now a growing body of research on formal algorithmic models of social procedures and interactions between rational agents.  ...  They typically employ models based on dynamic and temporal epistemic logics to study these questions.  ...  We hope it exemplifies current logical approaches to modelling complex multi-agent interactive situations and provides a glimpse of the varied methodologies adopted for such modelling purposes.  ... 
doi:10.1007/s11229-010-9769-4 fatcat:35xxfdmb4rfrdjfkqpdctelpou

Epistemic transmission and interaction

L. Moretti, N. J. L. L. Pedersen
2013 Synthese  
Acknowledgments Some of the papers published in this issue were presented at the Epistemic Transmission and Interaction Workshop at the University of Copenhagen in October 2010.  ...  Additionally, much contemporary formal modelling focuses on active agency and rational interaction among agents whether this interaction is to change beliefs collectively, process information in groups  ...  Mainstream and formal epistemology naturally meet on issues pertaining to justification and knowledge transmission for one agent and cognitive interaction issues between two or more rational agents.  ... 
doi:10.1007/s11229-013-0289-x fatcat:uwpghy46irhcha4syhmp2sh5ku

Axioms of Distinction in Social Software [chapter]

Vincent F. Hendricks
2011 Games, Norms and Reasons  
Social software and formal epistemology are both interdisciplinary approaches to the study of agency and agent interaction but are not quite to be confused with yet a new trend in philosophy recently social  ...  These tools are also common to a related new trade called formal epistemology which also by a recent entry in Wikipedia is characterized as ... a subdiscipline of epistemology that utilizes formal methods  ...  The dichotomy has a signi…cant bearing on the general epistemological and conceptual plausibility given the formal tools utilized by social software in modelling agent and agent interaction.  ... 
doi:10.1007/978-94-007-0714-6_8 fatcat:lwcccppgwjgpvlg4aaswsbtjgu

Agency and Interaction What We Are and What We Do in Formal Epistemology [chapter]

Jeffrey Helzner, Vincent F. Hendricks
2016 Readings in Formal Epistemology  
agent interaction and information processing using a spread of di¤erent formal tools.  ...  What follows is a breezy overview of formal epistemology as organized around notions of agency and interaction.  ...  That is, the formalism serves to pick out a class of set-based structures, essentially the "models" of the formalism.  ... 
doi:10.1007/978-3-319-20451-2_1 fatcat:be2v3haqqzbx3ofceomwhrfdu4

Formal Models of Scientific Inquiry in a Social Context: An Introduction

Dunja Šešelja, Christian Straßer, AnneMarie Borg
2020 Journal for General Philosophy of Science, Zeitschrift für allgemeine Wissenschaftstheorie  
Formal models of scientific inquiry, aimed at capturing socio-epistemic aspects underlying the process of scientific research, have become an important method in formal social epistemology and philosophy  ...  In this introduction to the special issue we provide a historical overview of the development of formal models of this kind and analyze their methodological contributions to discussions in philosophy of  ...  Acknowledgements The research for this article and the preparation of the special issue was supported by a Sofja Kovalevskaja award of the Alexander von Humboldt Foundation, funded by the German Ministry  ... 
doi:10.1007/s10838-020-09502-w fatcat:vvl3haq57bg6zb3trmrj2eu2ky

Putting in Perspective Human-Machine System Theory and Modeling: From Theoretical Biology to Artifacts Integrative Design and Organization [chapter]

Didier Fass
2013 Lecture Notes in Computer Science  
For critical human in-theloop systems there is a strong need of reliability and consistency from modeling, development and life cycle systems.  ...  A main epistemic issue rises: does it exist a conceptual framework, both theoretical and experimental, that ensures reliability and consistency of human system integration design and organization?  ...  By consequences we are suggestion a new epistemic framework for modeling human-machine systems.  ... 
doi:10.1007/978-3-642-39173-6_37 fatcat:sedx4wrio5gubja2kctwix5lri

Common knowledge and limit knowledge

Christian W. Bach, Jérémie Cabessa
2011 Theory and Decision  
A standard approach is based on so-called Aumann structures to formalize epistemic claims such as key notion of common knowledge.  ...  As a first step towards this scheme, we construct an epistemic model of a game where limit knowledge of rationality appears to be a cogent strict refinement of common knowledge of rationality in terms  ...  A standard approach is based on so-called Aumann structures to formalize epistemic claims such as key notion of common knowledge.  ... 
doi:10.1007/s11238-011-9257-4 fatcat:jede4iv3ejhzreotkuwltrsuye

Dynamics we can believe in: a view from the Amsterdam School on the centenary of Evert Willem Beth

Cédric Dégremont, Jonathan Zvesper
2010 Synthese  
We sketch some recent developments that take logic as an account of information-driven interaction.  ...  Logic is breaking out of the confines of the single-agent static paradigm that has been implicit in all formal systems until recent times.  ...  The key idea is to use models for events, just as we have models for states in standard (static) epistemic logic.  ... 
doi:10.1007/s11229-010-9779-2 fatcat:ewdmpfhpofbrjoqp2vi62ppp44

Vincent Hendricks, Mainstream and Formal Epistemology

Patrick Allo
2008 Erkenntnis: An International Journal of Scientific Philosophy  
practices to disclose plenty of room for interaction.  ...  Or at least, this is a common way to explain where both disciplines stand in the larger landscape of epistemic theorising, and why interactions between them remain scarce.  ...  practices to disclose plenty of room for interaction.  ... 
doi:10.1007/s10670-008-9130-1 fatcat:2u4jxjcynrbtfis22n2lqnff5a

Card Sorting as Collaborative Method for User-Driven Information Organizing on a Website: Recommendations for Running Collaborative Group Card Sorts in Practice

Maria Friis Bjerre
2015 Communication and Language at Work - Bridging Theory and Practice  
Card sorting is an easy-to-use, quick, inexpensive, yet powerful usability method for information organizing on a website as it generates usable input directly from end-users as to how they would expect  ...  to find information on a website.  ...  For instance, an externally defined role, e.g. the formal organizational position of the interactants, may induce epistemic asymmetry.  ... 
doi:10.7146/claw.v1i4.20773 fatcat:qzvxmvig2jel5itdjsy7s6szn4

The Logic of Knowledge Bases: A Review

Enrico Motta
2002 The AI Magazine  
The introduction of the epistemic operator, K, requires the adoption of a possible world semantics for the interaction language (the language used by a reasoning engine to interact with a knowledge base  ...  Thus, the reader is not forced into learning a new syntax, and the underlying model theory is a "reasonably conservative" extension of standard model theory for first-order logic.  ... 
doi:10.1609/aimag.v23i1.1614 dblp:journals/aim/Motta02 fatcat:psebm6la5zhuvcgje5mplmgdze

Dimensions Of Epistemic Authority Of University Professors

Solveiga Blumberga
2012 Social and Natural Sciences Journal  
Knowledge transmission is related to the epistemic aspect of authority, which is demonstrated by the structural element of authority – source of knowledge or the assumed truth.  ...  In higher education, the distinction of epistemology is related to epistemological views, their multiple dimensions which show the extent and type how students perceive professors as epistemic authorities  ...  Since epistemic authority is related to interaction in social context, a topical issue is one regarding experts and their knowledge, and a sign of epistemic authority is the degree to which claims for  ... 
doi:10.12955/snsj.v5i0.299 fatcat:z3dvuxnsofbn3cbuircy3k2jk4

Logic and intelligent interaction

Thomas Ågotnes, Johan van Benthem, Eric Pacuit
2009 Synthese  
Determining the environment: a modal logic for closed interaction by Jan Broersen, Rosja Mastop, John-Jules Meyer and Paolo Turrini provides a language to reason about closed-world interactions.  ...  Bridging learning theory and dynamic epistemic logic by Nina Gierasimczuk discusses ways of modelling inductive inference from formal learning theory, an influential account of long-term informational  ... 
doi:10.1007/s11229-009-9558-0 fatcat:44sn5clk7zaijhvmmm54vwhgum
« Previous Showing results 1 — 15 out of 39,722 results