Commonsense Reasoning

Index

A

Abduction, 7, 9, 13, 15, 41–43, 51, 73, 144

in Discrete Event Calculus Reasoner, 244

and probability theory, 304–305

Abelson, Robert, 9–10, 16, 74, 220, 267

Abnormality predicate, 225–238

Action languages, 84, 279–285, 289, 294–295, 298. See also C+ language

Action precondition axioms, 36, 65–66, 73, 273, 280

Actions, See events

Actual situations in situation calculus, 274, 291

Agents, 2, 187, See also mental states

conflicting actions of, 145–146

coordination of, 309

in relational space representations, 166–168

in society of mind, 306–307

in ThoughtTreasure, 308–309

Aho, Alfred V., 51, 314

Airplane hijack scenario, 238

Alarm clock trigger axiom example, 75–78, 233

Allen, James F., 49, 219–220, 267, 295

Alshawi, Hiyan, 268

Alternative ...