Logics Characterizing an Agent Having Intelligence
LI Xiao-wu · Mind and Computation · 2007
we put forward two criterions to represent an agent has intelligence: the agent knows its knowledge and the actions it has executed. And then we give out some logical systems to characterize the criterions holistically, locally and semi-locally, respectively. Finally, we show that the systems are frame sound and frame complete with respect to respective semantics.