Abstract
Realism for agents with unconditional beliefs, desires and intentions (BDI agents) has been analyzed in modal logic. This paper provides a logical analysis of realism for agents with conditional beliefs and desires in a rule based approach analogous to Reiter's default logic. We distinguish two types of realism, which we call ‘a priori' and ‘a posteriori' realism. We analyze whether these two new properties are compatible with other properties discussed in the literature, such as existence of extensions. We show that Reiter's default logic is too strong, in the sense that a weaker notion of maximality of extensions is needed to satisfy realism. Finally we show that several existing approaches do not satisfy the new realism properties, and we introduce a new construction that does satisfy them.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
