Making Golog norm compliant

DOI10.1007/978-3-642-22359-4_19MaRDI QIDQ3092308zbMATH OpenOpenAlexFDO

Authors Alfredo Gabaldon

Publication date 16 September 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22359-4_19

Mathematics Subject Classification ID

Theory of programming languages (68N15) Agent technology and artificial intelligence (68T42)

Recommendations

• Agent strands in the action language \(n\mathcal C +\)
• Time is up! -- Norms with deadlines in action languages
• Robust normative systems and a logic of norm compliance
• Normative KGP agents
• Planning under uncertainty as G<scp>OLOG</scp>programs

Cites work

• Agent strands in the action language \(n\mathcal C +\)
• Choosing social laws for multi-agent systems: Minimality and simplicity
• ConGolog, a concurrent programming language based on the situation calculus
• Evolving logic programs with temporal operators
• GOLOG: A logic programming language for dynamic domains
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 1390352 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Normative Multi-agent Programs and Their Logics
• Some contributions to the metatheory of the situation calculus
• Verification of Protocol Conformance and Agent Interoperability

Cited in

(5)

• A normative supervisor for reinforcement learning agents
• Time is up! -- Norms with deadlines in action languages
• Acting on norm constrained plans
• A norm-giver meets deontic action logic
• \textsc{NorMC}: a norm compliance temporal logic model checker

Describes a project that uses

Uses Software

• ConGolog
• GOLOG
• Moise+

This page was built for publication: Making Golog norm compliant

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3092308)