Machine-translated by Google. Questions are authored in English.
Top

Discussion

Which representation commits to objects and relations?

  • A.Propositional logic
  • B.Probability theory, which reasons about degrees of belief
  • C.Temporal logic, which reasons only about ordering in time
  • D.First order logic

Answer: D

First order logic quantifies over objects and predicates their properties and relations, which is why it underlies almost every representation in the field. Propositional logic commits only to facts, probability theory adds degrees of belief to whatever ontology it is applied to, and temporal logic adds times to an existing commitment. Placing each formalism by what it assumes to exist organises them on a single scale rather than as unrelated alternatives.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.