Accomplishable Tasks in Knowledge Representation
Knowledge Representation (KR) is traditionally based on the logic of facts, expressed in boolean logic. However, facts about an agent can also be seen as a set of accomplished tasks by the agent. This paper proposes a new approach to KR: the notion of task logical KR based on Computability Logic. This notion allows the user to represent both accomplished tasks and accomplishable tasks by the agent. This notion allows us to build sophisticated KRs about many interesting agents, which have not been supported by previous logical languages.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
DAIR: Disentangled Attention Intrinsic Regularization for Safe and Efficient Bimanual Manipulation
We address the problem of safely solving complex bimanual robot manipulation tasks with sparse rewards. Such challenging tasks can be decomposed into sub-tasks that are accomplishable by different robots concurrently or …
Robot ManipulationLearning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
Large language models (LLMs) have recently demonstrated impressive performance on complex, multi-step reasoning tasks, especially when post-trained with outcome-rewarded reinforcement learning Guo et al. 2025. However, i…
Reinforcement LearningComputational Charisma -- A Brick by Brick Blueprint for Building Charismatic Artificial Intelligence
Charisma is considered as one's ability to attract and potentially also influence others. Clearly, there can be considerable interest from an artificial intelligence's (AI) perspective to provide it with such skill. Beyo…
Knowledge-Grounded Dialogue Generation with a Unified Knowledge Representation
Knowledge-grounded dialogue systems are challenging to build due to the lack of training data and heterogeneous knowledge sources. Existing systems perform poorly on unseen topics due to limited topics covered in the tra…
Dialogue GenerationLanguage ModelingLanguage ModellingKnowledge Representations in Technical Systems -- A Taxonomy
The recent usage of technical systems in human-centric environments leads to the question, how to teach technical systems, e.g., robots, to understand, learn, and perform tasks desired by the human. Therefore, an accurat…