485,268 Hits in 3.9 sec

Forthcoming papers

1998 Artificial Intelligence  
This work describes a computational framework for supporting dynamic generation, management and resolution of interactive plots. In this framework, the user takes the place of the story protagonist.  ...  Knowledge about properties of the constraints can permit inferences that reduce the cost of consistency checking.  ...  Greiner, The complexity of theory revision A knowledge-based system uses its database (also known as its "theory") to produce answers to the queries it receives.  ... 
doi:10.1016/s0004-3702(98)90017-0 fatcat:64e2tieswrephofjnwmo2wh3ga

Page 76 of Library & Information Science Abstracts Vol. , Issue 1 [page]

1995 Library & Information Science Abstracts  
Presents a logic for reasoning about belief revision in which the process of revising a knowledge base by some sentence is represented with a conditional connective.  ...  Briefly examines the roles that machine learning, knowledge acquisition and knowledge base refinement play in the development of knowledge based systems. Summarizes some machine learning algorithms.  ... 

Implementing Integrity Constraints in an Existing Belief Revision System [article]

Frances L. Johnson, Stuart C. Shapiro
2000 arXiv   pre-print
SNePS is a mature knowledge representation, reasoning, and acting system that has long contained a belief revision subsystem, called SNeBR.  ...  This paper briefly describes SNeBR both before and after this revision, discusses how we adapted the integrity constraints for this purpose, and gives an example of the new SNeBR in action.  ...  Acknowledgements The authors appreciate the insights and feedback of Bill Rapaport, Haythem Ismail, and the SNePS Research Group.  ... 
arXiv:cs/0003040v1 fatcat:j6f2t7roune3tnk4aex2hbhpey

Editorial: The Emergence and Development of Scientific Thinking During the Early Years: Basic Processes and Supportive Contexts

Christopher Osterhaus, Amanda C. Brandone, Stella Vosniadou, Ageliki Nicolopoulou
2021 Frontiers in Psychology  
the acquisition and revision of science knowledge.  ...  Thus, the development of accurate science knowledge often involves a gradual process of assimilating new knowledge and revising or replacing prior scientifically-incorrect beliefs (Vosniadou, 2002) .  ...  Conflict of Interest: The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.  ... 
doi:10.3389/fpsyg.2021.629384 pmid:33679552 pmcid:PMC7933460 fatcat:kuguwfcllzb7dcj3tahy2xryri

Supporting the analytical reasoning process in information visualization

Yedendra Babu Shrinivasan, Jarke J. van Wijk
2008 Proceeding of the twenty-sixth annual CHI conference on Human factors in computing systems - CHI '08  
This paper presents a new information visualization framework that supports the analytical reasoning process. It consists of three views -a data view, a knowledge view and a navigation view.  ...  We present a user study and discuss the perceived usefulness of a prototype based on this framework that we have developed.  ...  The project is supported by the VIEW programme of the Netherlands Organisation for Scientific Research (NWO) under research grant no. 643.100.502.  ... 
doi:10.1145/1357054.1357247 dblp:conf/chi/ShrinivasanW08 fatcat:dquuivxszjeffb5k6anoyo6rry

A reciprocal peer review system to support college students' writing

Yu-Fen Yang
2010 British Journal of Educational Technology  
as support peers in making text revisions.  ...  A sample of 95 undergraduate students was recruited to construct texts with the support of web-based reciprocal peer review in the processes of modelling, coaching, scaffolding, articulation, reflection  ...  This paper was supported by the National Science Council in the Republic of China, Taiwan (NSC 97-2410-H-224-016-MY2). The research grant made the continuation of this study possible.  ... 
doi:10.1111/j.1467-8535.2010.01059.x fatcat:2afrhlxe6ve3pnhcpwmegloemy

Digital learning object for diagnostic reasoning in nursing applied to the integumentary system

Cecília Passos Vaz da Costa, Maria Helena Barros Araújo Luz
2015 Revista Gaúcha de Enfermagem  
Method: A methodological study applied to technological production based on the pedagogical framework of problem-based learning.  ...  The revised taxonomy of Bloom was used to list the educational goals. Results: The four modules of the developed learning object were inserted into the educational platform Moodle.  ...  To further support problem-based learning, the DLO "Diagnostic Reasoning in Nursing Applied to the Integumentary System" was created to target clinical situations that contextually interconnect knowledge  ... 
doi:10.1590/1983-1447.2015.04.54128 pmid:26735759 fatcat:kxi6j2xhyjeozlguumbzqewudu

Conceptualizing Teacher's Practices in Supporting Students' Mathematical Learning in Computer- Directed Learning Environments

