Commonsense reasoning [[electronic resource] /] / Erik T. Mueller |
Autore | Mueller Erik T |
Edizione | [1st edition] |
Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier Morgan Kaufmann, c2006 |
Descrizione fisica | 1 online resource (431 p.) |
Disciplina | 153.4/3 |
Soggetto topico |
Commonsense reasoning - Automation
Artificial intelligence - Mathematics Logic, Symbolic and mathematical - Data processing |
Soggetto genere / forma | Electronic books. |
ISBN |
1-281-05049-0
9786611050498 0-08-047661-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Front cover; About the Author; Title page; Copyright page; Table of contents; Foreword; Preface; Why Commonsense Reasoning?; Approach; Intended Audience; Roadmap; Material Covered; Supplemental Materials; Web Site and Reasoning Programs; Exercises and Solutions; Text and Figure Acknowledgments; Acknowledgments; 1 Introduction; What Is Commonsense Reasoning?; Key Issues of Commonsense Reasoning; Summary; Brief History of Commonsense Reasoning; Logical Methods; Nonlogical Methods; The Event Calculus; Events, Fluents, and Timepoints; A Simple Example; Automated Event Calculus Reasoning
Bibliographic NotesPart I Foundations; 2 The Event Calculus; First-Order Logic; Syntax of First-Order Logic; Semantics of First-Order Logic; Proof Theory; Many-Sorted First-Order Logic; Notational Conventions; Event Calculus Basics; Event Calculus Sorts; Event Calculus Predicates; States of a Fluent; Event Calculus Axiomatizations; The (Continuous) Event Calculus; The Discrete Event Calculus; Choosing between the Event Calculus and the Discrete Event Calculus; Reification; Unique Names Axioms; Conditions; Circumscription; Computing Circumscription; Example: Circumscription of Happens Example: Circumscription of InitiatesDomain Descriptions; Example: Sleep; Inconsistency; Reasoning Types; Deduction and Temporal Projection; Abduction and Planning; Example: Sleep Abduction; Postdiction; Model Finding; Bibliographic Notes; Exercises; Part II Commonsense Phenomena; 3 The Effects of Events; Positive and Negative Effect Axioms; Example: Telephone; Effect Axiom Idioms; Preconditions; Fluent Preconditions; Action Preconditions; Example: Walking through a Door; State Constraints; Example: Telephone Revisited; Bibliographic Notes; Exercises; 4 The Triggering of Events Trigger AxiomsExample: Alarm Clock; Preventing Repeated Triggering; Example: Bank Account Service Fee; Triggered Fluents; Bibliographic Notes; Exercises; 5 The Commonsense Law of Inertia; Representation of the Commonsense Law of Inertia; Frame Problem; Classical Frame Axioms; Explanation Closure Axioms; Minimizing Event Occurrences; Introduction of Initiates Predicate; Minimizing Event Effects; Introduction of Terminates Predicate; Discussion; Representing Release from the Commonsense Law of Inertia; Example: Yale Shooting Scenario; Releasing from Inertia; Restoring Inertia Explanation Closure Axioms for ReleasedAtExample: Russian Turkey Scenario; Release Axioms; Bibliographic Notes; Exercises; 6 Indirect Effects of Events; Effect Axioms; Example: Carrying a Book; Discussion; Primitive and Derived Fluents; Example: Device; Release Axioms and State Constraints; Example: Carrying a Book Revisited; Effect Constraints; Example: Carrying a Book Revisited; Causal Constraints; Example: Thielscher's Circuit; Trigger Axioms; Example: Thielscher's Circuit with Delays; Example: Shanahan's Circuit with Delays; Bibliographic Notes; Exercises; 7 Continuous Change Trajectory Axioms |
Record Nr. | UNINA-9910458662903321 |
Mueller Erik T | ||
Amsterdam ; ; Boston, : Elsevier Morgan Kaufmann, c2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Commonsense reasoning [[electronic resource] /] / Erik T. Mueller |
Autore | Mueller Erik T |
Edizione | [1st edition] |
Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier Morgan Kaufmann, c2006 |
Descrizione fisica | 1 online resource (431 p.) |
Disciplina | 153.4/3 |
Soggetto topico |
Commonsense reasoning - Automation
Artificial intelligence - Mathematics Logic, Symbolic and mathematical - Data processing |
ISBN |
1-281-05049-0
9786611050498 0-08-047661-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Front cover; About the Author; Title page; Copyright page; Table of contents; Foreword; Preface; Why Commonsense Reasoning?; Approach; Intended Audience; Roadmap; Material Covered; Supplemental Materials; Web Site and Reasoning Programs; Exercises and Solutions; Text and Figure Acknowledgments; Acknowledgments; 1 Introduction; What Is Commonsense Reasoning?; Key Issues of Commonsense Reasoning; Summary; Brief History of Commonsense Reasoning; Logical Methods; Nonlogical Methods; The Event Calculus; Events, Fluents, and Timepoints; A Simple Example; Automated Event Calculus Reasoning
Bibliographic NotesPart I Foundations; 2 The Event Calculus; First-Order Logic; Syntax of First-Order Logic; Semantics of First-Order Logic; Proof Theory; Many-Sorted First-Order Logic; Notational Conventions; Event Calculus Basics; Event Calculus Sorts; Event Calculus Predicates; States of a Fluent; Event Calculus Axiomatizations; The (Continuous) Event Calculus; The Discrete Event Calculus; Choosing between the Event Calculus and the Discrete Event Calculus; Reification; Unique Names Axioms; Conditions; Circumscription; Computing Circumscription; Example: Circumscription of Happens Example: Circumscription of InitiatesDomain Descriptions; Example: Sleep; Inconsistency; Reasoning Types; Deduction and Temporal Projection; Abduction and Planning; Example: Sleep Abduction; Postdiction; Model Finding; Bibliographic Notes; Exercises; Part II Commonsense Phenomena; 3 The Effects of Events; Positive and Negative Effect Axioms; Example: Telephone; Effect Axiom Idioms; Preconditions; Fluent Preconditions; Action Preconditions; Example: Walking through a Door; State Constraints; Example: Telephone Revisited; Bibliographic Notes; Exercises; 4 The Triggering of Events Trigger AxiomsExample: Alarm Clock; Preventing Repeated Triggering; Example: Bank Account Service Fee; Triggered Fluents; Bibliographic Notes; Exercises; 5 The Commonsense Law of Inertia; Representation of the Commonsense Law of Inertia; Frame Problem; Classical Frame Axioms; Explanation Closure Axioms; Minimizing Event Occurrences; Introduction of Initiates Predicate; Minimizing Event Effects; Introduction of Terminates Predicate; Discussion; Representing Release from the Commonsense Law of Inertia; Example: Yale Shooting Scenario; Releasing from Inertia; Restoring Inertia Explanation Closure Axioms for ReleasedAtExample: Russian Turkey Scenario; Release Axioms; Bibliographic Notes; Exercises; 6 Indirect Effects of Events; Effect Axioms; Example: Carrying a Book; Discussion; Primitive and Derived Fluents; Example: Device; Release Axioms and State Constraints; Example: Carrying a Book Revisited; Effect Constraints; Example: Carrying a Book Revisited; Causal Constraints; Example: Thielscher's Circuit; Trigger Axioms; Example: Thielscher's Circuit with Delays; Example: Shanahan's Circuit with Delays; Bibliographic Notes; Exercises; 7 Continuous Change Trajectory Axioms |
Record Nr. | UNINA-9910784649503321 |
Mueller Erik T | ||
Amsterdam ; ; Boston, : Elsevier Morgan Kaufmann, c2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Commonsense reasoning / / Erik T. Mueller |
Autore | Mueller Erik T |
Edizione | [1st edition] |
Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier Morgan Kaufmann, c2006 |
Descrizione fisica | 1 online resource (431 p.) |
Disciplina | 153.4/3 |
Soggetto topico |
Commonsense reasoning - Automation
Artificial intelligence - Mathematics Logic, Symbolic and mathematical - Data processing |
ISBN |
1-281-05049-0
9786611050498 0-08-047661-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Front cover; About the Author; Title page; Copyright page; Table of contents; Foreword; Preface; Why Commonsense Reasoning?; Approach; Intended Audience; Roadmap; Material Covered; Supplemental Materials; Web Site and Reasoning Programs; Exercises and Solutions; Text and Figure Acknowledgments; Acknowledgments; 1 Introduction; What Is Commonsense Reasoning?; Key Issues of Commonsense Reasoning; Summary; Brief History of Commonsense Reasoning; Logical Methods; Nonlogical Methods; The Event Calculus; Events, Fluents, and Timepoints; A Simple Example; Automated Event Calculus Reasoning
Bibliographic NotesPart I Foundations; 2 The Event Calculus; First-Order Logic; Syntax of First-Order Logic; Semantics of First-Order Logic; Proof Theory; Many-Sorted First-Order Logic; Notational Conventions; Event Calculus Basics; Event Calculus Sorts; Event Calculus Predicates; States of a Fluent; Event Calculus Axiomatizations; The (Continuous) Event Calculus; The Discrete Event Calculus; Choosing between the Event Calculus and the Discrete Event Calculus; Reification; Unique Names Axioms; Conditions; Circumscription; Computing Circumscription; Example: Circumscription of Happens Example: Circumscription of InitiatesDomain Descriptions; Example: Sleep; Inconsistency; Reasoning Types; Deduction and Temporal Projection; Abduction and Planning; Example: Sleep Abduction; Postdiction; Model Finding; Bibliographic Notes; Exercises; Part II Commonsense Phenomena; 3 The Effects of Events; Positive and Negative Effect Axioms; Example: Telephone; Effect Axiom Idioms; Preconditions; Fluent Preconditions; Action Preconditions; Example: Walking through a Door; State Constraints; Example: Telephone Revisited; Bibliographic Notes; Exercises; 4 The Triggering of Events Trigger AxiomsExample: Alarm Clock; Preventing Repeated Triggering; Example: Bank Account Service Fee; Triggered Fluents; Bibliographic Notes; Exercises; 5 The Commonsense Law of Inertia; Representation of the Commonsense Law of Inertia; Frame Problem; Classical Frame Axioms; Explanation Closure Axioms; Minimizing Event Occurrences; Introduction of Initiates Predicate; Minimizing Event Effects; Introduction of Terminates Predicate; Discussion; Representing Release from the Commonsense Law of Inertia; Example: Yale Shooting Scenario; Releasing from Inertia; Restoring Inertia Explanation Closure Axioms for ReleasedAtExample: Russian Turkey Scenario; Release Axioms; Bibliographic Notes; Exercises; 6 Indirect Effects of Events; Effect Axioms; Example: Carrying a Book; Discussion; Primitive and Derived Fluents; Example: Device; Release Axioms and State Constraints; Example: Carrying a Book Revisited; Effect Constraints; Example: Carrying a Book Revisited; Causal Constraints; Example: Thielscher's Circuit; Trigger Axioms; Example: Thielscher's Circuit with Delays; Example: Shanahan's Circuit with Delays; Bibliographic Notes; Exercises; 7 Continuous Change Trajectory Axioms |
Record Nr. | UNINA-9910822304903321 |
Mueller Erik T | ||
Amsterdam ; ; Boston, : Elsevier Morgan Kaufmann, c2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Data driven approach towards disruptive technologies : proceedings of MIDAS 2020 / / T. P. Singh [and four others] editors |
Pubbl/distr/stampa | Singapore : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (586 pages) |
Disciplina | 006.3 |
Collana | Studies in Autonomic, Data-driven and Industrial Computing |
Soggetto topico |
Artificial intelligence
Artificial intelligence - Mathematics Intel·ligència artificial |
Soggetto genere / forma |
Congressos
Llibres electrònics |
ISBN | 981-15-9873-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484814703321 |
Singapore : , : Springer, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Diagrammatic reasoning in AI [[electronic resource] /] / Robbie T. Nakatsu |
Autore | Nakatsu Robbie <1964-> |
Pubbl/distr/stampa | Hoboken, NJ, : Wiley, c2010 |
Descrizione fisica | 1 online resource (346 p.) |
Disciplina | 006.3 |
Soggetto topico |
Artificial intelligence - Graphic methods
Artificial intelligence - Mathematics Reasoning - Graphic methods |
ISBN | 0-470-40077-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | DIAGRAMMATIC REASONING IN AI; CONTENTS; PREFACE; ACKNOWLEDGMENTS; CHAPTER 1 INTRODUCTION: WORKING AROUND THE LIMITATIONS OF AI; CHAPTER 2 MENTAL MODELS: DIAGRAMS IN THE MIND'S EYE; CHAPTER 3 TYPES OF DIAGRAMS; CHAPTER 4 LOGIC REASONING WITH DIAGRAMS; CHAPTER 5 RULE-BASED EXPERT SYSTEMS; CHAPTER 6 RULE-BASED REASONING WITH DIAGRAMS; CHAPTER 7 MODEL-BASED REASONING; CHAPTER 8 INEXACT REASONING WITH CERTAINTY FACTORS AND BAYESIAN NETWORKS; CHAPTER 9 A FRAMEWORK FOR UNDERSTANDING DIAGRAMMATIC REASONING; INDEX |
Record Nr. | UNINA-9910140478503321 |
Nakatsu Robbie <1964-> | ||
Hoboken, NJ, : Wiley, c2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Diagrammatic reasoning in AI / / Robbie T. Nakatsu |
Autore | Nakatsu Robbie <1964-> |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Hoboken, NJ, : Wiley, c2010 |
Descrizione fisica | 1 online resource (346 p.) |
Disciplina | 006.3 |
Soggetto topico |
Artificial intelligence - Graphic methods
Artificial intelligence - Mathematics Reasoning - Graphic methods |
ISBN | 0-470-40077-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | DIAGRAMMATIC REASONING IN AI; CONTENTS; PREFACE; ACKNOWLEDGMENTS; CHAPTER 1 INTRODUCTION: WORKING AROUND THE LIMITATIONS OF AI; CHAPTER 2 MENTAL MODELS: DIAGRAMS IN THE MIND'S EYE; CHAPTER 3 TYPES OF DIAGRAMS; CHAPTER 4 LOGIC REASONING WITH DIAGRAMS; CHAPTER 5 RULE-BASED EXPERT SYSTEMS; CHAPTER 6 RULE-BASED REASONING WITH DIAGRAMS; CHAPTER 7 MODEL-BASED REASONING; CHAPTER 8 INEXACT REASONING WITH CERTAINTY FACTORS AND BAYESIAN NETWORKS; CHAPTER 9 A FRAMEWORK FOR UNDERSTANDING DIAGRAMMATIC REASONING; INDEX |
Record Nr. | UNINA-9910820653403321 |
Nakatsu Robbie <1964-> | ||
Hoboken, NJ, : Wiley, c2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Intelligent computer mathematics : 15th international conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, proceedings / / Kevin Buzzard, Temur Kutsia (editors) |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (355 pages) |
Disciplina | 006.3 |
Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
Soggetto topico | Artificial intelligence - Mathematics |
ISBN | 3-031-16681-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996490362203316 |
Cham, Switzerland : , : Springer, , [2022] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Intelligent computer mathematics : 15th international conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, proceedings / / Kevin Buzzard, Temur Kutsia (editors) |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (355 pages) |
Disciplina | 006.3 |
Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
Soggetto topico | Artificial intelligence - Mathematics |
ISBN | 3-031-16681-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910595044003321 |
Cham, Switzerland : , : Springer, , [2022] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Markov decision processes in artificial intelligence : MDPs, beyond MDPs and applications / / edited by Olivier Sigaud, Olivier Buffet |
Autore | Sigaud Olivier |
Pubbl/distr/stampa | London, : ISTE, [2010] |
Descrizione fisica | 1 online resource (457 pages) |
Disciplina |
006.301/509233
006.301509233 006.33 |
Altri autori (Persone) |
SigaudOlivier
BuffetOlivier |
Soggetto topico |
Artificial intelligence - Mathematics
Artificial intelligence - Statistical methods Markov processes Statistical decision |
ISBN |
1-118-62010-0
1-118-55742-5 1-299-31547-X 1-118-61987-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. 1. MDPs : models and methods -- pt. 2. Beyond MDPs -- pt. 3. Applications. |
Record Nr. | UNINA-9910139245403321 |
Sigaud Olivier | ||
London, : ISTE, [2010] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Markov decision processes in artificial intelligence : MDPs, beyond MDPs and applications / / edited by Olivier Sigaud, Olivier Buffet |
Autore | Sigaud Olivier |
Pubbl/distr/stampa | London, : ISTE, [2010] |
Descrizione fisica | 1 online resource (457 pages) |
Disciplina |
006.301/509233
006.301509233 006.33 |
Altri autori (Persone) |
SigaudOlivier
BuffetOlivier |
Soggetto topico |
Artificial intelligence - Mathematics
Artificial intelligence - Statistical methods Markov processes Statistical decision |
ISBN |
1-118-62010-0
1-118-55742-5 1-299-31547-X 1-118-61987-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. 1. MDPs : models and methods -- pt. 2. Beyond MDPs -- pt. 3. Applications. |
Record Nr. | UNISA-996205320003316 |
Sigaud Olivier | ||
London, : ISTE, [2010] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|