Accomplishable Tasks in Knowledge Representation
Artificial Intelligence
2013-06-11 v1 Computation and Language
Abstract
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.
Keywords
Cite
@article{arxiv.1306.2268,
title = {Accomplishable Tasks in Knowledge Representation},
author = {Keehang Kwon and Mi-Young Park},
journal= {arXiv preprint arXiv:1306.2268},
year = {2013}
}
Comments
arXiv admin note: substantial text overlap with arXiv:1305.2004