BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Alexey Potapov

Alexey Potapov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
Artificial Intelligenceastro-ph.GAastro-ph.EPastro-ph.SRComputer VisionFormal Languages and Automata TheoryLogic in Computer ScienceMachine Learning

Catalog footprint

What is connected

12works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2022arXiv

A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems

We introduce a formal meta-language for probabilistic programming, capable of expressing both programs and the type systems in which they are embedded. We are motivated here by the desire to allow an AGI to learn not only relevant knowledge (programs/proofs), but also appropriate ways of reasoning (logics/type systems). We draw on the frameworks of cubical type theory and dependent typed metagraphs to formalize our approach. In doing so, we show that specific constructions within the meta-language can be related via bisimulation (implying path equivalence) to the type systems they correspond. This allows our approach to provide a convenient means of deriving synthetic denotational semantics for various type systems. Particularly, we derive bisimulations for pure type systems (PTS), and probabilistic dependent type systems (PDTS). We discuss further the relationship of PTS to non-well-founded set theory, and demonstrate the feasibility of our approach with an implementation of a bisimulation proof in a Guarded Cubical Type Theory type checker.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Exploring refractory organics in extraterrestrial particles

The origin of organic compounds detected in meteorites and comets, some of which could serve as precursors of life on Earth, still remains an open question. The aim of the present study is to make one more step in revealing the nature and composition of organic materials of extraterrestrial particles by comparing infrared spectra of laboratory-made refractory organic residues to the spectra of cometary particles returned by the Stardust mission, interplanetary dust particles, and meteorites. Our results reinforce the idea of a pathway for the formation of refractory organics through energetic and thermal processing of molecular ices in the solar nebula. There is also the possibility that some of the organic material formed already in the parental molecular cloud before it entered the solar nebula. The majority of the IR "organic" bands of the studied extraterrestrial particles can be reproduced in the spectra of the laboratory organic residues. We confirm the detection of water, nitriles, hydrocarbons, and carbonates in extraterrestrial particles and link it to the formation location of the particles in the outer regions of the solar nebula. To clarify the genesis of the species, high-sensitivity observations in combination with laboratory measurements like those presented in this paper are needed. Thus, this study presents one more piece of the puzzle of the origin of water and organic compounds on Earth and motivation for future collaborative laboratory and observational projects.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Dust/ice mixing in cold regions and solid-state water in the diffuse interstellar medium

Whether ice in cold cosmic environments is physically separated from the silicate dust or mixed with individual silicate moieties is not known. However, different grain models give very different compositions and temperatures of grains. The aim of the present study is a comparison of the mid-IR spectra of laboratory silicate-grains/water-ice mixtures with astronomical observations to evaluate the presence of dust/ice mixtures in interstellar and circumstellar environments. The laboratory data can explain the observations assuming reasonable mass-averaged temperatures for the protostellar envelopes and protoplanetary disks demonstrating that a substantial fraction of water ice may be mixed with silicate grains. Based on the combination of laboratory data and infrared observations, we provide evidence of the presence of solid-state water in the diffuse interstellar medium. Our results have implications for future laboratory studies trying to investigate cosmic dust grain analogues and for future observations trying to identify the structure, composition, and temperature of grains in different astrophysical environments.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

GoodPoint: unsupervised learning of keypoint detection and description

This paper introduces a new algorithm for unsupervised learning of keypoint detectors and descriptors, which demonstrates fast convergence and good performance across different datasets. The training procedure uses homographic transformation of images. The proposed model learns to detect points and generate descriptors on pairs of transformed images, which are easy for it to distinguish and repeatedly detect. The trained model follows SuperPoint architecture for ease of comparison, and demonstrates similar performance on natural images from HPatches dataset, and better performance on retina images from Fundus Image Registration Dataset, which contain low number of corner-like features. For HPatches and other datasets, coverage was also computed to provide better estimation of model quality.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Ice coverage of dust grains in cold astrophysical environments

Surface processes on cosmic solids in cold astrophysical environments lead to gas phase depletion and molecular complexity. Most astrophysical models assume that the molecular ice forms a thick multilayer substrate, not interacting with the dust surface. In contrast, we present experimental results demonstrating the importance of the surface for porous grains. We show that cosmic dust grains may be covered by a few monolayers of ice only. This implies that the role of dust surface structure, composition, and reactivity in models describing surface processes in cold interstellar, protostellar, and protoplanetary environments has to be reevaluated.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Thermal formation of ammonium carbamate on the surface of laboratory analogues of carbonaceous grains in protostellar envelopes and planet-forming disks

