Knowledge Representation Questions and Answers

Q: Why does an agent need to represent other agents' beliefs?

Deciding what to tell someone, or predicting how a competitor will act, requires modelling what they already believe rather than what is true. That is why speech act planning and game playing both need the machinery. Consistency with others, storage and truth evaluation are different activities. A representation adequate for a single agent alone turns out to be inadequate as soon as another agent enters the environment, which is a good argument for building it in from the start.

Q: What is the difference between knowledge and belief in such a representation?

The standard treatment makes knowing p entail p while believing p does not, so an agent may believe something false but cannot know it. That difference has consequences for what may be inferred from a report. Certainty, ownership and derivation are different distinctions, though probabilistic treatments exist alongside. A logical property that seems merely philosophical turns out to determine what a system may conclude from another agent's assertion, which makes it a practical matter.

Q: What is an ontology's role in system interoperability?

Two systems can exchange triples freely and still misunderstand each other unless they agree what the terms mean, and an ontology fixes that agreement. Format conversion and transport are separate layers that assume the agreement rather than providing it. Answer verification is a different exercise. That syntactic interoperability is easy and semantic interoperability is hard is the lesson every integration project rediscovers.

Q: Why is syntactic agreement insufficient for exchanging knowledge?

One system's customer may include prospects while another's does not, so merging their data produces confident nonsense although every message parsed correctly. Only shared definitions prevent it. Arity, parsers and validation are engineering matters that are comparatively easy. A failure that occurs after every technical check has passed, because the checks address the wrong level, is the characteristic difficulty of data integration.

Q: What is ontology alignment?

Since a single shared ontology has proved unattainable, mapping one vocabulary to another, wholly or partially, is how heterogeneous sources are combined in practice. The mappings are often approximate and require human judgement. Hierarchy construction, consistency and formatting are different tasks. Accepting that agreement will be partial, and building machinery to bridge the differences, is a more realistic programme than insisting on a universal standard.

Q: Why are ontology mappings often approximate?

One ontology's employee may exclude contractors that another's includes, so the best available mapping is a subset or overlap relation rather than an equivalence. Recording the imprecision honestly is better than asserting a false equivalence. Software capability, speed and rewriting are secondary. Representing the degree of correspondence, rather than forcing a binary match, is what keeps the resulting inferences trustworthy.

Q: What is the practical lesson of knowledge representation for system design?

Since expressiveness costs tractability, the discipline is to identify what genuinely must be stated and to choose the weakest formalism that states it. Maximal expressiveness buys undecidability, abandoning formality loses auditability, and tool availability is a constraint rather than a criterion. Selecting the least powerful tool that suffices is a principle from language design that applies here with unusual force, because the cost of excess power is measurable.

Q: What question should be asked before choosing a representation?

The required inferences determine the expressiveness needed, and that determines which formalism will serve at acceptable cost. Popularity, volume and familiarity are practical considerations that follow rather than lead. Asking what conclusions must be drawn, before asking how knowledge should be written, is the same discipline the agent framework applies when it insists the performance measure be settled before the architecture.

Q: What is the relationship between knowledge representation and logic?

Semantic networks, frames and description logics were each shown to correspond to fragments of first order logic, which is what gave their inferences a precise meaning. The variety lies in notation, in what is made easy and in what is deliberately excluded. Logic was not replaced, and formal semantics is what the correspondence supplies rather than a precondition. Recognising a family of notations as one underlying formalism differently packaged is what lets results transfer between them.

Q: What does each representation gain by being a restricted fragment?

Restricting to a fragment buys termination guarantees and often polynomial reasoning, which unrestricted first order logic cannot offer. Nothing outside logic becomes expressible, semantics is required rather than avoided, and compatibility must still be arranged. That the whole family exists because the general case is intractable, rather than because logic is inadequate, is the summary worth carrying away from the topic.

81.

Why does an agent need to represent other agents' beliefs?

A.To predict their actions and to communicate usefully with them
B.To ensure that its own beliefs remain consistent with theirs
C.To store the knowledge they supply in its own knowledge base
D.To determine whether their beliefs are true or false

Answer: A

Deciding what to tell someone, or predicting how a competitor will act, requires modelling what they already believe rather than what is true. That is why speech act planning and game playing both need the machinery. Consistency with others, storage and truth evaluation are different activities. A representation adequate for a single agent alone turns out to be inadequate as soon as another agent enters the environment, which is a good argument for building it in from the start.

Discuss in Forum

82.

What is the difference between knowledge and belief in such a representation?

A.Knowledge is asserted whereas belief is inferred
B.Knowledge implies truth whereas belief does not
C.Knowledge is certain whereas belief carries a probability
D.Knowledge belongs to the system and belief to other agents

Answer: B

The standard treatment makes knowing p entail p while believing p does not, so an agent may believe something false but cannot know it. That difference has consequences for what may be inferred from a report. Certainty, ownership and derivation are different distinctions, though probabilistic treatments exist alongside. A logical property that seems merely philosophical turns out to determine what a system may conclude from another agent's assertion, which makes it a practical matter.

Discuss in Forum

83.

What is an ontology's role in system interoperability?

A.It provides a network protocol for transmitting knowledge
B.It verifies that the two systems produce the same answers
C.It supplies shared meanings so systems can exchange knowledge
D.It converts between the data formats two systems use

