ISBN-13: 9781848900448 / Angielski / Twarda / 2011 / 502 str.
This collection of papers, published in honour of Hector J. Levesque on the occasion of his 60th birthday, addresses a number of core areas in the field of knowledge representation and reasoning. In a broad sense, the book is about knowledge and belief, tractable reasoning, and reasoning about action and change. More specifically, the book contains contributions to Description Logics, the expressiveness of knowledge representation languages, limited forms of inference, satisfiablity (SAT), the logical foundations of BDI architectures, only-knowing, belief revision, planning, causation, the situation calculus, the action language Golog, and cognitive robotics.
This collection of papers, published in honour of Hector J. Levesque on theoccasion of his 60th birthday, addresses a number of core areas in the field ofknowledge representation and reasoning. In a broad sense, the book is aboutknowledge and belief, tractable reasoning, and reasoning about action andchange. More specifically, the book contains contributions to DescriptionLogics, the expressiveness of knowledge representation languages, limited formsof inference, satisfiablity (SAT), the logical foundations of BDI architectures, only-knowing,belief revision, planning, causation, the situation calculus, the actionlanguage Golog, and cognitive robotics.