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 programminglogic-based agentsmodal and multimodal logicreasoning about actionsreasoning with incomplete knowledge

Mathematics Subject Classification ID

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

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

(26)

• Web-based adaptive tutoring: An approach based on logic agents and reasoning about actions
• From logic programming towards multi-agent systems
• Active logic semantics for a single agent in a static world
• ALPprolog - a new logic programming method for dynamic domains
• An ASP-based approach to dealing with agent perception failure
• Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
• A declarative agent programming language based on action theories
• scientific article; zbMATH DE number 1231561 (Why is no real title available?)
• scientific article; zbMATH DE number 1305380 (Why is no real title available?)
• GOLOG: A logic programming language for dynamic domains
• Representing actions: Laws, observations and hypotheses
• scientific article; zbMATH DE number 2044515 (Why is no real title available?)
• scientific article; zbMATH DE number 1759735 (Why is no real title available?)
• scientific article; zbMATH DE number 1759736 (Why is no real title available?)
• Knowledge-based programs with defaults in a modal situation calculus
• Modal logic for modelling actions and agents
• scientific article; zbMATH DE number 2087695 (Why is no real title available?)
• Логика в онтологии процессов
• scientific article; zbMATH DE number 7056232 (Why is no real title available?)
• Programming Cognitive Agents in Defeasible Logic
• Computational Logic in Multi-Agent Systems
• FLUX: A logic programming method for reasoning agents
• Theoretical Computer Science
• Where logic and agents meet
• An abductive proof procedure for reasoning about actions in modal logic programming
• Reasoning about interaction protocols for customizing web service selection and composition

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)