Aaron M. Kessler, Melissa D. Boston, Mary Kay Stein
2014 International Conference of the Learning Sciences  
The CT program examined in this study aimed to enhance students' learning of proportional reasoning through an engaging engineering/robotics context.  ...  In this paper, we suggest a different conceptualization of teachers' practices in supporting students' mathematical learning in a cognitive tutor or computer-directed learning environment.  ...  content knowledge (PCK) of proportional reasoning.  ... 
dblp:conf/icls/KesslerBS14 fatcat:h2iihgc5djhz3nck6eqqlin5ge

The interaction between IT and planning: decision support or knowledge generation?

Caserio C
The main idea of this paper is that the interaction of decision makers with IT, especially when the decisions concern scenario planning and alternative hypotheses, plays two important roles: a) it supports  ...  The conclusions speculate that the interaction between IT and decision makers is not limited to provide decisional support, but it also generates knowledge and promotes a learning process, especially in  ...  For this reason, the advantages of a such interactive process may become more evident when several decision makers, which are also "knowledge owners" on different business units, on different key processes  ... 
doi:10.24297/ijmit.v17i.9257 fatcat:bthtw5st7zgg7elus6cgydh4si

Knowledge Engineering for Intelligent Decision Support

María Vanina Martínez
2017 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence  
Knowledge can be seen as the collection of skills and information an individual (or group) has acquired through experience, while intelligence as the ability to apply such knowledge.  ...  From my point of view, an AI should be able to combine automatically acquired data and knowledge together with specific domain expertise from the users that the tool is expected to help.  ...  Acknowledgments This work has been partially supported by EU H2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No. 690974 for the project MIREL: MIning and REasoning  ... 
doi:10.24963/ijcai.2017/736 dblp:conf/ijcai/Martinez17 fatcat:cgxriw3cs5cjhaciauodhjptse

A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction [chapter]

Andrea Bracciali, Paolo Torroni
2004 Lecture Notes in Computer Science  
The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction.  ...  advantage from the answers that they obtain, and how can they revise their reasoning process as a consequence of interacting with each other.  ...  scenarios where communication and knowledge sharing can be a constant support to the reasoning activity of agents.  ... 
doi:10.1007/978-3-540-30200-1_9 fatcat:2zgcjvwl3nfxzglmj2l6xtpjjm

Maintaining Case-Based Reasoners: Dimensions and Directions

David C. Wilson, David B. Leake
2001 Computational intelligence  
The result is a framework for understanding the general problem of case-based reasoner maintenance (CBRM).  ...  Experience with the growing number of large-scale and long-term case-based reasoning (CBR) applications has led to increasing recognition of the importance of maintaining existing CBR systems.  ...  ACKNOWLEDGMENTS This research was supported in part by NASA under Award No. NCC 2-1035.  ... 
doi:10.1111/0824-7935.00140 fatcat:vec4tkw4sffx7ltg3nlbqtfbcq

Automatic Belief Revision in SNePS [article]

Stuart C. Shapiro, Frances L. Johnson
2000 arXiv   pre-print
of reasoning and reasoning in support of acting.  ...  When the current version of SNePS detects an explicit contradiction, it interacts with the user, providing information that helps the user decide what to remove from the knowledge base in order to remove  ...  Specifics Significance of Being Logic-Based SNePS is a knowledge representation, reasoning, and acting system.  ... 
arXiv:cs/0003011v2 fatcat:xircirqyofd2vfjbyiyqb3qx3u

First-order logic theory for manipulating clinical practice guidelines applied to comorbid patients: a case study

Martin Michalowski, Szymon Wilk, Xing Tan, Wojtek Michalowski
2014 AMIA Annual Symposium Proceedings  
We use an illustrative case study of a patient suffering from type 2 diabetes being treated for an onset of severe rheumatoid arthritis to show the expressiveness and robustness of our proposed FOL-based  ...  In this paper we propose a first-order logic-based (FOL) approach for developing a generalized framework of mitigation.  ...  Supporting this scenario requires the codification of secondary knowledge describing the use of and interactions with glucocorticoids.  ... 
pmid:25954396 pmcid:PMC4419977 fatcat:bkv2obka5fbgzi6v6qdjcfgvk4

STWO: An Ontology for Soil Food Web Reconstruction

Nicolas Le Guillarme, Mickaël Hedde, Wilfried Thuiller
2021 Joint Ontology Workshops  
However, the largescale exploitation of these data for food web reconstruction is hampered by the lack of standards for representing and reasoning upon trophic knowledge.  ...  The goal of our work is to propose an ontology that will support the automatic reconstruction of soil food webs from community composition data.  ...  Combined with trophic interaction records into a trophic knowledge graph, it can support the automatic reconstruction of food webs from compositional data.  ... 
dblp:conf/jowo/GuillarmeHT21 fatcat:x2h7z4qgtfgktdomtc5puhmqpa
« Previous Showing results 1 — 15 out of 485,268 results