What Is Presentation Logic?

Pinyin: luoji biaoshi English: logical representation A basic way of knowledge representation. Artificial intelligence needs to use modern logic methods to solve complex real-world problems, which can use logic to express reasoning or to represent knowledge with logic.

Logical representation

For example, first-order logic can be used to describe the building block world in the figure.

The meanings of the propositions represented by the seven combined formulas in the chart [Building Block World and its Logical Representation] are:

First-order predicate logic is also called first-order predicate calculus, referred to as first-order logic or first-order calculus. Six types of symbols are needed to construct a formal system of first-order logic. Individual word or constant element: Represents the object in question. The non-empty set constituted by the whole of such objects is called individual domain or discourse domain. In the figure, the individual words represent different building blocks. The domain {,,} represents the world of building blocks. Individual arguments: represent objects whose values have not been determined. In the figure, it is the individual argument. Correspondence: The symbols that make up the term, which are equivalent to the words (groups) of the language, and are used to reflect (composite) concepts. In the figure, h and each are unary function and binary function. () Represents the height of the building block, (,) represents the building tower composed of, and ((,)) represents the height of the building tower composed of. Constant and individual arguments are the shortest forms of terms.

As a more typical declarative way of knowledge representation, logical representation has the advantages of naturalness (closest to natural language), accuracy, flexibility and modularity. The main disadvantage is the separation of knowledge representation from knowledge use. In order to use the expressed knowledge, a separate problem solving program or theorem proving program (ie, an automatic reasoning program) is required. PROLOG language unifies knowledge representation and knowledge use of predicate logic.