Pesquisa de Doutorado da Veronica

Dando uma googada https://iep.utm.edu/truth/ There are two commonly accepted constraints on truth and falsehood:     Every proposition is true or false.         [Law of the Excluded Middle.]     No proposition is both true and false.         [Law of Non-contradiction.] What is the difference between a truth-maker and a truth bearer? Truth-bearers are either true or false; truth-makers are not since, not being representations, they cannot be said to be true, nor can they be said to be false . That's a second difference. Truth-bearers are 'bipolar,' either true or false; truth-makers are 'unipolar': all of them obtain. What are considered truth bearers?   A variety of truth bearers are considered – statements, beliefs, claims, assumptions, hypotheses, propositions, sentences, and utterances . When I speak of a fact . . . I mean the kind of thing that makes a proposition true or false. (Russe...

https://arxiv.org/pdf/2308.06374.pdf community on LLMs (parametric knowledge) and Knowledge Graphs (explicit knowledge) [sub simbólico (embeddings) x simbólico] Introduction era of Knowledge Computing, in which the notion of reasoning within KR is broadened to many computation tasks based on various knowledge representations. [Modelos de Linguagem com Representação do Conhecimento] widely used knowledge representation languages, such as RDF [121] and OWL [55], at web scale, using which the large-scale knowledge bases are then more widely known as KGs [123], due to their helpful graph structures, enabling the both logical reasoning and graph-based learning. [Algoritmos de grafo independentes de domínio] Some works use LLMs to augment KGs for, e.g., knowledge extraction, KG construction, and refinement, while others use KGs to augment LLMs for, e.g., training and prompt learning, or knowledge augmentation. [Seria possível usar LLM para completar as respostas unknown em um KG?] Common Deb...

Bogeum Choi, Jaime Arguello, Robert Capra, and Austin R. Ward. 2021. OrgBox: A Knowledge Representation Tool to Support Complex Search Tasks. In Proceedings of the 2021 Conference on Human Information Interaction and Retrieval (CHIIR '21). Association for Computing Machinery, New York, NY, USA, 219–228. https://doi.org/10.1145/3406522.3446029 [Atividades Metacognitivas] These features were designed to support users with developing sub-goals, saving and (re-)organizing information, representing relationships, and monitoring their progress. ... a knowledge representation tool because it enables a searcher to externalize and modify their mental representation of a complex domain as they gather information. While there are numerous theories on how knowledge is represented in the human mind, fundamental components include facts, concepts, and relations [ 4, 6, 20 ]... In terms of metacognitive activities, prior work suggests that external knowledge representations can support goal-setti...