119,586 Hits in 3.1 sec

Justified Belief and the Topology of Evidence [chapter]

Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
2016 Lecture Notes in Computer Science  
We introduce a new topological semantics for evidence, evidencebased belief, knowledge and learning.  ...  This setting generalizes (and in a sense improves on) the evidence models for belief due to van Benthem and Pacuit, as well as our own previous work on (a topological semantics for) Stalnaker's doxasticepistemic  ...  Evidence, Belief and Knowledge in Topological Spaces Topological Models for Evidence Definition 1 (Evidence Models) (van Benthem and Pacuit) 7 Given a countable set of propositional letters Prop, an  ... 
doi:10.1007/978-3-662-52921-8_6 fatcat:ii6c75wugvdc7lqo5soxxmuux4

Argument-based Belief in Topological Structures

Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada
2017 Electronic Proceedings in Theoretical Computer Science  
Despite the fact that our agent can combine her evidence in a 'rational' way (captured via the topological structure), argument-based beliefs are not closed under conjunction.  ...  In our combined setting, we use a topological semantics to represent the structure of an agent's collection of evidence, and we use argumentation theory to single out the relevant sets of evidence through  ...  Definition 3.1 (Topological argumentation model).  ... 
doi:10.4204/eptcs.251.36 fatcat:2zjcz4biv5hzxj7z6zuqvmbdge

Minimal Structure Explanations, Scientific Understanding and Explanatory Depth

Daniel Kostić
2019 Perspectives on Science  
I also thank the participants of the workshops "Unifying the debates: mathematical and noncausal explanations" and "Understanding from models" as well as Duško Prelević for their very insightful discussions  ...  I further argue that the level of complexity in the structure of explanation also affects the explanatory depth in a similar way to intimacy between explanation and understanding, i.e. the less complexity  ...  For example, in the argument structure the connection between the counterfactual knowledge and explanation will depend on the truth of the premises and the counterfactual knowledge will be obtained in  ... 
doi:10.1162/posc_a_00299 fatcat:ykyy56j3wjgtjam7fgc6hxuecq

Topologies of learning and development

Mark H. Bickhard, Robert L. Campbell
1996 New Ideas in Psychology  
In particular, if we attribute representationality to any of these processes  ...  How systems can represent and how systems can learn are two central problems in the study of cognition.  ...  Without such an explicit model of construction, there could be no model of topologies in constructive spaces.  ... 
doi:10.1016/0732-118x(96)00015-3 fatcat:filo32onfreflbwemfq46qshkq

Safety Lifecycle for Developing Safety Critical Artificial Neural Networks [chapter]

Zeshan Kurd, Tim Kelly
2003 Lecture Notes in Computer Science  
A suitable neural network model is outlined and is based upon representing knowledge in symbolic form.  ...  Artificial neural networks are employed in many areas of industry such as medicine and defence.  ...  The ANN model facilitates this process by representing knowledge in the form of rules. Hazard analysis will provide the strongest form of safety arguments.  ... 
doi:10.1007/978-3-540-39878-3_7 fatcat:2gcmwnh7ejgnnakyakc2ri3dyy

Balanced cooperative modeling

Katharina Morik
1993 Machine Learning  
Machine learning techniques are often used for supporting a knowledge engineer in constructing a model of part of the world.  ...  Di erent learning algorithms contribute to di erent tasks within the modeling process.  ...  Acknowledgements Work reported in this paper has partially been conducted within the project MLT which is funded by the ESPRIT programme of the European Community under P2154.  ... 
doi:10.1007/bf00993078 fatcat:t5h2dhiejfe5jkjrlm47bzpmx4

Balanced Cooperative Modeling [chapter]

Katharina Morik
1993 Multistrategy Learning  
Machine learning techniques are often used for supporting a knowledge engineer in constructing a model of part of the world.  ...  Di erent learning algorithms contribute to di erent tasks within the modeling process.  ...  Acknowledgements Work reported in this paper has partially been conducted within the project MLT which is funded by the ESPRIT programme of the European Community under P2154.  ... 
doi:10.1007/978-1-4615-3202-6_6 fatcat:aziuls42ynb3hfeoycivkwykle

Space-parallel network simulations using ghosts

George F. Riley, Talal M. Jaafar, Richard M. Fujimoto, Mostafa H. Ammar
2004 Parallel and Distributed Simulation (PADS), Proceedings of the Workshop on  
In all but the simplest cases, proper packet forwarding decisions between federates requires routing tables of size O(mn) (m is the number of nodes modeled in a particular simulator instance, and n is  ...  the total number of network nodes in the entire topology) in order to determine how packets should be routed between federates.  ...  Liu and Chien [22] describe an automated method to partition networks which they used in their MicroGrid [23] emulation tool.  ... 
doi:10.1145/1013329.1013357 fatcat:rpnxh4kqqjf6fninnviuxdajmi

