199 research outputs found
Using analogical model formulation with sketches to solve Bennett Mechanical Comprehension Test problems
Recommended from our members
Rationality in context: An analogical perspective
At times, human behavior seems erratic and irrational. Therefore, when modeling human decision-making, it seems reasonable to take the remarkable abilities of humans into account with respect to rational behavior, but also their apparent deviations from the normative standards of rationality shining up in certain rationality tasks. Based on well-known challenges for human rationality, together with results from psychological studies on decision-making and from previous work in the field of computational modeling of analogy-making, I argue that the analysis and modeling of rational belief and behavior should also consider context-related cognitive mechanisms like analogy-making and coherence maximization of the background theory. Subsequently, I conceptually outline a high-level algorithmic approach for a Heuristic Driven Theory Projection-based system for simulating context-dependent human-style rational behavior. Finally, I show and elaborate on the close connections, but also on the significant differences, of this approach to notions of "ecological rationality"
Propositional update operators based on formula/literal dependence
International audienceWe present and study a general family of belief update operators in a propositional setting. Its operators are based on formula/literal dependence, which is more fine-grained than the notion of formula/variable dependence that was proposed in the literature: formula/variable dependence is a particular case of formula/literal dependence. Our update operators are defined according to the "forget-then-conjoin" scheme: updating a belief base by an input formula consists in first forgetting in the base every literal on which the input formula has a negative influence, and then conjoining the resulting base with the input formula. The operators of our family differ by the underlying notion of formula/literal dependence, which may be defined syntactically or semantically, and which may or may not exploit further information like known persistent literals and pre-set dependencies. We argue that this allows to handle the frame problem and the ramification problem in a more appropriate way. We evaluate the update operators of our family w.r.t. two important dimensions: the logical dimension, by checking the status of the Katsuno-Mendelzon postulates for update, and the computational dimension, by identifying the complexity of a number of decision problems (including model checking, consistency and inference), both in the general case and in some restricted cases, as well as by studying compactability issues. It follows that several operators of our family are interesting alternatives to previous belief update operators
Graphical means for inspecting qualitative models of system behaviour
This article presents the design and evaluation of a tool for inspecting conceptual models of system behaviour. The basis for this research is the Garp framework for qualitative simulation. This framework includes modelling primitives, such as entities, quantities and causal dependencies, which are combined into model fragments and scenarios. Given a library of model fragments and a scenario describing an initial situation, the qualitative simulation engine generates predictions in the form of a state-transition graph. This rich knowledge representation has potential for educational purposes. However, communicating the contents of simulation models effectively to learners is not trivial. The predicate logic format used by Garp is not easy for non-experts to understand, and a simulation often contains so much information that it is difficult to get an overview while still having access to detailed information. To address these problems, a tool has been developed that generates graphical representations of the information contained in a qualitative simulation. This tool, named VisiGarp, incorporates a vocabulary of graphical elements for model ingredients and relationships, and combines these into interactive diagrams. VisiGarp has been evaluated by thirty students, with promising results, using a setup which included simulation results and exercises about Brazilian Cerrado ecology
Case based reasoning as a model for cognitive artificial intelligence.
Cognitive Systems understand the world through learning and experience. Case Based Reasoning (CBR) systems naturally capture knowledge as experiences in memory and they are able to learn new experiences to retain in their memory. CBR's retrieve and reuse reasoning is also knowledge-rich because of its nearest neighbour retrieval and analogy-based adaptation of retrieved solutions. CBR is particularly suited to domains where there is no well-defined theory, because they have a memory of experiences of what happened, rather than why/how it happened. CBR's assumption that 'similar problems have similar solutions' enables it to understand the contexts for its experiences and the 'bigger picture' from clusters of cases, but also where its similarity assumption is challenged. Here we explore cognition and meta-cognition for CBR through self-refl ection and introspection of both memory and retrieve and reuse reasoning. Our idea is to embed and exploit cognitive functionality such as insight, intuition and curiosity within CBR to drive robust, and even explainable, intelligence that will achieve problemsolving in challenging, complex, dynamic domains
From proteomic analysis to potential therapeutic targets: functional profile of two lung cancer cell lines, A549 and SW900, widely studied in pre-clinical research
Lung cancer is a serious health problem and the leading cause of cancer death worldwide. The standard use of cell lines as in vitro pre-clinical models to study the molecular mechanisms that drive tumorigenesis and access drug sensitivity/effectiveness is of undisputable importance. Label-free mass spectrometry and bioinformatics were employed to study the proteomic profiles of two representative lung cancer cell lines and to unravel the specific biological processes. Adenocarcinoma A549 cells were enriched in proteins related to cellular respiration, ubiquitination, apoptosis and response to drug/hypoxia/oxidative stress. In turn, squamous carcinoma SW900 cells were enriched in proteins related to translation, apoptosis, response to inorganic/organic substances and cytoskeleton organization. Several proteins with differential expression were related to cancer transformation, tumor resistance, proliferation, migration, invasion and metastasis. Combined analysis of proteome and interactome data highlighted key proteins and suggested that adenocarcinoma might be more prone to PI3K/Akt/mTOR and topoisomerase IIα inhibitors, and squamous carcinoma to Ck2 inhibitors. Moreover, ILF3 overexpression in adenocarcinoma, and PCNA and NEDD8 in squamous carcinoma shows them as promising candidates for therapeutic purposes. This study highlights the functional proteomic differences of two main subtypes of lung cancer models and hints several targeted therapies that might assist in this type of cancer.publishe
- …