
Epistemic Logic for AI and Computer Science
798 kr
798 kr
Tis, 5 aug - mån, 11 aug
Säker betalning
14-dagars öppet köp
Säljs och levereras av
AdlibrisProduktbeskrivning
Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included together with their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the contexts of distributed systems and artificial intelligence: topics that are addressed include the notions of common knowledge, distributed knowledge, explicit and implicit belief, the interplays between knowledge and time, and knowledge and action, as well as a graded (or numerical) variant of the epistemic operators. The problem of logical omniscience is also discussed extensively. Halpern and Moses’ theory of honest formulae is covered, and a digression is made into the realm of non-monotonic reasoning and preferential entailment. Moore’s autoepistemic logic is discussed, together with Levesque's related logic of ‘all I know’. Furthermore, it is shown how one can base default and counterfactual reasoning on epistemic logic.
Artikel.nr.
3f19ad39-4b6e-4f0b-9489-9276918e46d8
Epistemic Logic for AI and Computer Science
798 kr
798 kr
Tis, 5 aug - mån, 11 aug
Säker betalning
14-dagars öppet köp
Säljs och levereras av
AdlibrisLiknande toppsäljare

3-pack rakblad kompatibel med Philips Oneblade Replacement
159 kr

Nintendo Switch 2 Svart
6 298 kr

Playstation 5 DualSense Controller Midnight Black
794 kr

iPhone Snabbladdare USB-C PD 3.0. 20W Strömadapter + Kabel
117 kr

UNIQ XL Hollywood Spegel med 15 LED-lampor och touch-funktion - sminkspegel med belysning - hollywoodspegel
749 kr
Tidigare lägsta pris:
795 kr

2-Pack - Xiaomi Däck med Verktyg - Punkteringsfritt / Elscooter
249 kr
Tidigare lägsta pris:
269 kr

INF TYPE-C Dubbel SD/TF-kortläsare för snabb dataöverföring 0
79 kr

PÅFYLLNINGSSATS FÖR LUFTKONDITIONERING R134A-MEDEL 2 X GAS
488 kr

INF Öronkuddar för Bose QC35 I/II, QC25, QC15, QC 2 AE 2, AE 2i, AE 2w, SoundTrue, SoundLink
79 kr
Tidigare lägsta pris:
99 kr

Rakapparat med dubbla huvuden 2-i-1 för Kvinnor, IPX7 Vattentät, Bikinitrimmer, Dubbelhuvud, Typ-C Ljusrosa
221 kr
Rekommendationer för dig

Apple AirPods 4 Wireless In-ear
1 578 kr

Usb-c till Lightning-kabel (3 m)
59 kr
Tidigare lägsta pris:
79 kr

Fjärrkontroll Philips Smart TV med Netflix – Universell
89 kr
Tidigare lägsta pris:
99 kr

Sony PlayStation DualSense - White (PS5)
799 kr

Trådlös CarPlay adapter 2025 - En smart och modern lösning för din bil
219 kr
Tidigare lägsta pris:
295 kr

RCA AV till HDMI Converter / Adapter 1080P Universal White
99 kr

X500 Trådlösa Bluetooth Hörlurar - 30 timmar C4U® ANC ENC BT 5.3
269 kr
Tidigare lägsta pris:
399 kr

Malibu Fast Tanning Bronzing Butter with Beta Carotene 300ml
139 kr

2-Pack - PS4 Kontroll DoubleShock för Playstation 4 - Trådlös
399 kr
Tidigare lägsta pris:
499 kr

2025 Ny uppgradering Hundklippare för Hundtassar – Tyst och Effektiv Tasstrimmer med LED-lampa
149 kr