Network security supported by arguments

Fabio Martinelli, Francesco Santini, Artsiom Yautsiukhin
2015 2015 13th Annual Conference on Privacy, Security and Trust (PST)  
Argumentation has been proved as a simple yet powerful approach to manage conflicts in reasoning with the purpose to find subsets of "surviving" arguments.  ...  Our intent is to exploit such form of resolution to support the administration of security in complex systems, e.g., in case threat countermeasures are in conflict with non-functional requirements.  ...  MODELLING WITHOUT TOPOLOGY In this section we describe how to build an AAF.  ... 
doi:10.1109/pst.2015.7232969 dblp:conf/pst/MartinelliSY15 fatcat:qkl2m5kl65g5lcti5ghj4ohwr4

Bayesian support is larger than bootstrap support in phylogenetic inference: a mathematical argument

T. Britton, B. Svennblad, P. Erixon, B. Oxelman
2007 Mathematical Medicine and Biology  
A simulation study is performed to investigate the heuristic arguments and The heuristic arguments are supported in a simulation study evaluating different steps in the argument.  ...  In phylogenetic inference the support of an estimated phylogenetic tree topology and its interior branches are usually measured either with nonparametric bootstrap support values (BS) or with Bayesian  ...  However, there are to our knowledge no theoretical arguments supporting this systematic difference.  ... 
doi:10.1093/imammb/dqm008 pmid:17977880 fatcat:j25hk63yk5ey7perys2hjktegm

Fusion of Fuzzy Spatial Relations [chapter]

Nadeem Salamat, El-hadi Zahzah
2010 Lecture Notes in Computer Science  
Spatial relations are essential for understanding the image configuration and modeling common sense knowledge.  ...  In most of existing methods, topological, directional and distance spatial relations are computed separately as they have separate application domains.  ...  All sort of relations are essential for image understanding, modeling common sense knowledge, natural phenomenon and spatial reasoning [6] .  ... 
doi:10.1007/978-3-642-13769-3_36 fatcat:3szifhdugfc4thwlluzrhinouq

Exploring the potential of defeasible argumentation for quantitative inferences in real-world contexts: An assessment of computational trust

Lucas Rizzo, Pierpaolo Dondio, Luca Longo
2020 Irish Conference on Artificial Intelligence and Cognitive Science  
Argumentation has recently shown appealing properties for inference under uncertainty and conflicting knowledge.  ...  This study performs an analysis of the inferential capacity of a set of argument-based models, designed by a human reasoner, for the problem of trust assessment.  ...  Table 3 : Models built with defeasible argumentation. Due to space limitations, knowledge bases (KB) are detailed in [24] .  ... 
dblp:conf/aics/RizzoDL20 fatcat:f3sig4qaxfgjfj5janyw43cjky

A knowledge centred framework for collaborative business process modelling

Emmanuel D. Adamides, Nikos Karacapilidis
2006 Business Process Management Journal  
Design/methodology/approach -By viewing process modelling as a "problematic situation" that entails a considerable amount of social and knowledge activity in order to be resolved, a novel process modelling  ...  in a consistent way.  ...  Such knowledge integrates information about the elements of the business process model per se (i.e., activities, resources, topologies, processing costs, etc.) with information concerning the argumentative  ... 
doi:10.1108/14637150610690993 fatcat:ib5qqoqzyveivbgyzthxctar6y

Uncertainty and knowledge theories new era in Granular Computing

Tsau Young Lin
2012 2012 IEEE International Conference on Granular Computing  
The ax iomatization of LNS in GrC2011 shows that GrM = Math(granule), point free. 2) Crisp LNS = Fuzzy LNS (when in terms of alpha-cuts). item TNS, a special LNS, models the uncertainty of "nearness" 3  ...  LNS is a generalization of topological neighbor hood system(TNS) by simply dropping all axioms of topology but the superset axiom.  ...  Topological Neighborhood System-Modeling the near ness In a reference in Wikepedia on finite topology, Professor P.  ... 
doi:10.1109/grc.2012.6468707 dblp:conf/grc/Lin12 fatcat:d4cxn7m37rg4lel6bhcbcoblhq

Reliable Broadcast with Respect to Topology Knowledge [chapter]

Aris Pagourtzis, Giorgos Panagiotakos, Dimitris Sakavalas
2014 Lecture Notes in Computer Science  
We examine the problem under the locally bounded adversary model of Koo (2004) and the general adversary model of Hirt and Maurer (1997) and explore the tradeoff between the level of topology knowledge  ...  To the best of our knowledge this is the first optimal algorithm for Reliable Broadcast in generic topology ad hoc networks against general adversaries.  ...  knowledge of the topology is limited in its own neighborhood.  ... 
doi:10.1007/978-3-662-45174-8_8 fatcat:mu43bnhnxnf23lhqfskbf6qcgu
« Previous Showing results 1 — 15 out of 119,586 results