Challenges for action theories
A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of compu...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science. Lecture notes in artificial intelligence
1775 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Challenges for action theories, Michael Thielscher, 2000, New York, Springer, 1 vol. (XIV-138 p.), Lecture notes in computer science, 3-540-67455-1 • Challenges for Action Theories, Texte imprimé, 9783662209493 |
| LEADER | 03169nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 949236 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155223488 | ||
| 020 | |a 9783540455967 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 004.21 | ||
| 100 | 1 | |a Thielscher, Michael. | |
| 245 | 1 | 0 | |a Challenges for action theories |c Michael Thielscher. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 1775 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Foundations of Action Theories -- The Ramification Problem -- The Qualification Problem -- Qualified Ramifications. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revolution has not yet happened. In this book the author offers a convincing solution to the ramification problem and qualification problem associated with the frame problem and thus contributes to a satisfactory solution of the core problem and related challenges. Thielscher bases his approach on the fluent calculus, a first-order Prolog-like formalism allowing for the description of actions and change. | ||
| 650 | |a Informatique | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Systèmes, Conception de | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Logique informatique | ||
| 776 | 0 | |0 051581531 |t Challenges for action theories |f Michael Thielscher |d 2000 |c New York |n Springer |p 1 vol. (XIV-138 p.) |s Lecture notes in computer science |z 3-540-67455-1 | |
| 776 | 0 | |t Challenges for Action Theories |b Texte imprimé |z 9783662209493 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45596-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-8GF378MT-C |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748060510 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45596-5 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751512036 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45596-5 |z Accès INSA CVL | |
| 997 | |0 949236 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||