Answer: C

Two systems can exchange triples freely and still misunderstand each other unless they agree what the terms mean, and an ontology fixes that agreement. Format conversion and transport are separate layers that assume the agreement rather than providing it. Answer verification is a different exercise. That syntactic interoperability is easy and semantic interoperability is hard is the lesson every integration project rediscovers.

Discuss in Forum

84.

Why is syntactic agreement insufficient for exchanging knowledge?

A.Syntax cannot express relations between more than two objects
B.Different syntaxes require different parsers to be written
C.Syntactic formats cannot be validated automatically
D.Two systems may use the same term for different concepts

Answer: D

One system's customer may include prospects while another's does not, so merging their data produces confident nonsense although every message parsed correctly. Only shared definitions prevent it. Arity, parsers and validation are engineering matters that are comparatively easy. A failure that occurs after every technical check has passed, because the checks address the wrong level, is the characteristic difficulty of data integration.

Discuss in Forum

85.

What is ontology alignment?

A.Establishing correspondences between terms in two ontologies
B.Arranging the concepts of an ontology into a strict hierarchy
C.Ensuring an ontology is consistent with its own axioms
D.Adjusting an ontology so that it matches a standard format

Answer: A

Since a single shared ontology has proved unattainable, mapping one vocabulary to another, wholly or partially, is how heterogeneous sources are combined in practice. The mappings are often approximate and require human judgement. Hierarchy construction, consistency and formatting are different tasks. Accepting that agreement will be partial, and building machinery to bridge the differences, is a more realistic programme than insisting on a universal standard.

Discuss in Forum

86.

Why are ontology mappings often approximate?

A.Exact mappings would require both ontologies to be rewritten
B.Concepts in different ontologies rarely correspond exactly
C.The mapping software cannot compute exact correspondences
D.Approximate mappings are faster to apply during a query

Answer: B

One ontology's employee may exclude contractors that another's includes, so the best available mapping is a subset or overlap relation rather than an equivalence. Recording the imprecision honestly is better than asserting a false equivalence. Software capability, speed and rewriting are secondary. Representing the degree of correspondence, rather than forcing a binary match, is what keeps the resulting inferences trustworthy.

Discuss in Forum

87.

What is the practical lesson of knowledge representation for system design?

A.Avoid formal representations in favour of learned models
B.Adopt whichever representation the available tools support
C.Choose the least expressive language that says what must be said
D.Choose the most expressive language available for flexibility

Answer: C

Since expressiveness costs tractability, the discipline is to identify what genuinely must be stated and to choose the weakest formalism that states it. Maximal expressiveness buys undecidability, abandoning formality loses auditability, and tool availability is a constraint rather than a criterion. Selecting the least powerful tool that suffices is a principle from language design that applies here with unusual force, because the cost of excess power is measurable.

Discuss in Forum

88.

What question should be asked before choosing a representation?

A.Which representation is most widely used in the industry
B.How much knowledge will eventually need to be stored
C.Which representation the development team already knows
D.What inferences must the system actually be able to draw

Answer: D

The required inferences determine the expressiveness needed, and that determines which formalism will serve at acceptable cost. Popularity, volume and familiarity are practical considerations that follow rather than lead. Asking what conclusions must be drawn, before asking how knowledge should be written, is the same discipline the agent framework applies when it insists the performance measure be settled before the architecture.

Discuss in Forum

89.

What is the relationship between knowledge representation and logic?

A.Most representations are notational variants of logical fragments
B.Logic is one representation among many unrelated alternatives
C.Knowledge representation replaced logic as the field's foundation
D.Logic applies only to representations with formal semantics

Answer: A

Semantic networks, frames and description logics were each shown to correspond to fragments of first order logic, which is what gave their inferences a precise meaning. The variety lies in notation, in what is made easy and in what is deliberately excluded. Logic was not replaced, and formal semantics is what the correspondence supplies rather than a precondition. Recognising a family of notations as one underlying formalism differently packaged is what lets results transfer between them.

Discuss in Forum

90.

What does each representation gain by being a restricted fragment?

A.Compatibility with every other representation
B.Decidable and often efficient inference
C.The ability to express statements logic cannot
D.Freedom from the need for a formal semantics

Answer: B

Restricting to a fragment buys termination guarantees and often polynomial reasoning, which unrestricted first order logic cannot offer. Nothing outside logic becomes expressible, semantics is required rather than avoided, and compatibility must still be arranged. That the whole family exists because the general case is intractable, rather than because logic is inadequate, is the summary worth carrying away from the topic.

Discuss in Forum

Loading…

Topics

Other Subjects

Tags: Knowledge Representation Questions and Answers || Knowledge Representation MCQ Questions and Answers || Knowledge Representation GK Questions and Answers || Knowledge Representation GK MCQ Questions || Knowledge Representation Multiple Choice Questions and Answers || Knowledge Representation GK || GK on Knowledge Representation || Artificial Intelligence Questions and Answers || Artificial Intelligence MCQ Questions and Answers || Artificial Intelligence GK Questions and Answers || GK on Artificial Intelligence

Knowledge Representation Questions and Answers

Topics

Other Subjects

About Us

Stay informed about all important Dates & Notifications