Search results for "KNOWLEDGE"
showing 10 items of 3108 documents
Quasi Conjunction and Inclusion Relation in Probabilistic Default Reasoning
2011
We study the quasi conjunction and the Goodman & Nguyen inclusion relation for conditional events, in the setting of probabilistic default reasoning under coherence. We deepen two recent results given in (Gilio and Sanfilippo, 2010): the first result concerns p-entailment from a family F of conditional events to the quasi conjunction C(S) associated with each nonempty subset S of F; the second result, among other aspects, analyzes the equivalence between p-entailment from F and p-entailment from C(S), where S is some nonempty subset of F. We also characterize p-entailment by some alternative theorems. Finally, we deepen the connections between p-entailment and the Goodman & Nguyen inclusion…
Heyting-valued interpretations for Constructive Set Theory
2006
AbstractWe define and investigate Heyting-valued interpretations for Constructive Zermelo–Frankel set theory (CZF). These interpretations provide models for CZF that are analogous to Boolean-valued models for ZF and to Heyting-valued models for IZF. Heyting-valued interpretations are defined here using set-generated frames and formal topologies. As applications of Heyting-valued interpretations, we present a relative consistency result and an independence proof.
Transitive Reasoning with Imprecise Probabilities
2015
We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise probabilities. We represent \(\text{ p-consistent }\) sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Finally, we present the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving p-entailment of the associated knowledge bases.
A Hypergraph Based Framework for Intelligent Tutoring of Algebraic Reasoning
2013
The translation of word problems into equations is one of the major difficulties for students regarding problem solving. This paper describes both a domain-specific knowledge representation and an inference engine based on hypergraphs that permits intelligent student supervision of this stage of the solving process. The framework presented makes it possible to simultaneously: a) represent all potential algebraic solutions to a given word problem; b) keep track of the student’s actions; c) provide automatic remediation; and d) determine the current state of the resolution process univocally. Starting from these ideas, we have designed an intelligent tutoring system (ITS). An experimental eva…
The effect of explicit knowledge on sequence learning: A graded account
2004
In this paper, we study the effect of conscious knowledge on implicit sequence learning. To do so, in three sequence learning experiments, we manipulated (1) the extent to which instructions were intentional vs. incidental - intentional participants were informed of the existence of sequential regularities, and (2) the amount of explicit knowledge given to participants about the stimulus material. Results indicated that explicit knowledge improves sequence learning, as indexed by an increase in reaction times when the training sequence is unexpectedly replaced by another one. To enable us to differentiate between implicit and explicit learning, we applied the process dissociation procedure …
Semantics for Managing Systems in Heterogeneous and Distributed Environment
2002
The problem of legacy systems collaboration is being solved. Particularly we look at the collaboration as workflow in a distributed and heterogeneous environment. Attention is paid to the description of semantics for workflow process definition languages. There are many solutions how semantics can be decomposed into logical fragments, but the problem of obtaining reusable components that are easy to compile into desired specific semantics still remains. We evolve the division of semantics by semantic aspects whose description is based on abstract data types (pre-built components) and connectors (meta-programs to produce the glue code) between them. This paper offers a way in which semantic …
Distributed Leadership for Interconnected Worlds
2011
The technological advancements in the second half of the previous century generated the potential for participatory decision making in organizational and governmental institutions. Moreover, the digital networking environments on the Internet that enabled this type of decision making were accompanied by the emergence and establishment of on-line communities. Under this perspective, the range of communication mediated by ubiquitous computing allows problems, ideas, and suggestions of a spec ific nature to be considered when gathered into organizational and institutional virtual spaces. Within these spaces, the voices of individual customers, workers, organizational stakeholders, and/or citiz…
Socio-technical Congruence Sabotaged by a Hidden Onshore Outsourcing Relationship: Lessons Learned from an Empirical Study
2012
Despite the popularity of outsourcing arrangements, distributed software development is still regarded as a complex endeavor. Complexity primarily comes from the challenges in communication and coordination among participating organizations. In this paper we discuss lessons learned from participatory research carried out in a highly distributed onshore outsourcing project. Previous research established that socio-technical congruence principles alleviate distributed work. In practice we have found that alignment between the systems structure and organizational structure can be studied from different abstraction levels and also during different phases of project lifecycle. We have found that…
Impact of wage penalty on mobility return of French PhDs
2015
International audience; Expatriation of higher-education graduates raises much concern in many countries often in conjunction with talk about the brain drain. It supposedly entails a risk of losing the skills required for a competitive economy. The issue is all the more acute for PhD graduates, who are expected to play a major part in the knowledge economy. However, questions arise as to the causes of such mobility and its consequences for young graduates' individual career paths.
Building Semantic Trees from XML Documents
2016
International audience; The distributed nature of the Web, as a decentralized system exchanging information between heterogeneous sources, has underlined the need to manage interoperability, i.e., the ability to automatically interpret information in Web documents exchanged between different sources, necessary for efficient information management and search applications. In this context, XML was introduced as a data representation standard that simplifies the tasks of interoperation and integration among heterogeneous data sources, allowing to represent data in (semi-) structured documents consisting of hierarchically nested elements and atomic attributes. However, while XML was shown most …