RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors

doi:10.4018/jcini.2008040103

Reference Hub

This research has been cited in:

Conference
Design and Implementation of a Knowledge Base for Machine Knowledge Learning2018 IEEE 17th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCI-CC.2018.8482034
Chapter
In Search of Cognitive Foundations of CreativityEncyclopedia of Creativity, Invention, Innovation and Entrepreneurship10.1007/978-1-4614-3858-8_350
Conference
Analyzing medical contexts in ubiquitous computing home environments with denotational mathematics2014 IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing10.1109/ICCI-CC.2014.6921449
Conference
IEEE ICCI*CC Series in Year 20: Latest Advances in Cognitive Computing (Plenary Panel Report-II)2021 IEEE 20th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCICC53683.2021.9811336
Article
Integrating a cognitive computational model of planning and decision-making considering affective informationCognitive Systems Research10.1016/j.cogsys.2017.03.002
Conference
Use of Denotational Mathematics for the formal description of autonomous migration and polymorphism as prerequisites for mobility in home UbiHealth2015 IEEE 14th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCI-CC.2015.7259412
Conference
On the Cognitive Foundations of Autonomous Systems and General AI2021 IEEE 20th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCICC53683.2021.9811328
Article
On the cognitive process of human problem solvingCognitive Systems Research10.1016/j.cogsys.2008.08.003
Conference
On Visual Semantic Algebra (VSA) and the cognitive process of pattern recognition2008 7th IEEE International Conference on Cognitive Informatics10.1109/COGINF.2008.4639192
Conference
Perspectives on cognitive informatics and its future development: Summary of plenary panel II of IEEE ICCI'109th IEEE International Conference on Cognitive Informatics (ICCI'10)10.1109/COGINF.2010.5599693
Conference
Cognitive Informatics in Year 10 and Beyond: summary of the plenary panelIEEE 10th International Conference on Cognitive Informatics and Cognitive Computing (ICCI-CC'11)10.1109/COGINF.2011.6016117
Conference
A formal model inspired on human decision-making process2015 IEEE 14th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCI-CC.2015.7259413
Article
A computational knowledge representation model for cognitive computersNeural Computing and Applications10.1007/s00521-014-1614-0
Conference
A Cognitive Machine Learning System for Phrases Composition and Semantic Comprehension2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC)10.1109/SMC.2018.00013
Chapter
In Search of Cognitive Foundations of CreativityEncyclopedia of Creativity, Invention, Innovation and Entrepreneurship10.1007/978-3-319-15347-6_350
Conference
Perspectives on cognitive computing and applications: Summary of plenary Panel I of IEEE ICCI'109th IEEE International Conference on Cognitive Informatics (ICCI'10)10.1109/COGINF.2010.5599706
Conference
Cognitive robotics and mathematical engineering2015 IEEE 14th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCI-CC.2015.7259425
Conference
IEEE ICCI*CC Series in Year 20: Latest Advances in Cognitive Informatics and Cognitive Computing towards General AI (Plenary Panel Report-I)2021 IEEE 20th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCICC53683.2021.9811324
Article
A Proof of the Twin Prime Conjecture in the Ƥ x Ƥ SpaceWSEAS TRANSACTIONS ON MATHEMATICS10.37394/23206.2022.21.66
Chapter
Advances in the Fields of Cognitive Informatics and Cognitive ComputingAdvances in Cognitive Informatics and Cognitive Computing10.1007/978-3-642-16083-7_1
Conference
An Autonomous Semantic Learning Methodology for Fake News Recognition2021 IEEE International Conference on Autonomous Systems (ICAS)10.1109/ICAS49788.2021.9551115
Conference
Autonomous Software Requirement Specifications towards AI Programming2021 IEEE 20th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCICC53683.2021.9811311
Conference
Objects Detection and Recognition in Videos for Sequence Learning2019 IEEE 18th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCICC46617.2019.9146073
Conference
Towards a Methodology for RTPA-MATLAB Code Generation Based on Machine Learning Rules2018 IEEE 17th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCI-CC.2018.8482093
Conference
The cognitive processes of consciousness and attention2008 7th IEEE International Conference on Cognitive Informatics10.1109/COGINF.2008.4639148
Conference
Formal concept refinement by deep cognitive machine learning2017 IEEE 16th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCI-CC.2017.8109732
Conference
The cognitive processes of perceptions on spatiality, time, and motion2008 7th IEEE International Conference on Cognitive Informatics10.1109/COGINF.2008.4639174
Conference
Recent Advances in Cognitive Informatics and Cognitive Computing towards Autonomous Systems (Plenary Panel Report-II of IEEE ICCI*CC'22)2022 IEEE 21st International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCICC57084.2022.10101660
Conference
Dynamic Path Optimization for Robot Route Planning2019 IEEE 18th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCICC46617.2019.9146050
Conference
Sentence Comprehension and Semantic Syntheses by Cognitive Machine Learning2018 IEEE 17th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCI-CC.2018.8482024
Chapter
Cognitive Informatics and Denotational Mathematical Means for Brain InformaticsBrain Informatics10.1007/978-3-642-15314-3_2
Conference
Perspectives on Cognitive Informatics and Cognitive Computing: Summary of the Panel of IEEE ICCI'092009 8th IEEE International Conference on Cognitive Informatics10.1109/COGINF.2009.5250815
Conference
Cognitive Computing and machinable thought2009 8th IEEE International Conference on Cognitive Informatics10.1109/COGINF.2009.5250709
Article
Towards the abstract system theory of system science for cognitive and intelligent systemsComplex & Intelligent Systems10.1007/s40747-015-0001-5
Article
A Proof of Goldbach Conjecture by Mirror Prime DecompositionWSEAS TRANSACTIONS ON MATHEMATICS10.37394/23206.2022.21.63
Article
On the Frontiers of Software Science and Software EngineeringFrontiers in Computer Science10.3389/fcomp.2021.766053
Chapter
Perspectives on Denotational Mathematics: New Means of ThoughtTransactions on Computational Science II10.1007/978-3-540-87563-5_1
Conference
RTPA-based Software Generation by AI Programming2019 IEEE 18th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCICC46617.2019.9146036
Conference
On abstract intelligence and its denotational mathematics foundations2008 7th IEEE International Conference on Cognitive Informatics10.1109/COGINF.2008.4639146
Conference
Granular algebra for modeling granular systems and granular computing2009 8th IEEE International Conference on Cognitive Informatics10.1109/COGINF.2009.5250771
Chapter
On Contemporary Denotational Mathematics for Computational IntelligenceTransactions on Computational Science II10.1007/978-3-540-87563-5_2
Conference
Formal Software Requirement Elicitation based on Semantic Algebra and Cognitive Computing2020 IEEE 19th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCICC50026.2020.9450275
Article
COGNITIVE MECHANISMS OF THE MINDNew Mathematics and Natural Computation10.1142/S1793005713400097
Article
The odyssey to next-generation computers: cognitive computers (κC) inspired by the brain and powered by intelligent mathematicsFrontiers in Computer Science10.3389/fcomp.2023.1152592
Conference
On Abstract Sciences: From Data, Information, Knowledge to Intelligence Sciences2022 IEEE 21st International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCICC57084.2022.10101670
Conference
Cognitive computing and World Wide Wisdom (WWW+)9th IEEE International Conference on Cognitive Informatics (ICCI'10)10.1109/COGINF.2010.5599737
Conference
Formal Ontology Generation by deep machine learning2017 IEEE 16th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCI-CC.2017.8109723
Conference
Sequence Learning for Images Recognition in Videos with Differential Neural Networks2019 IEEE 18th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCICC46617.2019.9146103
Conference
The cognitive processes of analysis and synthesis in formal inferences2008 7th IEEE International Conference on Cognitive Informatics10.1109/COGINF.2008.4639172
Conference
Fuzzy inferences methodologies for cognitive informatics and computational intelligence2009 8th IEEE International Conference on Cognitive Informatics10.1109/COGINF.2009.5250736
Conference
On cognitive foundations of creativity and the cognitive process of creation2008 7th IEEE International Conference on Cognitive Informatics10.1109/COGINF.2008.4639157
Chapter
On Mathematical Laws of SoftwareTransactions on Computational Science II10.1007/978-3-540-87563-5_4
Conference
Recent Breakthroughs in Cognitive Informatics and Cognitive Computing towards Autonomous AI (Plenary Panel Report-I of IEEE ICCI*CC'22)2022 IEEE 21st International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCICC57084.2022.10101506
Conference
Building semantic hierarchies of formal concepts by deep cognitive machine learning2017 IEEE 16th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCI-CC.2017.8109729
Article
Special Issue on Cybernetics and Cognitive InformaticsIEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)10.1109/TSMCB.2009.2017294
Conference
A formal knowledge representation system for the cognitive learning engineIEEE 10th International Conference on Cognitive Informatics and Cognitive Computing (ICCI-CC'11)10.1109/COGINF.2011.6016118
Chapter
A Comparative Study of STOPA and RTPATransactions on Computational Science II10.1007/978-3-540-87563-5_13
Chapter
Formal Description of the Cognitive Process of MemorizationTransactions on Computational Science V10.1007/978-3-642-02097-1_5
Conference
The operational semantics of Concept Algebra for cognitive computing and machine learningIEEE 10th International Conference on Cognitive Informatics and Cognitive Computing (ICCI-CC'11)10.1109/COGINF.2011.6016121
Conference
A Cognitive Computing Methodology for Software Requirement Elicitation and Formal Specification2022 IEEE 21st International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCICC57084.2022.10101659
Article
Autonomous Agents and Ethical Decision-MakingCognitive Computation10.1007/s12559-015-9362-8
Article
The Formal Design Model of a Real-Time Operating System (RTOS+)International Journal of Software Science and Computational Intelligence10.4018/jssci.2010040106
Article
The Cognitive Mechanisms and Formal Models of ConsciousnessInternational Journal of Cognitive Informatics and Natural Intelligence10.4018/jcini.2012040102
Chapter
On Cognitive Foundations of Creativity and the Cognitive Process of CreationTransdisciplinary Advancements in Cognitive Mechanisms and Human Information Processing10.4018/978-1-60960-553-7.ch018
Chapter
The Formal Design Models of a Universal Array (UA) and its ImplementationAdvances in Abstract Intelligence and Soft Computing10.4018/978-1-4666-2651-5.ch017
Chapter
Perspectives on the Field of Cognitive Informatics and its Future DevelopmentCognitive Informatics for Revealing Human Cognition10.4018/978-1-4666-2476-4.ch002
Article
Formal Models and Cognitive Mechanisms of the Human Sensory SystemInternational Journal of Software Science and Computational Intelligence10.4018/ijssci.2013070104
Article
Towards the Synergy of Cognitive Informatics, Neural Informatics, Brain Informatics, and Cognitive ComputingInternational Journal of Cognitive Informatics and Natural Intelligence10.4018/jcini.2011010105
Article
Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPAInternational Journal of Software Science and Computational Intelligence10.4018/jssci.2012040105
Article
The Formal Design Model of a File Management System (FMS)International Journal of Software Science and Computational Intelligence10.4018/jssci.2011010107
Chapter
A Sociopsychological Perspective on Collective Intelligence in Metaheuristic ComputingModeling, Analysis, and Applications in Metaheuristic Computing10.4018/978-1-4666-0270-0.ch015
Article
Perspectives on Cognitive Informatics and Cognitive ComputingInternational Journal of Cognitive Informatics and Natural Intelligence10.4018/jcini.2010010101
Chapter
Perspectives on Cognitive Computing and ApplicationsBreakthroughs in Software Science and Computational Intelligence10.4018/978-1-4666-0264-9.ch001
Article
A Formal Knowledge Retrieval System for Cognitive Computers and Cognitive RoboticsInternational Journal of Software Science and Computational Intelligence10.4018/ijssci.2013040103
Article
The Formal Design Model of an Automatic Teller Machine (ATM)International Journal of Software Science and Computational Intelligence10.4018/jssci.2010101907
Chapter
A Method for Identifying Fatigue State of Driver's Face Based on Improved AAM AlgorithmDeep Learning and Neural Networks10.4018/978-1-7998-0414-7.ch070
Article
A Method for Identifying Fatigue State of Driver's Face Based on Improved AAM AlgorithmInternational Journal of Software Science and Computational Intelligence10.4018/IJSSCI.2017040103
Chapter
The Formal Design Model of a Real-Time Operating System (RTOS+)Breakthroughs in Software Science and Computational Intelligence10.4018/978-1-4666-0264-9.ch014
Article
Cognitive Informatics and Cognitive Computing in Year 10 and BeyondInternational Journal of Cognitive Informatics and Natural Intelligence10.4018/jcini.2011100101
Chapter
Perspectives on Cognitive Informatics and Cognitive ComputingDevelopments in Natural Intelligence Research and Knowledge Engineering10.4018/978-1-4666-1743-8.ch001
Chapter
The Formal Design Model of a Telephone Switching System (TSS)Software and Intelligent Sciences10.4018/978-1-4666-0261-8.ch018
Chapter
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept AlgebraCognitive Informatics for Revealing Human Cognition10.4018/978-1-4666-2476-4.ch013
Chapter
A Formal Knowledge Representation System (FKRS) for the Intelligent Knowledge Base of a Cognitive Learning EngineAdvances in Abstract Intelligence and Soft Computing10.4018/978-1-4666-2651-5.ch001
Article
The Formal Design Models of Digraph Architectures and BehaviorsInternational Journal of Software Science and Computational Intelligence10.4018/jssci.2012010105
Article
On Cognitive Foundations of Creativity and the Cognitive Process of CreationInternational Journal of Cognitive Informatics and Natural Intelligence10.4018/jcini.2009062301
Chapter
A Cognitive Informatics Reference Model of Autonomous Agent Systems (AAS)Transdisciplinary Advancements in Cognitive Mechanisms and Human Information Processing10.4018/978-1-60960-553-7.ch001
Article
On Abstract Intelligence and Brain InformaticsInternational Journal of Cognitive Informatics and Natural Intelligence10.4018/jcini.2012100103
Chapter
An Essay on Denotational MathematicsEncyclopedia of Information Science and Technology, Fourth Edition10.4018/978-1-5225-2255-3.ch670
Chapter
On Cognitive ComputingSoftware and Intelligent Sciences10.4018/978-1-4666-0261-8.ch006
Article
The Formal Design Model of a Lift Dispatching System (LDS)International Journal of Software Science and Computational Intelligence10.4018/jssci.2009062506
Chapter
The Formal Design Models of a Set of Abstract Data Types (ADTs)Breakthroughs in Software Science and Computational Intelligence10.4018/978-1-4666-0264-9.ch016
Article
On Visual Semantic Algebra (VSA)International Journal of Software Science and Computational Intelligence10.4018/jssci.2009062501
Chapter
Empirical Studies on the Functional Complexity of Software in Large-Scale Software SystemsAdvances in Abstract Intelligence and Soft Computing10.4018/978-1-4666-2651-5.ch013
Article
Design and Implementation of an Autonomic Code Generator Based on RTPAInternational Journal of Software Science and Computational Intelligence10.4018/jssci.2010040103
Article
Inference Algebra (IA)International Journal of Cognitive Informatics and Natural Intelligence10.4018/jcini.2011100105
Article
A Web Knowledge Discovery Engine Based on Concept AlgebraInternational Journal of Cognitive Informatics and Natural Intelligence10.4018/jcini.2010010105
Article
The Formal Design Model of a Real-Time Operating System (RTOS+)International Journal of Software Science and Computational Intelligence10.4018/jssci.2010070106
Chapter
Exploring the Cognitive Foundations of Software EngineeringSoftware and Intelligent Sciences10.4018/978-1-4666-0261-8.ch014
Chapter
Cognitive Informatics and Cognitive Computing in Year 10 and BeyondCognitive Informatics for Revealing Human Cognition10.4018/978-1-4666-2476-4.ch010
Article
Perspectives on Cognitive Computers and Knowledge ProcessorsInternational Journal of Cognitive Informatics and Natural Intelligence10.4018/ijcini.2013070101
Article
Inference Algebra (IA)International Journal of Cognitive Informatics and Natural Intelligence10.4018/jcini.2012010102
Chapter
Design and Implementation of an Autonomic Code Generator Based on RTPABreakthroughs in Software Science and Computational Intelligence10.4018/978-1-4666-0264-9.ch012
Article
The Cognitive Process and Formal Models of Human AttentionsInternational Journal of Software Science and Computational Intelligence10.4018/ijssci.2013010103
Chapter
On Visual Semantic Algebra (VSA)Software and Intelligent Sciences10.4018/978-1-4666-0261-8.ch005
Article
Perspectives on Cognitive Computing and ApplicationsInternational Journal of Software Science and Computational Intelligence10.4018/jssci.2010100103
Chapter
Cognitive Informatics and Computational IntelligenceIntelligent Systems10.4018/978-1-5225-5643-5.ch010
Article
A Formal Knowledge Representation System (FKRS) for the Intelligent Knowledge Base of a Cognitive Learning EngineInternational Journal of Software Science and Computational Intelligence10.4018/jssci.2011100101
Chapter
Convergence of Software Science and Computational IntelligenceSoftware and Intelligent Sciences10.4018/978-1-4666-0261-8.ch001
Chapter
Inference Algebra (IA)Cognitive Informatics for Revealing Human Cognition10.4018/978-1-4666-2476-4.ch011
Chapter
Towards the Synergy of Cognitive Informatics, Neural Informatics, Brain Informatics, and Cognitive ComputingCognitive Informatics for Revealing Human Cognition10.4018/978-1-4666-2476-4.ch001
Article
The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists)International Journal of Software Science and Computational Intelligence10.4018/jssci.2011040106
Article
The Formal Design Models of a Set of Abstract Data Types (ADTs)International Journal of Software Science and Computational Intelligence10.4018/jssci.2010100106
Chapter
The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists)Advances in Abstract Intelligence and Soft Computing10.4018/978-1-4666-2651-5.ch015
Chapter
The Formal Design Model of a Real-Time Operating System (RTOS+)Breakthroughs in Software Science and Computational Intelligence10.4018/978-1-4666-0264-9.ch013
Article
The Formal Design Models of Tree Architectures and BehaviorsInternational Journal of Software Science and Computational Intelligence10.4018/jssci.2011100106
Chapter
The Formal Design Model of an Automatic Teller Machine (ATM)Breakthroughs in Software Science and Computational Intelligence10.4018/978-1-4666-0264-9.ch015
Article
Neuroinformatics Models of Human MemoryInternational Journal of Cognitive Informatics and Natural Intelligence10.4018/jcini.2013010105
Article
Perspectives on the Field of Cognitive Informatics and its Future DevelopmentInternational Journal of Cognitive Informatics and Natural Intelligence10.4018/jcini.2011010101
Chapter
On the Cognitive Complexity of Software and its Quantification and Formal MeasurementSoftware and Intelligent Sciences10.4018/978-1-4666-0261-8.ch016
Chapter
A Web Knowledge Discovery Engine Based on Concept AlgebraDevelopments in Natural Intelligence Research and Knowledge Engineering10.4018/978-1-4666-1743-8.ch010
Article
A Sociopsychological Perspective on Collective Intelligence in Metaheuristic ComputingInternational Journal of Applied Metaheuristic Computing10.4018/jamc.2010102606
Chapter
An Essay on Denotational MathematicsAdvanced Methodologies and Technologies in Network Architecture, Mobile Computing, and Data Analytics10.4018/978-1-5225-7598-6.ch120
Chapter
The Formal Design Model of a Lift Dispatching System (LDS)Software and Intelligent Sciences10.4018/978-1-4666-0261-8.ch019
Article
On a Novel Cognitive Knowledge Base (CKB) for Cognitive Robots and Machine LearningInternational Journal of Software Science and Computational Intelligence10.4018/ijssci.2014040103
Chapter
The Formal Design Model of a File Management System (FMS)Advances in Abstract Intelligence and Soft Computing10.4018/978-1-4666-2651-5.ch014
Article
Perspectives on eBrain and Cognitive ComputingInternational Journal of Cognitive Informatics and Natural Intelligence10.4018/jcini.2012100101
Chapter
The Formal Design Models of Tree Architectures and BehaviorsAdvances in Abstract Intelligence and Soft Computing10.4018/978-1-4666-2651-5.ch018

RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors

Yingxu Wang

Source Title: International Journal of Cognitive Informatics and Natural Intelligence (IJCINI)2(2)

Cite Article Cite Article

MLA

Wang, Yingxu. "RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors." IJCINI vol.2, no.2 2008: pp.44-62. http://doi.org/10.4018/jcini.2008040103

APA

Wang, Y. (2008). RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors. International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), 2(2), 44-62. http://doi.org/10.4018/jcini.2008040103

Chicago

Wang, Yingxu. "RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors," International Journal of Cognitive Informatics and Natural Intelligence (IJCINI) 2, no.2: 44-62. http://doi.org/10.4018/jcini.2008040103

Export Reference

Favorite Full-Issue Download

View Full Text PDF

Abstract

Real-time process algebra (RTPA) is a denotational mathematical structure for denoting and manipulating system behavioral processes. RTPA is designed as a coherent algebraic system for intelligent and software system modeling, specification, refinement, and implementation. RTPA encompasses 17 metaprocesses and 17 relational process operations. RTPA can be used to describe both logical and physical models of software and intelligent systems. Logic views of system architectures and their physical platforms can be described using the same set of notations. When a system architecture is formally modeled, the static and dynamic behaviors performed on the architectural model can be specified by a three-level refinement scheme at the system, class, and object levels in a top-down approach. RTPA has been successfully applied in real-world system modeling and code generation for software systems, human cognitive processes, and intelligent systems.

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.

Username or email: *

Password: *

Forgot individual login password?

Create individual account

RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors

MLA

APA

Chicago

Export Reference

Abstract

Request Access