Knowledge: Procedural and Objective Aspects

Susumu Yamasaki and Mariko Sasakura,
Department of Computer Science, Okayama University

Abstract:

Since logical foundations of artificial intelligence
were in more details studied as in circumscription,
they have grown up to a sophisticated
level so that many systems can be designed
by means of such approaches. Based on logical foundations,
we are interested in objective knowledge, as well as
procedural knowledge to which reasoning is well applicable.
With comparison between procedural and
objective knowledges, we conceive a question of how to make
objective knowledge meaningful. Sequential structure
of objective knowledge is one of feasible forms for some sense.
    In this keynote, we have an outlook at:

(1) procedural knowledge acquired by means of reasoning, and
(2) objective knowledge which make sense, arranged
into sequential structure.

As regards procedural knowledge, we make conceptual summaries
on:

(a) correctness of reasoning in knowledge acquisition, and
(b) diagnostic knowledge to be acquired.

In contrast with procedural knowledge, we make a summary on
how to make formation of
basic objective knowledge, since a sequential structure
of basic objects is meaningful for representation of a (performance)
procedure. We next consider a newly designed constraint
system for objective knowledge and
sequence formation in terms of grammatical rules
on objective knowledge.