skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: Maintenance of Social Commitments in Multiagent Systems
We introduce and formalize a concept of a maintenance commitment, a kind of social commitment characterized by states whose truthhood an agent commits to maintain. This concept of maintenance commitments enables us to capture a richer variety of real-world scenarios than possible using achievement commitments with a temporal condition. By developing a rule-based operational semantics, we study the relationship between agents’ achievement and maintenance goals, achievement commitments, and maintenance commitments. We motivate a notion of coherence which captures alignment between an agents’ achievement and maintenance cognitive and social constructs, and prove that, under specified conditions, the goals and commitments of both rational agents individually and of a multiagent system are coherent.  more » « less
Award ID(s):
1908374
PAR ID:
10274373
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)
Page Range / eLocation ID:
11369-11377
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ; ; ; (, IFAAMAS)
    Commitments support flexible interactions between agents by capturing the meaning of their interactions. However, commitmentbased reasoning is not adequately supported in agent programming models. We contribute Azorus, a programming model based on declarative specifications centered on commitments and aligned with information protocols. Azorus supports reasoning about goals and commitments and combines modeling of commitments and protocols, thereby uniting three leading declarative approaches to engineering decentralized multiagent systems. Specifically, we realize Azorus over three existing technology suites: (1) Jason, a popular BDI-based programming model; (2) Cupid, a formal language and query-based model for commitments; and (3) BSPL, a language and its associated tools for information protocols, including Jason programming. We implement Azorus and demonstrate how it enables capturing interesting patterns of business logic. 
    more » « less
  2. ; ; ; ; ; ; ; ; ; (, Proceedings of the 49th ACM Technical Symposium on Computer Science Education)
    Replication research is rare in CS education. For this reason, it is often unclear to what extent our findings generalize beyond the context of their generation. The present paper is a replication and extension of Achievement Goal Theory research on CS1 students. Achievement goals are cognitive representations of desired competence (e.g., topic mastery, outperforming peers) in achievement settings, and can predict outcomes such as grades and interest. We study achievement goals and their effects on CS1 students at six institutions in four countries. Broad patterns are maintained --- mastery goals are beneficial while appearance goals are not --- but our data additionally admits fine-grained analyses that nuance these findings. In particular, students' motivations for goal pursuit can clarify relationships between performance goals and outcomes. 
    more » « less
  3. (, ACM)
    Software repositories, used for wide-scale open software distribu- tion, are a significant vector for security attacks. Software signing provides authenticity, mitigating many such attacks. Developer- managed signing keys pose usability challenges, but certificate- based systems introduce privacy problems. This work, Speranza, uses certificates to verify software authenticity but still provides anonymity to signers using zero-knowledge identity co-commitments. In Speranza, a signer uses an automated certificate authority (CA) to create a private identity-bound signature and proof of authoriza- tion. Verifiers check that a signer was authorized to publish a pack- age without learning the signer’s identity. The package repository privately records each package’s authorized signers, but publishes only commitments to identities in a public map. Then, when issuing certificates, the CA issues the certificate to a distinct commitment to the same identity. The signer then creates a zero-knowledge proof that these are identity co-commitments. We implemented a proof-of-concept for Speranza. We find that costs to maintainers (signing) and end users (verifying) are small (sub-millisecond), even for a repository with millions of packages. Techniques inspired by recent key transparency systems reduce the bandwidth for serving authorization policies to 2 KiB. Server costs in this system are negligible. Our evaluation finds that Speranza is practical on the scale of the largest software repositories. We also emphasize practicality and deployability in this project. By building on existing technology and employing relatively sim- ple and well-established cryptographic techniques, Speranza can be deployed for wide-scale use with only a few hundred lines of code and minimal changes to existing infrastructure. Speranza is a practical way to bring privacy and authenticity together for more trustworthy open-source software. 
    more » « less
  4. ; (, Journal of Psychoeducational Assessment)
    The purpose of this study was to estimate the longitudinal and reciprocal predictive relations between children’s social skills, measured by an adaptation of the frequently used Social Skills Rating Scale, and their standardized academic achievement. A large nationally representative sample of elementary school students were assessed at least annually from kindergarten through fifth grade in the Early Childhood Longitudinal Study, Kindergarten Class of 2010–2011 ( n = 7963). Structural equation modeling was used to test a panel model of teacher-rated interpersonal and self-control skills and children’s scores on standardized reading, math, and science achievement tests. Reciprocal relations between children’s social skills and achievement were supported throughout elementary school, with achievement showing a stronger and consistent pattern of influence on children’s subsequent social skills. 
    more » « less
  5. ; ; ; ; ; ; ; ; ; ; et al (, ASEE Annual Conference proceedings)
    PEARLS is a structured scholarship program designed to mitigate the economic hardship associated with the cost of attendance (COA). The main goal of the program is to increase the retention and success of low-income, academically talented students (LIATS) in engineering programs at a Hispanic institution. We structured students' interventions in five stages: LIATS Background Experiences, Belonging, Formative, Growth, and Graduate Development. This full paper presents the program evaluation results that combine social cognitive career theory and attrition mitigation elements. Specifically, we conducted a formative evaluation approach guided by the following question: What were the strengths and weaknesses of PEARLS according to students and mentors? A total of 92 LIATS (40 females and 52 males) met the eligibility criteria and the selection process established by the Executive Board. Overall, 78% of student participants voluntarily completed the electronic self-report questionnaires. Also, we assigned students under the supervision of eight mentors. In terms of their mentoring process, participant students reported an overall excellent opinion about their mentors and the mentoring process provided through the program. They expressed to be very satisfied with their relationship with their mentor regarding communication, connection, professionalism, and encouragement. Few students indicated weaknesses in their mentor, including poor accessibility due to lack of time, feeling intimidated by the mentor, and inadequate counseling. From the mentors’ perspective, it was perceived that their tasks and responsibilities aligned with their expectations. We noticed a relationship between what mentors perceived as their duties and what mentees identified as strengths of the mentoring program. For instance, their commitment to serve as a student mentor by offering academic counseling, encouragement, recommendations for COOP and research experiences, and setting career goals has resulted positive to establish a good relationship with the mentee. Finally, we concluded that both students and mentors felt satisfied with their involvement in the program. Similarly, mentors agreed that the time and commitment required to fulfill the responsibilities in the program are limited due to other obligations, such as teaching, research, and service commitments. This situation reflects on the mentees who expressed concern about the time availability of their mentors due to other professional obligations. Regardless, we conclude that the goal of the mentoring program proposed to promote a sense of belonging in mentees during their years of study was accomplished. 
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email