Programming rational agents in a modal action logic

DOI10.1023/B:AMAI.0000031196.24935.B5MaRDI QIDQ596475zbMATH OpenOpenAlexFDO

Authors Matteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano

Publication date 10 August 2004

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/b:amai.0000031196.24935.b5

zbMATH Keywords

logic programmingreasoning about actionslogic-based agentsmodal and multimodal logicreasoning with incomplete knowledge

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Modal logic for modelling actions and agents
• A Logic for Reasoning about Rational Agents
• scientific article; zbMATH DE number 1305380
• scientific article; zbMATH DE number 1929205
• Reasoning About Epistemic States of Agents by Modal Logic Programming
• Dynamic logic for reasoning about actions and agents
• Reasoning about agent programs using ATL-like logics
• Programming Cognitive Agents in Defeasible Logic
• A modal logic for mobile agents

Cited in

(20)

• Knowledge-based programs with defaults in a modal situation calculus
• An ASP-based approach to dealing with agent perception failure
• Computational Logic in Multi-Agent Systems
• FLUX: A logic programming method for reasoning agents
• Theoretical Computer Science
• Reasoning about interaction protocols for customizing web service selection and composition
• scientific article; zbMATH DE number 2044515 (Why is no real title available?)
• Programming Cognitive Agents in Defeasible Logic
• A declarative agent programming language based on action theories
• Web-based adaptive tutoring: An approach based on logic agents and reasoning about actions
• An abductive proof procedure for reasoning about actions in modal logic programming
• scientific article; zbMATH DE number 1759736 (Why is no real title available?)
• Active logic semantics for a single agent in a static world
• scientific article; zbMATH DE number 1759735 (Why is no real title available?)
• scientific article; zbMATH DE number 1231561 (Why is no real title available?)
• Where logic and agents meet
• ALPprolog - a new logic programming method for dynamic domains
• scientific article; zbMATH DE number 2087695 (Why is no real title available?)
• Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
• scientific article; zbMATH DE number 7056232 (Why is no real title available?)

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: Programming rational agents in a modal action logic

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