ALX, an action logic for agents with bounded rationality

We propose a modal action logic that combines ideas from H.A. Simon's bounded rationality, S. Kripke's possible world semantics, G.H. von Wright's preference logic, Pratt's dynamic logic, Stalnaker's minimal change and more recent approaches to update semantics. ALX (the xth...

Full description

Saved in:
Bibliographic Details
Published in:Artificial intelligence 1996-04, Vol.82 (1), p.75-127
Main Authors: Huang, Zhisheng, Masuch, Michael, Pólos, László
Format: Article
Language:English
Subjects:
Action logic
Artificial intelligence
Logic
Rationality
Semantics
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We propose a modal action logic that combines ideas from H.A. Simon's bounded rationality, S. Kripke's possible world semantics, G.H. von Wright's preference logic, Pratt's dynamic logic, Stalnaker's minimal change and more recent approaches to update semantics. ALX (the xth action logic) is sound, complete and decidable, making it the first complete logic for two-place preference operators. ALX avoids important drawbacks of other action logics, especially the counterintuitive necessitation rule for goals (every theorem must be a goal) and the equally counterintuitive closure of goals under logical implication.
ISSN:0004-3702
1872-7921
DOI:10.1016/0004-3702(94)00090-5