A Computational Framework for Procedural Abduction Done by Smart Cyber-Physical Systems
To be able to provide appropriate services in social and human application contexts, smart cyber-physical systems (S-CPSs) need ampliative reasoning and decision-making (ARDM) mechanisms. As one option, procedural abduction (PA) is suggested for self-managing S-CPSs. PA is a knowledge-based computat...
Uloženo v:
| Vydáno v: | Designs Ročník 3; číslo 1; s. 1 |
|---|---|
| Hlavní autor: | |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Basel
MDPI AG
01.03.2019
|
| Témata: | |
| ISSN: | 2411-9660, 2411-9660 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | To be able to provide appropriate services in social and human application contexts, smart cyber-physical systems (S-CPSs) need ampliative reasoning and decision-making (ARDM) mechanisms. As one option, procedural abduction (PA) is suggested for self-managing S-CPSs. PA is a knowledge-based computation and learning mechanism. The objective of this article is to provide a comprehensive description of the computational framework proposed for PA. Towards this end, first the essence of smart cyber-physical systems is discussed. Then, the main recent research results related to computational abduction and ampliative reasoning are discussed. PA facilitates beliefs-driven contemplation of the momentary performance of S-CPSs, including a ‘best option’-based setting of the servicing objective and realization of any demanded adaptation. The computational framework of PA includes eight clusters of computational activities: (i) run-time extraction of signals and data by sensing, (ii) recognition of events, (iii) inferring about existing situations, (iv) building awareness of the state and circumstances of operation, (v) devising alternative performance enhancement strategies, (vi) deciding on the best system adaptation, (vii) devising and scheduling the implied interventions, and (viii) actuating effectors and controls. Several cognitive algorithms and computational actions are used to implement PA in a compositional manner. PA necessitates not only a synergic interoperation of the algorithms, but also an objective-dependent fusion of the pre-programmed and the run time acquired chunks of knowledge. A fully fledged implementation of PA is underway, which will make verification and validation possible in the context of various smart CPSs. |
|---|---|
| AbstractList | To be able to provide appropriate services in social and human application contexts, smart cyber-physical systems (S-CPSs) need ampliative reasoning and decision-making (ARDM) mechanisms. As one option, procedural abduction (PA) is suggested for self-managing S-CPSs. PA is a knowledge-based computation and learning mechanism. The objective of this article is to provide a comprehensive description of the computational framework proposed for PA. Towards this end, first the essence of smart cyber-physical systems is discussed. Then, the main recent research results related to computational abduction and ampliative reasoning are discussed. PA facilitates beliefs-driven contemplation of the momentary performance of S-CPSs, including a ‘best option’-based setting of the servicing objective and realization of any demanded adaptation. The computational framework of PA includes eight clusters of computational activities: (i) run-time extraction of signals and data by sensing, (ii) recognition of events, (iii) inferring about existing situations, (iv) building awareness of the state and circumstances of operation, (v) devising alternative performance enhancement strategies, (vi) deciding on the best system adaptation, (vii) devising and scheduling the implied interventions, and (viii) actuating effectors and controls. Several cognitive algorithms and computational actions are used to implement PA in a compositional manner. PA necessitates not only a synergic interoperation of the algorithms, but also an objective-dependent fusion of the pre-programmed and the run time acquired chunks of knowledge. A fully fledged implementation of PA is underway, which will make verification and validation possible in the context of various smart CPSs. |
| Author | Horváth, Imre |
| Author_xml | – sequence: 1 givenname: Imre orcidid: 0000-0002-6008-0570 surname: Horváth fullname: Horváth, Imre |
| BookMark | eNp1kd1LwzAUxYNMcM69-lzwuTMfTZo-jup0MHAwxceQJunsbJeZtEj_ezOroIJPN9z8zrmHe8_BaG_3BoBLBGeEZPBaG19t955ABCFEJ2CME4TijDE4-vE-A1Pvd4HABCWckjF4nke5bQ5dK9vK7mUdLZxszLt1r1FpXbR2VhndufAxL3SnjlB0E0ZHRR9tGunaKO8L4-L1S-8rFbBN71vT-AtwWsram-lXnYCnxe1jfh-vHu6W-XwVK8w5irExKZGQl6wMqdJSIs0UpSaVBcUUo6KkWYog1VrjREKpM8oNIkZRqAnFkEzAcvDVVu7EwVUhUy-srMRnw7qtCCErVRuhlZRcFjhDDCeUptwUiENS6oIhRFMSvK4Gr4Ozb53xrdjZzoWleIFpwgkjjOFAJQOlnPXemVKoathe62RVCwTF8SLi90WCbPZH9h32H8EHXo-QEw |
| CitedBy_id | crossref_primary_10_1017_S0890060421000159 crossref_primary_10_1017_S0890060421000068 crossref_primary_10_3390_designs4040047 |
| Cites_doi | 10.1007/978-3-319-05624-1 10.1115/DETC2018-85107 10.3166/jancl.17.423-475 10.1038/nature14539 10.1007/978-3-319-42559-7_24 10.1109/JPROC.2011.2161529 10.1109/JPROC.2006.890107 10.1007/1-4020-3907-7 10.1631/FITEE.1601235 10.1007/s11225-010-9280-4 10.1631/FITEE.1600997 10.1016/S0304-3975(96)00179-X 10.1007/978-3-319-40022-8 10.1016/j.arcontrol.2013.03.003 10.1109/JPROC.2015.2510366 10.1007/s11787-006-0012-5 10.1016/j.engappai.2016.01.021 10.1016/j.compind.2008.12.005 10.1007/s13042-011-0019-y 10.1007/s11229-011-0007-5 10.1007/s10699-012-9293-8 10.1115/DETC2012-71156 10.1146/annurev.psych.50.1.109 10.1016/j.jcss.2009.12.001 10.1007/3-540-56979-0_13 10.1109/TNSRE.2016.2591183 10.1209/epl/i2000-00208-x 10.1016/S0167-8655(99)00088-4 10.1109/INDIN.2013.6622916 10.1287/serv.2.1_2.21 10.1017/S0950563600001901 10.1115/DETC2017-67082 10.1016/S0950-5849(02)00187-8 10.1016/j.artint.2009.10.003 10.1007/978-94-017-0606-3_4 10.1016/j.future.2015.10.019 10.1109/SKG.2010.7 10.1109/3477.499793 10.1016/j.compind.2015.08.004 10.1109/ICE.2017.8279879 10.1016/0004-3702(91)90005-5 10.1016/j.procs.2015.08.264 10.1109/MIS.2013.20 10.1007/978-94-010-0550-0_3 10.1109/JPROC.2011.2167449 10.1016/j.micpro.2015.08.013 10.1111/1468-0017.00232 10.1007/BF03037531 10.1007/978-3-319-54825-8 10.1145/2304736.2304759 10.1007/978-3-319-25141-7_4 10.1016/j.cogsys.2016.09.006 10.1145/2899006 10.1016/j.ijar.2003.08.008 10.1016/0004-3702(94)00025-V 10.1007/978-3-642-57799-4_3 |
| ContentType | Journal Article |
| Copyright | 2018 by the author. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
| Copyright_xml | – notice: 2018 by the author. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
| DBID | AAYXX CITATION 8FE 8FG ABJCF ABUWG AFKRA AZQEC BENPR BGLVJ CCPQU DWQXO HCIFZ L6V M7S PHGZM PHGZT PIMPY PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS DOA |
| DOI | 10.3390/designs3010001 |
| DatabaseName | CrossRef ProQuest SciTech Collection ProQuest Technology Collection Materials Science & Engineering Collection ProQuest Central (Alumni) ProQuest Central UK/Ireland ProQuest Central Essentials ProQuest Central Technology collection ProQuest One Community College ProQuest Central SciTech Premium Collection ProQuest Engineering Collection Engineering Database ProQuest Central Premium ProQuest One Academic Publicly Available Content Database ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection DOAJ Directory of Open Access Journals |
| DatabaseTitle | CrossRef Publicly Available Content Database Engineering Database Technology Collection ProQuest One Academic Middle East (New) ProQuest Central Essentials ProQuest One Academic Eastern Edition ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Technology Collection ProQuest SciTech Collection ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest One Academic UKI Edition ProQuest Central Korea Materials Science & Engineering Collection ProQuest Central (New) ProQuest One Academic ProQuest One Academic (New) Engineering Collection |
| DatabaseTitleList | Publicly Available Content Database CrossRef |
| Database_xml | – sequence: 1 dbid: DOA name: Directory of Open Access Journals url: https://www.doaj.org/ sourceTypes: Open Website – sequence: 2 dbid: PIMPY name: Publicly Available Content Database url: http://search.proquest.com/publiccontent sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISSN | 2411-9660 |
| ExternalDocumentID | oai_doaj_org_article_dcaa8ab2916245578eb1803fdb611573 10_3390_designs3010001 |
| GroupedDBID | 8FE 8FG AADQD AAFWJ AAYXX ABJCF ADBBV AFFHD AFKRA AFPKN AFZYC ALMA_UNASSIGNED_HOLDINGS BCNDV BENPR BGLVJ CCPQU CITATION GROUPED_DOAJ HCIFZ IAO L6V M7S MODMG M~E OK1 PHGZM PHGZT PIMPY PQGLB PROAC PTHSS ABUWG AZQEC DWQXO PKEHL PQEST PQQKQ PQUKI PRINS |
| ID | FETCH-LOGICAL-c2881-2ee73a08f6f0007fa1d6c55e7ab52521bf597105ddd24a0ad958e13ec50d35203 |
| IEDL.DBID | BENPR |
| ISSN | 2411-9660 |
| IngestDate | Fri Oct 03 12:52:57 EDT 2025 Fri Jul 25 11:54:11 EDT 2025 Sat Nov 29 07:08:43 EST 2025 Tue Nov 18 22:24:35 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c2881-2ee73a08f6f0007fa1d6c55e7ab52521bf597105ddd24a0ad958e13ec50d35203 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ORCID | 0000-0002-6008-0570 |
| OpenAccessLink | https://www.proquest.com/docview/2548363662?pq-origsite=%requestingapplication% |
| PQID | 2548363662 |
| PQPubID | 2055418 |
| ParticipantIDs | doaj_primary_oai_doaj_org_article_dcaa8ab2916245578eb1803fdb611573 proquest_journals_2548363662 crossref_citationtrail_10_3390_designs3010001 crossref_primary_10_3390_designs3010001 |
| PublicationCentury | 2000 |
| PublicationDate | 2019-03-01 |
| PublicationDateYYYYMMDD | 2019-03-01 |
| PublicationDate_xml | – month: 03 year: 2019 text: 2019-03-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | Basel |
| PublicationPlace_xml | – name: Basel |
| PublicationTitle | Designs |
| PublicationYear | 2019 |
| Publisher | MDPI AG |
| Publisher_xml | – name: MDPI AG |
| References | Barile (ref_17) 2010; 2 Reed (ref_27) 2017; 41 ref_14 ref_13 Gottlob (ref_56) 2010; 174 ref_57 ref_11 ref_10 ref_54 ref_52 Yue (ref_12) 2015; 39 ref_19 Stankovic (ref_20) 2016; 1 ref_18 Moral (ref_58) 1999; 20 Boutilier (ref_61) 1995; 77 ref_15 Larvor (ref_40) 2011; 187 ref_59 Poovendran (ref_2) 2012; 100 Tani (ref_24) 1996; 26 Sheth (ref_9) 2013; 28 Oaksford (ref_66) 2003; 18 Hartung (ref_42) 2015; 60 Batens (ref_50) 2007; 1 ref_60 ref_25 Sztipanovits (ref_5) 2012; 100 ref_23 ref_67 Li (ref_83) 2016; 51 ref_63 ref_62 Marfori (ref_41) 2010; 96 Kakas (ref_68) 2000; 18 Meyer (ref_29) 2009; 60 Pourtalebi (ref_78) 2017; 18 ref_72 ref_71 Pease (ref_86) 2011; 20 Rho (ref_3) 2016; 56 ref_70 (ref_76) 2018; 49 Pourtalebi (ref_77) 2016; 17 MacKay (ref_1) 1951; 1 ref_36 LeCun (ref_35) 2015; 521 ref_79 ref_34 Bylander (ref_69) 1991; 49 Tripakis (ref_87) 2016; 104 ref_33 Huang (ref_37) 2011; 2 ref_32 ref_31 ref_75 Sobhrajan (ref_22) 2014; 5 ref_30 ref_74 Juuso (ref_16) 2004; 35 ref_73 Hermann (ref_53) 2010; 76 Eiter (ref_55) 1997; 189 Gauderis (ref_51) 2013; 18 Li (ref_81) 2017; 17 ref_82 ref_80 Finocchiaro (ref_38) 1981; 18 Gabbay (ref_65) 2002; Volume 1 ref_47 ref_46 ref_44 ref_88 Colombo (ref_21) 2016; 81 ref_85 Li (ref_84) 2017; 25 (ref_43) 1999; 50 Sigman (ref_39) 2003; 45 (ref_64) 2007; 95 McFarlane (ref_28) 2013; 37 Hintikka (ref_45) 1998; 34 ref_49 ref_48 ref_8 ref_4 ref_7 ref_6 Jamroga (ref_26) 2007; 17 |
| References_xml | – ident: ref_49 – ident: ref_32 – ident: ref_80 – volume: 5 start-page: 466 year: 2014 ident: ref_22 article-title: Comparative study of abstraction in cyber physical system publication-title: Int. J. Comput. Sci. Inf. Technol. – ident: ref_11 doi: 10.1007/978-3-319-05624-1 – volume: 18 start-page: 13 year: 1981 ident: ref_38 article-title: Fallacies and the evaluation of reasoning publication-title: Am. Philos. Q. – ident: ref_75 doi: 10.1115/DETC2018-85107 – volume: 17 start-page: 423 year: 2007 ident: ref_26 article-title: Constructive knowledge: What agents can achieve under imperfect information publication-title: J. Appl. Non-Class. Log. doi: 10.3166/jancl.17.423-475 – volume: 521 start-page: 436 year: 2015 ident: ref_35 article-title: Deep learning publication-title: Nature doi: 10.1038/nature14539 – volume: 20 start-page: 7 year: 2011 ident: ref_86 article-title: Five theories of reasoning: Interconnections and applications to mathematics publication-title: Logic Log. Philos. – ident: ref_15 doi: 10.1007/978-3-319-42559-7_24 – ident: ref_23 – ident: ref_71 – volume: 100 start-page: 29 year: 2012 ident: ref_5 article-title: Toward a science of cyber–physical system integration publication-title: Proc. IEEE doi: 10.1109/JPROC.2011.2161529 – volume: Volume 1 start-page: 445 year: 2002 ident: ref_65 article-title: Formal approaches to practical reasoning: A survey publication-title: Handbook of the Logic of Argument and Inference: The Turn Towards the Practical – volume: 95 start-page: 467 year: 2007 ident: ref_64 article-title: Quo vadis, SLD? Reasoning about the trends and challenges of system level design publication-title: Proc. IEEE doi: 10.1109/JPROC.2006.890107 – ident: ref_47 doi: 10.1007/1-4020-3907-7 – ident: ref_4 – ident: ref_31 – ident: ref_52 – volume: 34 start-page: 503 year: 1998 ident: ref_45 article-title: What is abduction? The fundamental problem of contemporary epistemology publication-title: Trans. Charles S. Peirce Soc. – volume: 18 start-page: 1396 year: 2017 ident: ref_78 article-title: Information schema constructs for instantiation and composition of system manifestation features publication-title: Front. Inf. Technol. Electron. Eng. doi: 10.1631/FITEE.1601235 – volume: 17 start-page: 011007-1-12 year: 2017 ident: ref_81 article-title: Dynamic computation of time-varying spatial contexts publication-title: J. Comput. Inf. Sci. Eng. – volume: 96 start-page: 261 year: 2010 ident: ref_41 article-title: Informal proofs and mathematical rigour publication-title: Stud. Log. doi: 10.1007/s11225-010-9280-4 – volume: 17 start-page: 862 year: 2016 ident: ref_77 article-title: Information schema constructs for defining warehouse databases of genotypes and phenotypes of system manifestation features publication-title: Front. Inf. Technol. Electron. Eng. doi: 10.1631/FITEE.1600997 – volume: 189 start-page: 129 year: 1997 ident: ref_55 article-title: Abduction from logic programs: Semantics and complexity publication-title: Theor. Comput. Sci. doi: 10.1016/S0304-3975(96)00179-X – ident: ref_30 doi: 10.1007/978-3-319-40022-8 – ident: ref_62 – volume: 37 start-page: 69 year: 2013 ident: ref_28 article-title: Product intelligence in industrial control: Theory and practice publication-title: Annu. Rev. Control doi: 10.1016/j.arcontrol.2013.03.003 – volume: 104 start-page: 960 year: 2016 ident: ref_87 article-title: Compositionality in the science of system design publication-title: Proc. IEEE doi: 10.1109/JPROC.2015.2510366 – ident: ref_72 – volume: 1 start-page: 221 year: 2007 ident: ref_50 article-title: A universal logic approach to adaptive logics publication-title: Log. Univers. doi: 10.1007/s11787-006-0012-5 – volume: 51 start-page: 182 year: 2016 ident: ref_83 article-title: Development of engagement evaluation method and learning mechanism in an engagement enhancing rehabilitation system publication-title: Eng. Appl. Artif. Intell. doi: 10.1016/j.engappai.2016.01.021 – volume: 60 start-page: 137 year: 2009 ident: ref_29 article-title: Intelligent products: A survey publication-title: Comput. Ind. doi: 10.1016/j.compind.2008.12.005 – volume: 2 start-page: 107 year: 2011 ident: ref_37 article-title: Extreme learning machines: A survey publication-title: Int. J. Mach. Learn. Cybern. doi: 10.1007/s13042-011-0019-y – ident: ref_7 – volume: 187 start-page: 715 year: 2011 ident: ref_40 article-title: How to think about informal proofs publication-title: Synthese doi: 10.1007/s11229-011-0007-5 – volume: 18 start-page: 611 year: 2013 ident: ref_51 article-title: Modelling abduction in science by means of a modal adaptive logic publication-title: Found. Sci. doi: 10.1007/s10699-012-9293-8 – ident: ref_13 doi: 10.1115/DETC2012-71156 – ident: ref_34 – volume: 50 start-page: 109 year: 1999 ident: ref_43 article-title: Deductive reasoning publication-title: Annu. Rev. Psychol. doi: 10.1146/annurev.psych.50.1.109 – volume: 76 start-page: 634 year: 2010 ident: ref_53 article-title: Counting complexity of propositional abduction publication-title: J. Comput. Syst. Sci. doi: 10.1016/j.jcss.2009.12.001 – ident: ref_60 doi: 10.1007/3-540-56979-0_13 – ident: ref_82 – volume: 25 start-page: 726 year: 2017 ident: ref_84 article-title: Implementation and validation of engagement monitoring in an engagement enhancing rehabilitation system publication-title: IEEE Trans. Neural Syst. Rehabil. Eng. doi: 10.1109/TNSRE.2016.2591183 – ident: ref_85 doi: 10.1209/epl/i2000-00208-x – volume: 20 start-page: 1211 year: 1999 ident: ref_58 article-title: Partial abductive inference in Bayesian belief networks using a genetic algorithm publication-title: Pattern Recognit. Lett. doi: 10.1016/S0167-8655(99)00088-4 – ident: ref_67 – ident: ref_14 doi: 10.1109/INDIN.2013.6622916 – volume: 2 start-page: 21 year: 2010 ident: ref_17 article-title: Smart service systems and viable service systems: Applying systems theory to service science publication-title: Serv. Sci. doi: 10.1287/serv.2.1_2.21 – ident: ref_63 – ident: ref_44 – volume: 1 start-page: 164 year: 1951 ident: ref_1 article-title: Mind-like behaviour in artefacts publication-title: Bull. Br. Soc. Hist. Sci. doi: 10.1017/S0950563600001901 – ident: ref_8 doi: 10.1115/DETC2017-67082 – volume: 45 start-page: 113 year: 2003 ident: ref_39 article-title: A computational argumentation methodology for capturing and analyzing design rationale arising from multiple perspectives publication-title: Inf. Softw. Technol. doi: 10.1016/S0950-5849(02)00187-8 – volume: 174 start-page: 105 year: 2010 ident: ref_56 article-title: Bounded treewidth as a key to tractability of knowledge representation and reasoning publication-title: Artif. Intell. doi: 10.1016/j.artint.2009.10.003 – ident: ref_59 doi: 10.1007/978-94-017-0606-3_4 – ident: ref_73 – volume: 56 start-page: 436 year: 2016 ident: ref_3 article-title: Cyber physical systems technologies and applications publication-title: Future Gener. Comput. Syst. doi: 10.1016/j.future.2015.10.019 – ident: ref_79 – ident: ref_18 doi: 10.1109/SKG.2010.7 – ident: ref_6 – volume: 26 start-page: 421 year: 1996 ident: ref_24 article-title: Model-based learning for mobile robot navigation from the dynamical systems perspective publication-title: IEEE Trans. Syst. Man Cybern. Part B Cybern. doi: 10.1109/3477.499793 – volume: 81 start-page: 11 year: 2016 ident: ref_21 article-title: Industrial automation based on cyber-physical systems technologies: Prototype implementations and challenges publication-title: Comput. Ind. doi: 10.1016/j.compind.2015.08.004 – ident: ref_25 – ident: ref_54 – ident: ref_74 doi: 10.1109/ICE.2017.8279879 – volume: 49 start-page: 25 year: 1991 ident: ref_69 article-title: The computational complexity of abduction publication-title: Artif. Intell. doi: 10.1016/0004-3702(91)90005-5 – ident: ref_46 – volume: 60 start-page: 1575 year: 2015 ident: ref_42 article-title: Reasoning strategies in smart cyber-physical systems publication-title: Procedia Comput. Sci. doi: 10.1016/j.procs.2015.08.264 – volume: 28 start-page: 79 year: 2013 ident: ref_9 article-title: Physical-cyber-social computing: An early 21st century approach publication-title: IEEE Intell. Syst. doi: 10.1109/MIS.2013.20 – ident: ref_48 doi: 10.1007/978-94-010-0550-0_3 – volume: 100 start-page: 6 year: 2012 ident: ref_2 article-title: Special issue on cyber-physical systems publication-title: Proc. IEEE doi: 10.1109/JPROC.2011.2167449 – volume: 39 start-page: 1262 year: 2015 ident: ref_12 article-title: Cloud-assisted industrial cyber-physical systems: An insight publication-title: Microprocess. Microsyst. doi: 10.1016/j.micpro.2015.08.013 – volume: 18 start-page: 359 year: 2003 ident: ref_66 article-title: Conditional probability and the cognitive science of conditional reasoning publication-title: Mind Lang. doi: 10.1111/1468-0017.00232 – volume: 18 start-page: 243 year: 2000 ident: ref_68 article-title: Abductive concept learning publication-title: New Gener. Comput. doi: 10.1007/BF03037531 – volume: 49 start-page: 145 year: 2018 ident: ref_76 article-title: A Review of the Principles of Designing Smart Cyber-Physical Systems for Run-Time Adaptation: Learned Lessons and Open Issues publication-title: IEEE Trans. Syst. Man Cybern. Syst. – ident: ref_19 doi: 10.1007/978-3-319-54825-8 – ident: ref_88 doi: 10.1145/2304736.2304759 – ident: ref_10 doi: 10.1007/978-3-319-25141-7_4 – ident: ref_36 – ident: ref_70 – volume: 41 start-page: 56 year: 2017 ident: ref_27 article-title: Reasoning from imperfect knowledge publication-title: Cogn. Syst. Res. doi: 10.1016/j.cogsys.2016.09.006 – volume: 1 start-page: 1 year: 2016 ident: ref_20 article-title: Research directions for cyber physical systems in wireless and mobile healthcare publication-title: ACM Trans. Cyber-Phys. Syst. doi: 10.1145/2899006 – ident: ref_57 – volume: 35 start-page: 307 year: 2004 ident: ref_16 article-title: Integration of intelligent systems in development of smart adaptive systems publication-title: Int. J. Approx. Reason. doi: 10.1016/j.ijar.2003.08.008 – volume: 77 start-page: 43 year: 1995 ident: ref_61 article-title: Abduction as belief revision publication-title: Artif. Intell. doi: 10.1016/0004-3702(94)00025-V – ident: ref_33 doi: 10.1007/978-3-642-57799-4_3 |
| SSID | ssj0002314853 |
| Score | 2.0953329 |
| Snippet | To be able to provide appropriate services in social and human application contexts, smart cyber-physical systems (S-CPSs) need ampliative reasoning and... |
| SourceID | doaj proquest crossref |
| SourceType | Open Website Aggregation Database Enrichment Source Index Database |
| StartPage | 1 |
| SubjectTerms | Adaptation Algorithms ampliative reasoning mechanism Cognition & reasoning computational functions Cyber-physical systems data-driven system control Decision making Engineering human/socially-centered applications Intelligence Knowledge acquisition Performance enhancement procedural abduction Reasoning Run time (computers) run-time acquired data Self awareness self-adaptation capability self-generated intelligence smart cyber-physical systems Software |
| SummonAdditionalLinks | – databaseName: DOAJ Directory of Open Access Journals dbid: DOA link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV1LSwMxEA4iHvQgPrFaJQfB09JtssnOHmu1eJBS8NXbkmyyoGiVtgr9904eLS0iXrzuZsnuzOzM94XhG0LOawVCaaSpeWo4EhSeJQBVmmDp56ZSAIWfPPd4m_f7MBwWg6VRX64nLMgDB8O18AEFSjOEMSwTGF-YXCDltdHS6cR4nU9EPUtk6sWLuCDMFzyoNHLk9S3jGyImGM8O1qxUIS_W_yMX-wLT2yHbERnSTnijXbJmR3tka0kvcJ88dWiYwhBP8Ghv3lpFEXtS3_RvnI4G7WgTZGHp1fvIUj2jd2_4rbQ703acDKJzaNQrPyAPvev77k0SJyMkFQNoJ8zanKsUalm7Il-rtpGVEDZXWjAsyLpGnoDIyRjDMpUqUwiwbW4rgR4RLOWHZH2E2x8RKoEZzHqq0FpludWKM0QpMmsbgbdAN0gyt1RZRdlwN73itUT64Cxbrlq2QS4W6z-CYMavKy-d4RernNC1v4DuL6P7y7_c3yDNudvK-PdNSiS9wCWXkh3_xx4nZBNhUhE6z5pkfTr-tKdko_qaPk_GZz7wvgHwxNyp priority: 102 providerName: Directory of Open Access Journals |
| Title | A Computational Framework for Procedural Abduction Done by Smart Cyber-Physical Systems |
| URI | https://www.proquest.com/docview/2548363662 https://doaj.org/article/dcaa8ab2916245578eb1803fdb611573 |
| Volume | 3 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAON databaseName: Directory of Open Access Journals customDbUrl: eissn: 2411-9660 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0002314853 issn: 2411-9660 databaseCode: DOA dateStart: 20170101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 2411-9660 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0002314853 issn: 2411-9660 databaseCode: M~E dateStart: 20170101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 2411-9660 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0002314853 issn: 2411-9660 databaseCode: M7S dateStart: 20170901 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 2411-9660 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0002314853 issn: 2411-9660 databaseCode: BENPR dateStart: 20170901 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: Publicly Available Content Database customDbUrl: eissn: 2411-9660 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0002314853 issn: 2411-9660 databaseCode: PIMPY dateStart: 20170901 isFulltext: true titleUrlDefault: http://search.proquest.com/publiccontent providerName: ProQuest |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LT8MwDLZg4wAH3ojxmHJA4lStS5o2PaHxmECCqeLNqUqaFCHBNraBtH-P02YDhODCtYnUqp9jf3bdzwB7uRRcKkxTI18zTFBY4AmR-R6GfqYzKURcTJ67PY86HXF_Hyeu4DZ0bZUTn1g4at3LbI28gYmMYCELQ3rQf_Xs1Cj7ddWN0JiFqlUqCypQPTzpJJfTKguylwADUqnWyDC_b-iiMWKIdm3pzbdoVIj2__DJRaBpL_33EZdh0VFM0iptYgVmTHcVFr4ID67BXYuU4xxcKZC0Jz1aBEksKf4e0FaQg7SULvVlyXGva4gak6sXtDZyNFZm4CUOZeKEz9fhpn1yfXTquRELXkaFaHrUmIhJX-RhbtlCLps6zDg3kVScYmRXOSYcSMG01jSQvtQxF6bJTMYRWk59tgGVLt5-E0goqEb3KWOlZBAZJRlFuhMGTc1xSagaeJNXnWZOf9yOwXhOMQ-x0KTfoanB_nR_v1Te-HXnoUVuussqZhcXeoPH1B3AFA1PCqko0mEacPRTGKSEz3KtQqs3xGqwMwE1dcd4mH4iuvX38jbMI5OKy-a0HaiMBm9mF-ay99HTcFB3VlkvEv66bS-9wmvJ2UXy8AHtt_AP |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3PT9swFH6CMgl2YL9AdLDNh02coqZ2nDgHhAqsoqJUkVY2dgp27CCkrS0pG-o_xd_Ic-J0q6bt1sOusZUo8ef3fc-xvwfwPpeCS4VpauRrhgkKCzwhMt9D6mc6k0LEZeW5z_1oMBCXl3GyAg_1WRi7rbKOiWWg1uPMrpG3MJERLGRhSA8nt56tGmX_rtYlNCpYnJnZPaZs04PeCY7vB0q7H4fHp56rKuBlVIi2R42JmPRFHuaWIHPZ1mHGuYmk4hTJTOWosVF1aK1pIH2pYy5Mm5mM49tw6jO87yqsBQh20YC1pHeefJ2v6qBaCpAAK3dIxmK_pcuNGFOcR1ZOLbBfWSTgDw4oia377H_7JM9h00lo0qkw_wJWzOglPP3NWPEVfOmQqlyFW-ok3XoPGkGRTsrTEdoajpCO0pV_LjkZjwxRM_LpO84mcjxTpvASh2LijN234GIpb7YNjRE-fgdIKKhGepCxUjKIjJKMopwLg7bm2CRUE7x6aNPM-avbMh_fUsyzLBTSRSg0YX_ef1I5i_y155FFyryXdQQvL4yL69QFmBQnlhRSUZT7NOAYh5GEhc9yrULrp8SasFeDKHVhapr-QtDrfze_g_XT4Xk_7fcGZ7uwgaoxrjbi7UHjrvhh3sCT7OfdzbR462YEgatlI-4RXCRIRg |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1BT9swFH5iMKFxGAyY1g02H0CcoqZ2nDgHNHWUalVRVQm29ZbZsYOQtpYlsKl_bb-OZ8fpViF247BrYrVK8r33fc95-R7AQSEFlwrL1CTUDAsUFgVC5GGA1M90LoVI3eS5z2fJaCQmk3S8Ar-bb2FsW2WTE12i1rPc7pG3sZARLGZxTNuFb4sY9_rvr38EdoKUfdPajNOoITI0819YvlXHgx4-60NK-6cXJx8DP2EgyKkQnYAakzAZiiIuLFkWsqPjnHOTSMUpEpsqUG-jAtFa00iGUqdcmA4zOccr4zRk-LtPYC2JUCe4tsHzxf4O6qYIqbD2iWQsDdvatWRUGFFWWC3xoBsXcI8NHMX1N__nm7MFz72wJt06El7Aipluw8Zfdos78KVL6iEWfgOU9JvONILSnbhvJrS1ISFdpWtXXdKbTQ1Rc3L-HWOMnMyVKYOxxzbxdu-78OlRruwlrE7x718BiQXVSBoyVUpGiVGSURR5cdTRHE8J1YKgecxZ7l3X7fCPbxlWXxYW2TIsWnC0WH9d-408uPKDRc1ilfUJdwdm5WXm006G4SaFVBSLABpxzM5IzSJkhVaxdVliLdhrAJX55FVlf9D0-t-n38E6wiw7G4yGb-AZSsm07s7bg9Wb8tbsw9P8581VVb51oUHg62PD7Q5_tk-N |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+Computational+Framework+for+Procedural+Abduction+Done+by+Smart+Cyber-Physical+Systems&rft.jtitle=Designs&rft.au=Horv%C3%A1th%2C+Imre&rft.date=2019-03-01&rft.issn=2411-9660&rft.eissn=2411-9660&rft.volume=3&rft.issue=1&rft.spage=1&rft_id=info:doi/10.3390%2Fdesigns3010001&rft.externalDBID=n%2Fa&rft.externalDocID=10_3390_designs3010001 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2411-9660&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2411-9660&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2411-9660&client=summon |