Knowledge level modeling
Encyclopedia
Knowledge level modeling is the process of theorizing over observations about a world and, to some extent, explaining the behavior of an agent as it interacts with its environment.
Crucial to the understanding of knowledge level modeling are Allen Newell
's notions of the knowledge level
, operators, and an agent's goal state.
Essentially, knowledge level modeling involves evaluating an agent's world and all possible states and with that information constructing a model that depicts the interrelations and pathways between the various states. With this model, various problem solving methods (i.e. prediction, classification, explanation, tutoring, qualitative reasoning, planning, etc.) can be viewed in a uniform fashion.
In [1], Menzies proposes a new knowledge level modeling approach, called KLB, which specifies that "a knowledge base should be divided into domain-specific facts and domain-independent abstract problem solving inference procedures." In his method, abductive reasoning
is used to find assumptions which, when combined with theories, achieve the desired goals of the system.
For a good example of abductive reasoning, look at logical reasoning
.
Crucial to the understanding of knowledge level modeling are Allen Newell
Allen Newell
Allen Newell was a researcher in computer science and cognitive psychology at the RAND corporation and at Carnegie Mellon University’s School of Computer Science, Tepper School of Business, and Department of Psychology...
's notions of the knowledge level
Knowledge level
In artificial intelligence, knowledge-based agents draw on a pool of logical sentences to infer conclusions about the world. At the knowledge level, we only need to specify what the agent knows and what its goals are; a logical abstraction separate from details of implementation.This notion of...
, operators, and an agent's goal state.
- The knowledge level refers to the knowledge an agent has about its world.
- Operators are what can be applied to an agent to affect its state.
- An agent's goal state is the status reached after the appropriate operators have been applied to transition from a previous, non-goal state.
Essentially, knowledge level modeling involves evaluating an agent's world and all possible states and with that information constructing a model that depicts the interrelations and pathways between the various states. With this model, various problem solving methods (i.e. prediction, classification, explanation, tutoring, qualitative reasoning, planning, etc.) can be viewed in a uniform fashion.
In [1], Menzies proposes a new knowledge level modeling approach, called KLB, which specifies that "a knowledge base should be divided into domain-specific facts and domain-independent abstract problem solving inference procedures." In his method, abductive reasoning
Abductive reasoning
Abduction is a kind of logical inference described by Charles Sanders Peirce as "guessing". The term refers to the process of arriving at an explanatory hypothesis. Peirce said that to abduce a hypothetical explanation a from an observed surprising circumstance b is to surmise that a may be true...
is used to find assumptions which, when combined with theories, achieve the desired goals of the system.
For a good example of abductive reasoning, look at logical reasoning
Logical reasoning
In logic, three kinds of logical reasoning can be distinguished: deduction, induction and abduction. Given a precondition, a conclusion, and a rule that the precondition implies the conclusion, they can be explained in the following way:...
.