The catalytic role of dust grain surfaces in the thermal reaction CO2 + 2NH3 $\rightarrow$ NH4+NH2COO was recently demonstrated by our group. The rate coefficients for the reaction at 80 K on the surface of nanometre-sized carbon and silicate grains were measured to be up to three times higher compared to the reaction rate coefficients measured on KBr. In this study, the reaction was performed on carbon grains and on KBr in the extended temperature range of 50 - 80 K and with the addition of water ice. The reaction activation energy was found to be about 3 times lower on grains compared to the corresponding ice layer on KBr. Thus, the catalytic role of the dust grain surface in the studied reaction can be related to a reduction of the reaction barrier. Addition of water to NH3:CO2 ice on grains slowed the reaction down. At the H2O:CO2 ratio of 5:1, the reaction was not detected on the experimental timescale. This result calls into question the thermal formation of ammonium carbamate in dense molecular clouds and outer regions of protostellar and protoplanetary environments with dominating water ice mantle chemistry. However, it can still happen in inner regions of protostellar and protoplanetary environments in crystalline ices.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A Step from Probabilistic Programming to Cognitive Architectures

Probabilistic programming is considered as a framework, in which basic components of cognitive architectures can be represented in unified and elegant fashion. At the same time, necessity of adopting some component of cognitive architectures for extending capabilities of probabilistic programming languages is pointed out. In particular, implicit specification of generative models via declaration of concepts and links between them is proposed, and usefulness of declarative knowledge for achieving efficient inference is briefly discussed.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Direct Uncertainty Estimation in Reinforcement Learning

Optimal probabilistic approach in reinforcement learning is computationally infeasible. Its simplification consisting in neglecting difference between true environment and its model estimated using limited number of observations causes exploration vs exploitation problem. Uncertainty can be expressed in terms of a probability distribution over the space of environment models, and this uncertainty can be propagated to the action-value function via Bellman iterations, which are computationally insufficiently efficient though. We consider possibility of directly measuring uncertainty of the action-value function, and analyze sufficiency of this facilitated approach.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Extending Universal Intelligence Models with Formal Notion of Representation

Solomonoff induction is known to be universal, but incomputable. Its approximations, namely, the Minimum Description (or Message) Length (MDL) principles, are adopted in practice in the efficient, but non-universal form. Recent attempts to bridge this gap leaded to development of the Representational MDL principle that originates from formal decomposition of the task of induction. In this paper, possible extension of the RMDL principle in the context of universal intelligence agents is considered, for which introduction of representations is shown to be an unavoidable meta-heuristic and a step toward efficient general intelligence. Hierarchical representations and model optimization with the use of information-theoretic interpretation of the adaptive resonance are also discussed.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Universal Empathy and Ethical Bias for Artificial General Intelligence

Rational agents are usually built to maximize rewards. However, AGI agents can find undesirable ways of maximizing any prior reward function. Therefore value learning is crucial for safe AGI. We assume that generalized states of the world are valuable - not rewards themselves, and propose an extension of AIXI, in which rewards are used only to bootstrap hierarchical value learning. The modified AIXI agent is considered in the multi-agent environment, where other agents can be either humans or other "mature" agents, which values should be revealed and adopted by the "infant" AGI agent. General framework for designing such empathic agent with ethical bias is proposed also as an extension of the universal intelligence model. Moreover, we perform experiments in the simple Markov environment, which demonstrate feasibility of our approach to value learning in safe AGI.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Universal Induction with Varying Sets of Combinators

Universal induction is a crucial issue in AGI. Its practical applicability can be achieved by the choice of the reference machine or representation of algorithms agreed with the environment. This machine should be updatable for solving subsequent tasks more efficiently. We study this problem on an example of combinatory logic as the very simple Turing-complete reference machine, which enables modifying program representations by introducing different sets of primitive combinators. Genetic programming system is used to search for combinator expressions, which are easily decomposed into sub-expressions being recombined in crossover. Our experiments show that low-complexity induction or prediction tasks can be solved by the developed system (much more efficiently than using brute force); useful combinators can be revealed and included into the representation simplifying more difficult tasks. However, optimal sets of combinators depend on the specific task, so the reference machine should be adaptively chosen in coordination with the search engine.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Cognitive Bias for Universal Algorithmic Intelligence

Existing theoretical universal algorithmic intelligence models are not practically realizable. More pragmatic approach to artificial general intelligence is based on cognitive architectures, which are, however, non-universal in sense that they can construct and use models of the environment only from Turing-incomplete model spaces. We believe that the way to the real AGI consists in bridging the gap between these two approaches. This is possible if one considers cognitive functions as a "cognitive bias" (priors and search heuristics) that should be incorporated into the models of universal algorithmic intelligence without violating their universality. Earlier reported results suiting this approach and its overall feasibility are discussed on the example of perception, planning, knowledge representation, attention, theory of mind, language, and some others.

0 citations0 reviewsNo code linkedOpen access