Safe beliefs for propositional theories

13 years 4 months ago

Download www.mpi-sws.org

We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more general point of view. Our definition, based on intuitionistic logic and following ideas from D. Pearce [Stable inference as intuitionistic validity, Logic Programming 38 (1999) 79

Mauricio Osorio, Juan Antonio Navarro Pérez

Real-time Traffic

Answer Sets | APAL 2005 | Logic | Logic Programming |

claim paper

Related Content

» Computing Preferred Safe Beliefs

» Propositions Propositional Attitudes and Belief Revision

» Model Theory for PRSLike Agents Modelling Belief Update and Action Attempts

» Modelling Uncertainty in Agent Programming

» A Logic of Limited Belief for Reasoning with Disjunctive Information

» From conditional probability to the logic of doxastic actions

» Normative framework for normative system change

» The Algebra of MultiAgent Dynamic Belief Revision

» Qualitative Relevance and Independence A Roadmap

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2005
Where	APAL
Authors	Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola

Comments (0)

Sciweavers

Safe beliefs for propositional theories

Answer Sets | APAL 2005 | Logic | Logic Programming |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers