Logical foundations of artificial intelligence
Book
·
OSTI ID:5733978
The first section of the book introduces the logicist approach to AI-discussing the representation of declarative knowledge and featuring an introduction to the process of conceptualization, the syntax and semantics of predicate calculus, and the basics of other declarative representations such as frames and semantic nets. This section also presents a simple but powerful inference procedure, resolution, and shows how it can be used in a reasoning system. The next several chapters discuss nonmonotonic reasoning, induction, and reasoning under uncertainty, broadening the logical approach to deal with the inadequacies of strict logical deduction. The third section introduces modal operators that facilitate representing and reasoning about knowledge. This section also develops the process of writing predicate calculus sentences to the metalevel-to permit sentences about sentences and about reasoning processes. The final three chapters discuss the representation of knowledge about states and actions, planning, and intelligent-agent architecture.
- OSTI ID:
- 5733978
- Country of Publication:
- United States
- Language:
- English
Similar Records
Quantificational logic of context
A description-oriented logic for building knowledge bases
NVL - a knowledge representation language based on semantic networks
Conference
·
Mon Dec 30 23:00:00 EST 1996
·
OSTI ID:430715
A description-oriented logic for building knowledge bases
Journal Article
·
Wed Oct 01 00:00:00 EDT 1986
· Proc. IEEE; (United States)
·
OSTI ID:7190033
NVL - a knowledge representation language based on semantic networks
Thesis/Dissertation
·
Sat Dec 31 23:00:00 EST 1988
·
OSTI ID:5692557