Theory
1,949 items in 14 lists
-
iContractML 2.0: A domain-specific language for modeling and deploying smart contracts onto multiple blockchain… sciencedirect.com
Information and Software Technology, 2022. [All Versions]. Smart contracts play a vital role in many fields. Despite being called smart, the development of smart contracts is a tedious task beyond defining a set of contractual rules. In addition to business knowledge, coding a…
-
Two Forms of Knowledge Representations in the Human Brain sciencedirect.com
Neuron, 2020. [All Versions]. Illustrating language-derived and sensory-derived knowledge.
-
Natural scene statistics account for the representation of scene categories in human visual cortex sciencedirect.com
Neuron, 2013. [All Versions].
-
ACLP: Abductive Constraint Logic Programming sciencedirect.com
The Journal of Logic Programming, 1999. [All Versions]. This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). In ACLP, the task of abduction is supported and…
-
A multimodal discourse theory of visual narrative sciencedirect.com
Journal of Pragmatics, 2014. [All Versions].
-
Quantifying usability of domain-specific languages: An empirical study on software maintenance sciencedirect.com
Journal of Systems and Software, 2015. [All Versions]. A DSL aims to support software development by offering abstractions to a particular domain. It is expected that DSLs improve the maintainability of artifacts otherwise produced with general-purpose languages. However, the…
-
Compressed File Length Predicts Search Time and Errors on Visual Displays sciencedirect.com
Displays, 2005. [All Versions]. Compressed file size, an objective, easily obtained measure of display complexity, predicts both subjective complexity judgments and objective search performance. It is analogous to algorithmic complexity, a theoretical but impractical measure of…
-
Hippocampal neurons construct a map of an abstract value space sciencedirect.com
Cell, 2021. [All Versions].
-
Intensive tool-practice and skillfulness facilitate the extension of body representations in humans sciencedirect.com
Neuropsychologia, 2014. [All Versions].
-
Latent Semantic Indexing: A Probabilistic Analysis sciencedirect.com
Journal of Computer and System Sciences, 2000. [All Versions]. The original paper on hierarchical topic model.
-
Limits on Simulation Approaches in Intuitive Physics sciencedirect.com
Cognitive Psychology, 2021. [All Versions]. Ernest Davis's perspective against intuitive physics, that physcial reasoning is logical reasoning instead of intuition.
-
The Naïve Utility Calculus as a unified, quantitative framework for action understanding sciencedirect.com
Cognitive Psychology, 2021. [All Versions]. [Project]. This paper presents a formal theory of the Naïve Utility Calculus as a probabilistic generative model, which highlights the role of cost and reward tradeoffs in a Bayesian framework for action-understanding. The model…
-
Where do hypotheses come from? sciencedirect.com
Cognitive Psychology, 2017. [All Versions]. [Preprint]. Why are human inferences sometimes remarkably close to the Bayesian ideal and other times systematically biased? In particular, why do humans make near-rational inferences in some natural domains where the candidate…
-
Locating what comes to mind in empirically derived representational spaces sciencedirect.com
Cognition, 2023. [All Versions]. An evidence-based study concluding that people call category members to mind according to their location in representational space, specifically based on the predicted usefulness of considering category members with particular features.
-
Show or tell? Exploring when (and why) teaching with language outperforms demonstration sciencedirect.com
Cognition, 2023. [All Versions]. The findings of this paper suggest that language communicates complex concepts by directly transmitting abstract rules. In contrast, demonstrations transmit examples, requiring the learner to infer the rules.
-
Basic functional trade-offs in cognition: An integrative framework sciencedirect.com
Cognition, 2018. [All Versions].
-
The Role of Explanatory Considerations in Updating sciencedirect.com
Cognition, 2015. [All Versions]. This paper investigates experimentally controversy in philosophy about the connection between explanation and inference, of whether judgments of the explanatory goodness of hypotheses do play a role when people revise their degrees of belief in…
-
Action Understanding as Inverse Planning sciencedirect.com
Cognition, 2009. [All Versions]. [Appendix]. The original paper on Inverse Planning, a computational implementation of Theory of Mind. Humans are adept at inferring the mental states underlying other agents’ actions, such as goals, beliefs, desires, emotions and other thoughts…
-
Between MDPs and semi-MDPs: A framework for temporal abstraction in reinforcement learning sciencedirect.com
Artificial Intelligence, 1999. [All Versions]. The original paper on operation reinforcement learning.
-
Qualitative and quantitative simulation: bridging the gap sciencedirect.com
Artificial Intelligence, 1997. [All Versions]. Shortcomings of qualitative simulation and of quantitative simulation motivate combining them to do simulations exhibiting strengths of both. The resulting class of techniques is called semiquantitative simulation. One approach to…
-
Making sense of sensory input sciencedirect.com
Artificial Intelligence, 2021. [All Versions].
-
Analogy between concepts sciencedirect.com
Artificial Intelligence, 2019. [All Versions]. A mathematical account on analogy.
-
Metacognition in computation: A selected research review sciencedirect.com
Artificial Intelligence, 2005. [All Versions].
-
Qualitative choice logic sciencedirect.com
Artificial Intelligence, 2004. [All Versions].
-
Domain-Specific Languages: A Systematic Mapping Study sciencedirect.com
Information and Software Technology, 2016. [All Versions]. This study reports on a Systematic Mapping Study (SMS) for Domain-Specific Languages (DSLs). The main objective of the described work was to perform an SMS on DSLs to better understand the DSL research field, identify…
-
Imagination and the generation of new ideas sciencedirect.com
Cognitive Development, 2015. [All Versions]. A variety of theories have been put forth to explain the function of imagination, most notably that imagination engages and develops children's theory of mind and counterfactual reasoning. This work proposes that a primary role for…
-
The nature of external representations in problem solving sciencedirect.com
Cognitive Science, 1997. [All Versions].
-
Heuristics for Scientific Experimentation: A Developmental Study sciencedirect.com
Cognitive Psychology, 1993. [All Versions]. A piece of evidence on children have basic scientific thinking skills.
-
Learning physical parameters from dynamic scenes sciencedirect.com
Cognitive Psychology, 2017. [All Versions].
-
Remembrance of inferences past: Amortization in human hypothesis generation sciencedirect.com
Cognition, 2018. [All Versions]. A rational account of human hypothesis generation.
-
Probabilistic Horn abduction and Bayesian networks sciencedirect.com
Artificial Intelligence, 1993. [All Versions]. This paper presents a simple framework for Horn-clause abduction, with probabilities associated with hypotheses. The framework incorporates assumptions about the rule base and independence assumptions amongst hypotheses. It is…
-
Interpretation as abduction sciencedirect.com
Artificial Intelligence, 1993. [All Versions]. Abduction is inference to the best explanation. The authors have developed an approach to abductive inference, called “weighted abduction”, that has resulted in a significant simplification of how the problem of interpreting texts…
-
The structure-mapping engine: Algorithm and examples sciencedirect.com
Artificial Intelligence, 1989. [All Versions]. A computational implementation of analogy.
-
SOAR: An architecture for general intelligence sciencedirect.com
Artificial Intelligence, 1987. [All Versions].
-
Qualitative Simulation sciencedirect.com
Artificial Intelligence, 1986. [All Versions]. [Preprint]. This paper presents a precise definition of qualitative structure and behavior descriptions as abstractions of differential equations and continuously differentiable functions. The authors present a new algorithm for…
-
Commonsense reasoning about causality: Deriving behavior from structure sciencedirect.com
Artificial Intelligence, 1984. [All Versions].
-
Representations of Commonsense Knowledge sciencedirect.com
Morgan Kaufmann, 1990. [All Versions]. A classic book on commonsense knowledge.
-
In situ bidirectional human-robot value alignment science.org
Science Robotics, 2022. [All Versions]. [Preprint]. This paper proposes an explainable artificial intelligence (XAI) system in which a group of robots predicts users’ values by taking in situ feedback into consideration while communicating their decision processes to users…
-
Humanoid robotics—History, current state of the art, and challenges science.org
Science Robotics, 2017. [All Versions]. Humanoids represent one of the ultimate goals of robotics: to synthesize advances from many disciplines.
-
Evolution-inspired engineering of nonribosomal peptide synthetases science.org
Science, 2024. [All Versions]. Many clinically used drugs are derived from natural microbial products that are assembled in a stepwise fashion by the condensation of amino acids or acyl groups. Using insights from evolutionary analysis, two independent groups now show that the…
-
A principal odor map unifies diverse tasks in olfactory perception science.org
Science, 2023. [All Versions]. [Code]. [Data (Reproduced)]. [Preprint]. [GoodScents Database]. [Leffingwell Database]. Mapping molecular structure to odor perception is a key challenge in olfaction. This work used graph neural networks to generate a principal odor map (POM)…
-
Digitization and validation of a chemical synthesis literature database in the ChemPU science.org
Science, 2022. [All Versions]. [Preprint]. This paper presents an automatically executable chemical reaction database of 100 molecules representative of the range of reactions found in contemporary organic synthesis. The chemical reaction codes or χDLs for the reactions have…
-
Learning the language of viral evolution and escape science.org
Science, 2021. [All Versions]. The ability for viruses to mutate and evade the human immune system and cause infection, called viral escape, remains an obstacle to antiviral and vaccine development. Understanding the complex rules that govern escape could inform therapeutic…
-
A prometastatic splicing program regulated by SNRPA1 interactions with structured RNA elements science.org
Science, 2021. [All Versions]. Pathological changes in alternative splicing patterns are considered a hallmark of cancer, yet the underlying regulatory programs that control this process remain largely unknown. A major obstacle to better understanding these programs is that the…
-
A universal system for digitization and automatic execution of the chemical synthesis literature science.org
Science, 2020. [All Versions]. [Preprint]. [XDL Documentation]. [XDL Schema Database]. This paper reports a software platform that uses natural language processing to translate the organic chemistry literature directly into editable code, which in turn can be compiled to drive…
-
Organic synthesis in a modular robotic system driven by a chemical programming language science.org
Science, 2019. [All Versions]. [Preprint]. [Perspective: Democratizing synthesis by automation]. This paper develops an autonomous compiler and robotic laboratory platform to synthesize organic compounds on the basis of standardized methods descriptions. The platform comprises…
-
Navigating cognition: Spatial codes for human thinking science.org
Science, 2018. [All Versions]. [Preprint]. The hippocampal formation has long been suggested to underlie both memory formation and spatial navigation. This work discusses how neural mechanisms identified in spatial navigation research operate across information domains to…
-
Reconfigurable system for automated optimization of diverse chemical reactions science.org
Science, 2018. [All Versions]. [Preprint]. This paper describes a plug-and-play, continuous-flow chemical synthesis system that mitigates this challenge with an integrated combination of hardware, software, and analytics. The system software controls the user-selected reagents…
-
A generative vision model that trains with high data efficiency and breaks text-based CAPTCHAs science.org
Science, 2017. [All Versions]. [Preprint]. Learning from a few examples and generalizing to markedly different situations are capabilities of human visual intelligence that are yet to be matched by leading machine learning models. By drawing inspiration from systems…
-
Organizing conceptual knowledge in humans with a gridlike code science.org
Science, 2016. [All Versions]. [Preprint]. It has been hypothesized that the brain organizes concepts into a mental map, allowing conceptual relationships to be navigated in a manner similar to that of space. Grid cells use a hexagonally symmetric code to organize spatial…
- next page of items loading…