publication . Article . 2008

Specifying and reasoning about uncertain agents

de Carvalho Ferreira, Nivea; Fisher, Michael; van der Hoek, Wiebe;
Open Access
  • Published: 01 Sep 2008 Journal: International Journal of Approximate Reasoning, volume 49, issue 1, pages 35-51 (issn: 0888-613X, Copyright policy)
  • Publisher: Elsevier BV
Abstract
AbstractLogical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated reasoning techniques to be used on, and by, the agents themselves. The possible worlds semantics offered by modal logic has proved to be a successful framework in which to model mental attitudes of agents such as beliefs, desires and intentions. The most popular choices for modeling the informational attitudes involves annotating the agent with an S5-like logic for knowledge, or a KD45-like logic for belief. However, using these logics in their standard form, an agent cannot dis...
Subjects
free text keywords: Theoretical Computer Science, Software, Applied Mathematics, Artificial Intelligence, Agents, Knowledge and belief, Probabilistic modal logic, Decision procedure, Multimodal logic, Probabilistic logic, Modal logic, Non-monotonic logic, Mathematics, business.industry, business, Possible world, Knowledge representation and reasoning, Description logic, Accessibility relation
Related Organizations
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue