Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Commonsense reasoning [[electronic resource] /] / Erik T. Mueller
| 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
| 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 | ||
| ||
Data driven approach towards disruptive technologies : proceedings of MIDAS 2020 / / T. P. Singh [and four others] editors
| 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
| 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
| 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)
| 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)
| 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
| 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
| 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 | ||
| ||
Markov decision processes in artificial intelligence : MDPs, beyond MDPs and applications / / edited by Olivier Sigaud, Olivier Buffet
| 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-9910830115603321 |
|
Sigaud Olivier
|
||
| London, : ISTE, [2010] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
