An extension of process calculus for asynchronous communications between agents with epistemic states
2025-03-25
(Press-News.org)
It plays a central role in intelligent agent systems to model agents’ epistemic states and their changes. Asynchrony plays a key role in distributed systems, in which the messages transmitted may not be received instantly by the agents. Epistemic interaction behaviors can change agents’ epistemic states, while the latter will affect the former. So far, the literature mainly focuses on formalizing the change of epistemic state after receiving information.
To model epistemic interactions between agents with epistemic states, a research team led by Huili Xing published their new research on 15 Mar 2025 in Frontiers of Computer Science co-published by Higher Education Press and Springer Nature.
The team proposed a process calculus called the e-calculus for modelling epistemic interactions between agents with epistemic states in the concurrency situations by enriching the classical π-calculus with the operators for passing basic facts and applying the well-known action model logic to describe agents' epistemic states.
The e-calculus can be adopted to characterize synchronous and asynchronous communications between agents. To capture the asynchrony, a shared buffer pool is constructed to store the basic facts announced and each agent reads these facts from this buffer pool in different orders. Compared with the typical methods capturing the asynchrony (Asynchronous Announcement Logic and Epistemic Concurrent Constraint Programming (ECCP)) in the literature in detail, the e-calculus has its own characteristics and advantages in capturing asynchrony. In particular, the e-calculus can realize ECCP.
The different e-calculus can be presented by adopting the available formal methods to model agents' epistemic states and epistemic interactions, and it is left to further work to construct the e-calculus oriented to different epistemic scenarios. The behaviour theory is one of the core theoretical topics of a process calculus, and the behavior theory of the e-calculus is left to the future work.
DOI: 10.1007/s11704-023-3208-4
END
[Attachments] See images for this press release:
ELSE PRESS RELEASES FROM THIS DATE:
2025-03-25
Lignans are low molecular weight polyphenolic compounds with important antitumor and antiviral properties. However, their low amounts in medicinal plants and complex structures make sustainable production through plant extraction and chemical synthesis challenging, limiting their availability to meet market demand.
In a study published in Nature Chemical Biology, a research group led by Prof. ZHOU Yongjin from the Dalian Institute of Chemical Physics of the Chinese Academy of Sciences, collaborating with Prof. ZHANG Lei ...
2025-03-25
Iron-dependent ferroptosis, a non-apoptotic cell death mechanism, is gaining attention for its role in immune suppression. Ferroptosis, driven by excessive lipid peroxides and iron-dependent reactive oxygen species (ROS), differs from other cell death forms in its immunogenicity. It involves the regulation of the cystine/glutamate transport system xc−, with glutathione (GSH) and glutathione peroxidase 4 (GPX4) preventing toxic lipid peroxide accumulation. Ferroptosis-related factors are implicated in various diseases, including cancer and cardiovascular diseases.
Macrophages, crucial for immune response, are affected by ferroptosis. ...
2025-03-25
A study in Alzheimer’s & Dementia, a leading journal in dementia research, has demonstrated the high accuracy of plasma p-tau217 as a blood-based biomarker for detecting abnormal brain beta-amyloid (Aβ) pathology, a hallmark of Alzheimer’s disease (AD). More significantly, the study validates its effectiveness even in individuals with cerebrovascular disease (CeVD), which is highly prevalent in Asian populations. This finding can enhance early diagnosis, improve patient risk stratification, and facilitate better clinical management of AD in diverse populations.
The ...
2025-03-25
The monsoon rains have long remained the lifeblood of India, providing the lion’s share of the water used for drinking and irrigation. The yearly arrival of the rains, which quenches the thirst of the harsh summers, is caused by the movement of cloud bands from the equator towards the north.
A recent study from the Indian Institute of Science (IISc) has shown that contrary to previous understanding, the strength of the cloud band plays a key role in its movement as well as the density of rains that the Indian subcontinent receives during the wet spells of the monsoon.
India receives 80% ...
2025-03-25
Two researchers from the Keck School of Medicine of USC have been elected as senior members of the National Academy of Inventors (NAI), an organization that recognizes inventors holding US patents and promotes academic technology and innovation to benefit society.
The newly elected senior members are Preet Chaudhary, MD, PhD, professor of medicine and the Ronald H. Bloom Family Chair in Lymphoma Research, and Michael Selsted, MD, PhD, professor of pathology.
“Professors Chaudhary and Selsted are nationally known for their entrepreneurial research, and I’m thrilled to see them acknowledged with this ...
2025-03-25
● Records of more than 170,000 lung cancer patients combined with chest x-ray rates from 7,400 GP practices were analysed in the new research led by the University of Sheffield
● The study, published in the British Journal of General Practice, shows link between the frequency of chest x-rays and earlier diagnosis and improved survival
● Lung cancer is the leading cause of cancer deaths globally
A groundbreaking study has revealed a significant link between the frequency of chest x-ray referrals from GPs ...
2025-03-25
Polarisation in lower-income countries largely flows from economic and material issues, while social topics and identity-related debates are the most polarising subjects in richer nations, new research reveals.
The study from City St George’s, University of London analysed 40 years of global data to explore how modernisation influences ideological divides, shedding light on the factors driving ideological polarisation across different nations around the world.
As political divisions deepen in many countries, the study clarifies the complex, multifaceted implications ...
2025-03-24
Abu Dhabi, UAE, March 24, 2025: Researchers from NYU Abu Dhabi’s Advanced Microfluidics and Microdevices Laboratory (AMMLab) have developed an innovative sensing system that restores the missing tactile feedback in minimally invasive surgery (MIS), enhancing precision, ease of use, and safety. The new "off-the-jaw" system integrates force and angle sensors into the handle of laparoscopic tools, providing surgeons with real-time measurements of grasping forces and insights into tissue stiffness and thickness.
Minimally invasive surgery (MIS) involves small incisions, reducing ...
2025-03-24
BACKGROUND
Urinary tract infections (UTIs) rank among the most prevalent bacterial infections globally. Traditional urine culture methods have significant limitations in detection time and sensitivity, prompting the need to evaluate targeted next-generation sequencing (tNGS) as a potential diagnostic tool.
METHODS
The study included a discovery cohort of 400 suspected UTI patients (202 analyzed) and a validation cohort of 200 patients (110 analyzed). The study assessed detection time, concordance rates, ability to identify polymicrobial infections, and antibiotic resistance genes (ARGs). Both clear and turbid ...
2025-03-24
Embargoed for release until 5:00 p.m. ET on Monday 24 March 2025
Follow @Annalsofim on X, Facebook, Instagram, threads, and Linkedin
Below please find summaries of new articles that will be published in the next issue of Annals of Internal Medicine. The summaries are not intended to substitute for the full articles as a source of information. This information is under strict embargo and by taking it into possession, media representatives are committing to the terms of the embargo not only on their own behalf, but also on behalf of the ...
LAST 30 PRESS RELEASES:
[Press-News.org] An extension of process calculus for asynchronous communications between agents with epistemic states
