Documente Academic
Documente Profesional
Documente Cultură
Submitted by: -
Name: Nitin Khajuria
Roll no: A28
Section : A1812
Reg no: 10804879
Submitted to:- Mrs. Rinku Garg
PART: A
Ans: The problem solving with Artificial Intelligence techniques for knowledge
representation, there exists several techniques. However two of the most
significant AI techniques are:
In weak slot and filler structures we study technique such as “semantic nets”
with the “isa” and “has ” and “instance mechanisms” and also the technique of
“frames” apart from these we also study the logic of predicate calculus
mathematical analysis techniques which is also a part of prepositional logic
and/or prepositional logical mathematics.
In Strong slot and filler structures we study techniques such as scripts and
Schamks conceptual dependency theory.
There are certain issues in knowledge representation in order to exhibit the
knowledge prior to study of above two techniques.
ATNs build on the idea of using finite state machines (Markov model) to parse
sentences. W. A. Woods in "Transition Network Grammars for Natural
Language Analysis" claims that by adding a recursive mechanism to a finite
state model, parsing can be achieved much more efficiently. Instead of building
an automaton for a particular sentence, a collection of transition graphs are
built. A grammatically correct sentence is parsed by reaching a final state in any
state graph. Transitions between these graphs are simply subroutine calls from
one state to any initial state on any graph in the network. A sentence is
determined to be grammatically correct if a final state is reached by the last
word in the sentence.
This model meets many of the goals set forth by the nature of language in that it
captures the regularities of the language. That is, if there is a process that
operates in a number of environments, the grammar should encapsulate the
process in a single structure. Such encapsulation not only simplifies the
grammar, but has the added bonus of efficiency of operation. Another
advantage of such a model is the ability to postpone decisions. Many grammars
use guessing when an ambiguity comes up. This means that not enough is yet
known about the sentence. By the use of recursion, ATNs solve this inefficiency
by postponing decisions until more is known about a sentence.
PART:B
Ans: The main idea behind semantic nets is that the meaning of a concept comes
from the ways in which it is connected to other concepts. In a semantic net,
information is represented as a set of nodes connected to each other by a set of
labelled arcs, which represent relationship among the nodes. In knowledge
representation, when we do network representation it is semantic nets.
L There are two key parts of prdeicate logic. The syntax determines which
collections of symbols are legal expressions in prdeicate logic, while the
semantics determine the meanings behind these expressions. o An interpretation
of a predicate language assigns a denotation to all non-logical constants in that
language. It also determines a domain of discourse that specifies the range of
the quantifiers. The result is that each term is assigned an object that it
represents, and each sentence is assigned a truth value. In this way, an
interpretation provides semantic meaning to the terms and formulas of the
language. The study of the interpretations of formal languages is called formal
semantics.
The domain of discourse D is a nonempty set of "objects" of some kind.
Intuitively, a first-order formula is a statement about these objects; for example,
states the existence of an object x such that the predicate P is true where
referred to it. The domain of discourse is the set of considered objects. For
example, one can take D to be the set of integer numbers.
a) Default values
a) Default values-