Sean Collins, N. C. Morris, M. Diamond, M. Wills, Jevon Lipsey, Tom Williams
Homelessness is a complex, prevalent, and socially entangled issue that affects a multitude of aspects within an individual's life. While numerous organizations work together to provide necessary services and support to unhoused people, many of the needs of unhoused people remain unmet. For roboticists seeking to work with this population, this raises two key research questions: what needs remain unmet in this community, and which of those needs might be addressable through robotic solutions? To answer these research questions, we conducted a five phase research process. First, we conducted interviews...
Knowledge bases traditionally require manual optimization to ensure reasonable performance when answering queries. We build on previous neurosymbolic approaches by improving the training of an embedding model for logical statements that maximizes similarity between unifying atoms and minimizes similarity of non-unifying atoms. In particular, we evaluate different approaches to training this model.
Y. Zhang, Y. White, D. Clark, J. Sanchez, Jevon Lipsey, A. Hirst, J. Heflin
Neural networks can be trained to rank the choices made by logical reasoners, resulting in more efficient searches for answers. A key step in this process is creating useful embeddings, i.e., numeric representations of logical statements. This paper introduces and evaluates several approaches to creating embeddings that result in better downstream results. We train embeddings using triplet loss, which requires examples consisting of an anchor, a positive example, and a negative example. We introduce three ideas: generating anchors that are more likely to have repeated terms, generating positive and negative...
