AI Chat AI Image Generator AI Video Text to Speech

Accomplishable Tasks in Knowledge Representation

06/07/2013

∙

by Keehang Kwon, et al.

∙

∙

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.

Keehang Kwon
14 publications
Mi-Young Park
1 publication

page 1

page 2

page 3

page 4

research

∙ 05/31/2011

Overcoming Misleads In Logic Programs by Redefining Negation

Negation as failure and incomplete information in logic programs have be...

0 M. A. El-Dosuky, et al. ∙

research

∙ 03/29/2023

Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability

The logical method proposed by Goubault, Ledent, and Rajsbaum provides a...

0 Daisuke Nakai, et al. ∙

research

∙ 09/02/2021

A logic of interactive proofs

We introduce the probabilistic two-agent justification logic IPJ, a logi...

0 David Lehnherr, et al. ∙

research

∙ 11/25/2021

Observing Interventions: A logic for thinking about experiments

This paper makes a first step towards a logic of learning from experimen...

0 Fausto Barbero, et al. ∙

research

∙ 06/23/2009

Reasoning About Knowledge of Unawareness Revisited

In earlier work, we proposed a logic that extends the Logic of General A...

0 Joseph Y. Halpern, et al. ∙

research

∙ 06/15/2019

Injecting Prior Knowledge for Transfer Learning into Reinforcement Learning Algorithms using Logic Tensor Networks

Human ability at solving complex tasks is helped by priors on object and...

0 Samy Badreddine, et al. ∙

research

∙ 01/07/2013

A Logic Programming Approach to Integration Network Inference

The discovery, representation and reconstruction of (technical) integrat...

0 Daniel Ritter, et al. ∙