Artificial Intelligence and Soft Computing: Behavioral ... - Arteimi.info

6.11 Conclusions
The main advantage of logic programming lies in the declarative formulation
of the problem without specifying an algorithm for its solution. Non-Horn
clause based logic programs are currently gaining significance for their inherent
advantage of representing negated antecedents. These programs have many
interpretations and determination of the least interpretation requires
stratification of the clauses. For the real world applications, the constraints of
a specific problem are also added with the classical definition of the problem.
These programs are referred to as CLP. When the constraints have unequal
weights, we call the logic programs HCLP. In HCLP, if solutions satisfying
all the constraints are not available, then the solutions that satisfy some of the
hierarchically ordered constraints are filtered. Logic programming has been
successfully used in many commercial applications including prediction of
the share market fluctuations [5] and scheduling teams of players in
tournaments [5].
Exercises
1. Draw the flow of satisfaction diagram to show that the clause: Equal
(Time, classhour) is true for the Scene interpretation program.
2. Design a logic program to verify the truth table of the CMOS Inverter,
presented below (fig. 6.7) with the given properties of channel conduction
with gate triggering.
Properties of the MOSFETS: When the Gate (G) is high for n-channel
MOSFET, the Drain (D) and the Source (S) will be shorted, else they are
open (no connection). Conversely, when the gate of a p-channel MOSFET
is low, its drain and source will be shorted, else they are open.
[Hints: Inverter (In, Out) ←
Pwr (P),
Gnd (Q),
Ptrans (P, In, Out),
Ntrans (Out, In, Q).
Ntrans ( X, 1, X) ← .
Ntrans (X, 0, Y) ← .