Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Logic for Computer Science and Artificial Intelligence (eBook)

(Autor)

eBook Download: PDF | EPUB
2013 | 1. Auflage
524 Seiten
John Wiley & Sons (Verlag)
978-1-118-60426-7 (ISBN)

Lese- und Medienproben

Logic for Computer Science and Artificial Intelligence - Ricardo Caferra
Systemvoraussetzungen
Systemvoraussetzungen
192,99 inkl. MwSt
(CHF 188,55)
Der eBook-Verkauf erfolgt durch die Lehmanns Media GmbH (Berlin) zum Preis in Euro inkl. MwSt.
  • Download sofort lieferbar
  • Zahlungsarten anzeigen
Logic and its components (propositional, first-order,
non-classical) play a key role in Computer Science and Artificial
Intelligence. While a large amount of information exists scattered
throughout various media (books, journal articles, webpages, etc.),
the diffuse nature of these sources is problematic and logic as a
topic benefits from a unified approach. Logic for Computer Science
and Artificial Intelligence utilizes this format, surveying the
tableaux, resolution, Davis and Putnam methods, logic programming,
as well as for example unification and subsumption. For
non-classical logics, the translation method is detailed.

Logic for Computer Science and Artificial Intelligence is the
classroom-tested result of several years of teaching at Grenoble
INP (Ensimag). It is conceived to allow self-instruction for a
beginner with basic knowledge in Mathematics and Computer Science,
but is also highly suitable for use in traditional courses. The
reader is guided by clearly motivated concepts, introductions,
historical remarks, side notes concerning connections with other
disciplines, and numerous exercises, complete with detailed
solutions, The title provides the reader with the tools needed to
arrive naturally at practical implementations of the concepts and
techniques discussed, allowing for the design of algorithms to
solve problems.

Ricardo Caferra, LIG, CNRS/Grenoble INP, France.

Preface xi

Chapter 1. Introduction 1

1.1. Logic, foundations of computer science, and applications of
logic to computer science 1

1.2. On the utility of logic for computer engineers 3

Chapter 2. A Few Thoughts Before the Formalization 7

2.1. What is logic? 7

2.2. Somehistoric landmarks 32

Chapter 3. Propositional Logic 39

3.1. Syntaxand semantics 40

3.2. Themethodof semantic tableaux 54

3.3. Formal systems 64

3.4. Aformal systemforPL(PC) 78

3.5. ThemethodofDavis andPutnam 92

3.6. Semantic trees inPL 96

3.7. The resolutionmethodinPL 101

3.8. Problems, strategies, andstatements 109

3.9. Hornclauses 113

3.10. Algebraic point of view of propositional logic 114

Chapter 4. First-order Terms 121

4.1. Matchingandunification 121

4.2. First-order terms, substitutions, unification 125

Chapter 5. First-Order Logic (FOL) or Predicate Logic (PL1,
PC1) 131

5.1. Syntax 133

5.2. Semantics 137

5.3. Semantic tableauxin FOL 154

5.4. Unification in the method of semantic tableaux 166

5.5. Toward a semi-decision procedure for FOL 169

5.6. Semantic trees inFOL 186

5.7. The resolutionmethodinFOL 190

5.8. Adecidable class: themonadic class 202

5.9. Limits: Godel's (first) incompleteness theorem
206

Chapter 6. Foundations of Logic Programming 213

6.1. Specifications and programming 213

6.2. Toward a logic programming language 219

6.3. Logicprogramming: examples 222

6.4. Computability and Horn clauses 241

Chapter 7. Artificial Intelligence 245

7.1. Intelligent systems: AI 245

7.2. What approaches to studyAI? 249

7.3. Toward an operational definition of intelligence 249

7.4. Can we identify human intelligence with
mechanicalintelligence? 251

7.5. Somehistory 254

7.6. Some undisputed themes in AI 256

Chapter 8. Inference 259

8.1. Deductiveinference 260

8.2. An important concept: clause subsumption 266

8.3. Abduction 273

8.4. Inductive inference 278

8.5. Generalization: the generation of inductive hypotheses
284

Chapter 9. Problem Specification in Logical Languages
291

9.1. Equality 291

9.2. Constraints 309

9.3. Second Order Logic (SOL): a few notions 319

Chapter 10. Non-classical Logics 327

10.1. Many-valuedlogics 327

10.2. Inaccurate concepts: fuzzy logic 337

10.3. Modal logics 353

10.4. Some elements of temporal logic 371

Chapter 11. Knowledge and Logic: Some Notions 385

11.1. What is knowledge? 386

11.2. Knowledge and modal logic 389

Chapter 12. Solutions to the Exercises 395

Bibliography 515

Index 517

Erscheint lt. Verlag 4.2.2013
Sprache englisch
Themenwelt Informatik Theorie / Studium Künstliche Intelligenz / Robotik
Technik Elektrotechnik / Energietechnik
Schlagworte Electrical & Electronics Engineering • Elektrotechnik u. Elektronik • Intelligente Systeme u. Agenten • Intelligent Systems & Agents
ISBN-10 1-118-60426-1 / 1118604261
ISBN-13 978-1-118-60426-7 / 9781118604267
Haben Sie eine Frage zum Produkt?
PDFPDF (Adobe DRM)
Größe: 5,5 MB

Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos). Von der Benutzung der OverDrive Media Console raten wir Ihnen ab. Erfahrungsgemäß treten hier gehäuft Probleme mit dem Adobe DRM auf.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine Adobe-ID sowie eine kostenlose App.
Geräteliste und zusätzliche Hinweise

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

EPUBEPUB (Adobe DRM)
Größe: 7,4 MB

Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM

Dateiformat: EPUB (Electronic Publication)
EPUB ist ein offener Standard für eBooks und eignet sich besonders zur Darstellung von Belle­tristik und Sach­büchern. Der Fließ­text wird dynamisch an die Display- und Schrift­größe ange­passt. Auch für mobile Lese­geräte ist EPUB daher gut geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos). Von der Benutzung der OverDrive Media Console raten wir Ihnen ab. Erfahrungsgemäß treten hier gehäuft Probleme mit dem Adobe DRM auf.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine Adobe-ID sowie eine kostenlose App.
Geräteliste und zusätzliche Hinweise

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
der Praxis-Guide für Künstliche Intelligenz in Unternehmen - Chancen …

von Thomas R. Köhler; Julia Finkeissen

eBook Download (2024)
Campus Verlag
CHF 37,95
Wie du KI richtig nutzt - schreiben, recherchieren, Bilder erstellen, …

von Rainer Hattenhauer

eBook Download (2023)
Rheinwerk Computing (Verlag)
CHF 24,30