Representations of Commonsense Knowledge"A central goal of artificial intelligence is to give a computer program commonsense understanding of basic domains such as time, space, simple laws of nature, and simple facts about human minds. Many different systems of representation and inference have been developed for expressing such knowledge and reasoning with it. Representations of Commonsense Knowledge is the first thorough study of these techniques. The first three chapters establish a general framework in domain-independent terms, discussing methodology, deductive logics, and theories of plausible inference. Subsequent chapters each deal with representations and inferences in specific domains: quantities, time, space, physics, knowledge and belief, plans and goals, and interactions among agents. The power of these representations in expressing world knowledge and in supporting significant inferences is analyzed using many detailed examples. The discussion includes both representations that have been used in successful AI programs and those that have been developed in purely abstract settings."--Book cover. |
Other editions - View all
Common terms and phrases
action agent algorithm applied argument Artificial Intelligence assumption axiom schema behavior believe(A believes block blocks-world Boolean cognitive common knowledge commonsense reasoning configuration space consequential closure constant symbol constraints coordinate define definition denotes discussed domain equations event type example express Figure first-order logic fluent formal formula frame frame problem given goals inference rule interpretation interval involved John Kleer knowledge base knowledge preconditions meaning measure space modal logic modal operators Modus Ponens natural language negative nonlogical symbols nonmonotonic notation occur parameter partial particular physical pickup plausible inference positive possible worlds predicate calculus primitive probability problem proof properties propositional propositional calculus putdown qualitative quantities region relation represent representation robot satisfied Section semantics sentence sequence situation spatial specified statement string structure syntactic theory Table Tarskian semantics temporal theorem tion true variable