Lskdalksd

1

The Syntax and Semantics of A-Prolog
In this section we give a numerical introduction to a knowledge representation talking to A-Prolog. The language will be used to illustrate many of the supposed ideas of AI and at the same time serve as a basic for the development of various applications. Despite the informality of the language understanding of this material will require accredited level of mathematical sophistication.

Texas tech University

Knowledge mental representation Group

2

asserting(prenominal) Languages - basic idea
A declarative program (DP) is a gathering of statements describing objects of a domain and their properties. Semantics de?nes a notion of a lay of a DP (i.e. a possible state of the worldly concern compatible with the DP statements) and characterizes the collection of valid consequences of a program. different tasks ar reduced to ?nding models or computing consequences of a DP. Models atomic number 18 found and/or consequences are computed by general innovation reasoning algorithms often called inference engines.

Texas Tech University

Knowledge Representation Group

3

Declarative Languages - basic terminology
Signature is a four-tuple ? = O, F, P, V of (disjoint) sets. Elements of O, F, P are called object, spot, and predicate symbols (or constants) respectively.



Predicate constants are used to distinguish relations between the domains objects, Each function and predicate symbol is associated with its arity - an integer indicating the number of symbols parameters. Normally, arity will be determined from the context. Elements of V are called (object) variables.
Texas Tech University Knowledge Representation Group

4

Declarative Languages - basic terminology
Terms (over ?) are de?ned as follows: 1. Variables and object constants are terms. 2. If t1, . . . , tn are terms and f ? F then f (t1, . . . , tn) is a term. Terms not containing variables are called ground. They are used to name the domains objects. Atom is an expression of the...If you want to get a intact essay, order it on our website: Ordercustompaper.com



If you want to get a full essay, wisit our page: write my paper