Dual systems for all: Higher-order, role-based relational reasoning as a uniquely derived feature of human cognition

2019 ◽  
Vol 42 ◽  
Author(s):  
Daniel J. Povinelli ◽  
Gabrielle C. Glorioso ◽  
Shannon L. Kuznar ◽  
Mateja Pavlic
Keyword(s):  
Temporal Reasoning ◽  
Higher Order ◽  
Important Case ◽  
Human Cognition ◽  
Relational Reasoning ◽  
Dual Systems ◽  
First Order ◽  
Reasoning System ◽  
Role Based

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.

Role-Based Multi-Agent Systems

2011 ◽  
pp. 254-285 ◽  
Author(s):  
Haibin Zhu ◽  
MengChu Zhou
Keyword(s):  
System Design ◽  
Multi Agent Systems ◽  
Agent System ◽  
Agent Systems ◽  
Collaborative Behavior ◽  
Cooperative Agents ◽  
Multi Agent ◽  
Role Based ◽  
Information Personalization

Agent system design is a complex task challenging designers to simulate intelligent collaborative behavior. Roles can reduce the complexity of agent system design by categorizing the roles played by agents. The role concepts can also be used in agent systems to describe the collaboration among cooperative agents. In this chapter, we introduce roles as a means to support interaction and collaboration among agents in multi-agent systems. We review the application of roles in current agent systems at first, then describe the fundamental principles of role-based collaboration and propose the basic methodologies of how to apply roles into agent systems (i.e., the revised E-CARGO model). After that, we demonstrate a case study: a soccer robot team designed with role specifications. Finally, we present the potentiality to apply roles into information personalization.

scholarly journals Specialist role coaching and skill training periodisation: A football goalkeeping case study

2020 ◽  
Vol 15 (4) ◽  
pp. 562-575 ◽  
Author(s):  
Fabian W Otte ◽  
Keith Davids ◽  
Sarah-Kate Millar ◽  
Stefanie Klatt
Keyword(s):  
High Performance ◽  
Performance Enhancement ◽  
Skill Training ◽  
Talent Development ◽  
Skill Learning ◽  
Ecological Dynamics ◽  
Performance Preparation ◽  
Role Based ◽  
Training Professional

In sports like association football, professional teams are increasingly devoting resources to the role-based development of individual athletes and sub-groups. By employing ‘specialist coaches’ into athlete-support structures, clubs aim to facilitate individualised athlete training programs to enhance performance preparation as well as skill learning and talent development. Here, we discuss how contemporary pedagogical training approaches, like Nonlinear Pedagogy and the Constraints-Led approach, can enhance effectiveness of specialist role-based athlete development programs to facilitate performance functionality. We argue the need for a model of specialist role-based coaching practice in high performance sports organisations, based on a unified theoretical rationale, such as ecological dynamics. To exemplify the nature of specialist role-based coaching, a case study addresses how Nonlinear Pedagogy and Constraints-Led approach are being used for training professional football goalkeepers in an U23 years age group. Integrating key concepts from ecological dynamics, allied to principles of Nonlinear Pedagogy and the Constraints-Led approach, common skill training principles for specialist role coaches are highlighted. These illustrate the use of the recently introduced ‘Periodization of Skill Training’ framework for specialist role coaching, practically exemplifying a way to harness opportunities for performance enhancement and individualised talent development in the football goalkeeping context.

CUSTOMIZING COMPONENT-BASED SOFTWARE USING COMPONENT COORDINATION MODEL: A USE-CONTEXT DRIVEN APPROACH TOWARD ROLE-BASED MODEL

2004 ◽  
Vol 14 (02) ◽  
pp. 103-140 ◽  
Author(s):  
MATHEE OLARNSAKUL ◽  
DENTCHO N. BATANOV
Keyword(s):  
Software Architecture ◽  
Architecture Design ◽  
Software Components ◽  
Context Model ◽  
Coordination Model ◽  
Proposed Model ◽  
Use Context ◽  
Role Relationships ◽  
Role Based

In this paper, we introduce a component coordination model (CCM) that is embedded into the applications during software architecture design. The CCM is driven by the use-context model, which directly reflects the role-based model that abstracts system behaviors as a computational organization comprising various role relationships. It then focuses on exposing the design of software components to be separated from their execution contexts. These separate concerns — computation, coordination, and policies imposed on a given use-context — form the principal concept of our approach. Finally, a case study using the proposed model has been demonstrated in order to provide the feasibility of the introduced approach.

Modeling and Re-Evaluating Security in an Incremental Development of RBAC-Based Systems Using B Method

2019 ◽  
pp. 104-135
Author(s):  
Nasser Al-Mur Al-Hadhrami
Keyword(s):  
Access Control ◽  
Software Development ◽  
Role Based Access Control ◽  
Incremental Development ◽  
B Method ◽  
Access Control Models ◽  
Iterative Development ◽  
Role Based

Incremental software development through the addition of new features and access rules potentially creates security flaws due to inconsistent access control models. Discovering such flaws in software architectures is commonly performed with formal techniques that allow the verification of the correctness of a system and its compliance with applicable policies. In this chapter, the authors propose the use of the B method to formally, and incrementally, design and evaluate the security of systems running under role-based access control (RBAC) policies. They use an electronic marking system (EMS) as a case study to demonstrate the iterative development of RBAC models and the role of the B language in exploring and re-evaluating the security of the system as well as addressing inconsistencies caused by incremental software development. Two formal approaches of model checking and proof obligations are used to verify the correctness of the RBAC specification.

Case Study: Implementing Role-Based Security

2003 ◽  
pp. 453-497
Author(s):  
Cristian Darie ◽  
Karli Watson ◽  
Chris Hart ◽  
Kevin Hoffman ◽  
Julian Skinner
Keyword(s):  
Role Based

SPECIFICATION AND VERIFICATION OF WORKFLOWS WITH RBAC MECHANISM AND SoD CONSTRAINTS

2007 ◽  
Vol 17 (01) ◽  
pp. 3-32 ◽  
Author(s):  
WEIQIANG KONG ◽  
KAZUHIRO OGATA ◽  
KOKICHI FUTATSUGI
Keyword(s):  
Theorem Prover ◽  
Role Based Access Control ◽  
Workflow Systems ◽  
Liveness Properties ◽  
Separation Of Duty ◽  
Role Based ◽  
Definition Of ◽  
Logical Errors ◽  
Verification Techniques

Security considerations, such as role-based access control (RBAC) mechanism and separation of duty (SoD) constraints, are important and integral to workflow systems. Since the definition of workflows with these security considerations is a complicated and error-prone process, rigorous verification techniques are desirable for uncovering logical errors and assuring correctness. We propose the use of an equation-based method — the OTS/CafeOBJ method to model, specify and verify workflows with such security considerations. Specifically, a workflow with the security considerations, is modeled as an OTS, a kind of transition system; the OTS is then specified in CafeOBJ, an algebraic specification language. We verify that the OTS has desired safety and liveness properties by using the CafeOBJ system as an interactive theorem prover. A case study on a sample workflow that deals with travel expense reimbursement is used to demonstrate our method.

Sign in / Sign up

Export Citation Format

Share Document