26 found
Sort by:
See also:
Profile: Andreas Herzig (Université de Toulouse)
  1. Emiliano Lorini, Andreas Herzig, France Jomi F. Hübner & Laurent Vercouter (forthcoming). A Logic of Trust and Reputation. Logic Journal of the Igpl.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Philippe Balbiani & Andreas Herzig (2012). A Translation From the Modal Logic of Provability Into K4. Journal of Applied Non-Classical Logics 4 (1):73-77.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Samir Chopra & Andreas Herzig (2012). Foreword. Journal of Applied Non-Classical Logics 11 (1-2):8-10.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.) (2012). Logics in Artificial Intelligence. Springer.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  5. Hans van Ditmarsch, Andreas Herzig & Tiago De Lima (2012). Public Announcements, Public Assignments and the Complexity of Their Logic. Journal of Applied Non-Classical Logics 22 (3):249-273.
    We study the extension of public announcement logic PAL by public assignments, which we call PALA. Just as in the case of PAL, the standard procedure for deciding PALA validity, i.e. the use of so-called reduction axioms to translate PALA formulae into formulae in epistemic logic EL, may lead to exponential growth. In this paper, we show that such a price is not mandatory, for we provide a polynomial translation of PALA into EL. This is based on abbreviations of subformulae (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Giacomo Bonanno, Andreas Herzig, Wiebe van der Hoek & Jérôme Lang (2011). Foreword. Journal of Applied Non-Classical Logics 21 (3-4):263-264.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Andreas Herzig & Emiliano Lorini (2011). Editorial Introduction: Logical Methods for Social Concepts. [REVIEW] Journal of Philosophical Logic 40 (4):441-443.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Jonathan Ben-Naim, Jean-François Bonnefon, Andreas Herzig, Sylvie Leblois & Emiliano Lorini (2010). Computer-Mediated Trust in Self-Interested Expert Recommendations. AI and Society 25 (4):413-422.
    Important decisions are often based on a distributed process of information processing, from a knowledge base that is itself distributed among agents. The simplest such situation is that where a decision-maker seeks the recommendations of experts. Because experts may have vested interests in the consequences of their recommendations, decision-makers usually seek the advice of experts they trust. Trust, however, is a commodity that is usually built through repeated face time and social interaction and thus cannot easily be built in a (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Andreas Herzig & Emiliano Lorini (2010). A Dynamic Logic of Agency I: Stit, Capabilities and Powers. [REVIEW] Journal of Logic, Language and Information 19 (1):89-121.
    The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define our basic Dynamic Logic of Agency ( ). Differently from other logics of individual and coalitional capability such as Alternating-time Temporal Logic (ATL) and Coalition Logic, in cooperation modalities for expressing powers of agents and coalitions are not primitive, but are defined from more basic dynamic logic operators of action and (historic) (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Blader Ten Cate, Luis Farinas Del Cero & Andreas Herzig (2010). Some Modal Aspects of XPath. Journal of Applied Non-Classical Logics 20 (3):139-171.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Jan Broersen, Andreas Herzig & Nicolas Troquard (2009). What Groups Do, Can Do, and Know They Can Do: An Analysis in Normal Modal Logics. Journal of Applied Non-Classical Logics 19 (3):261-289.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Hans Van Ditmarsch, Andreas Herzig, Jérôme Lang & Pierre Marquis (2009). Introspective Forgetting. Synthese 169 (2):405 - 423.
    We model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others' or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-forgetting as abstraction from information, wherein agents become unaware of certain variables: by employing elementary results for bisimulation, it follows that beliefs not involving the forgotten atom(s) remain true.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Andreas Herzig, Tiago de Lima & Emiliano Lorini (2009). On the Dynamics of Institutional Agreements. Synthese 171 (2):321-355.
    In this paper we investigate a logic for modelling individual and collective acceptances that is called acceptance logic. The logic has formulae of the form reading ‘if the agents in the set of agents G identify themselves with institution x then they together accept that ’. We extend acceptance logic by two kinds of dynamic modal operators. The first kind are public announcements of the form , meaning that the agents learn that is the case in context x . Formulae (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. Andreas Herzig, Tiago de Lima & Emiliano Lorini (2009). On the Dynamics of Institutional Agreements. Synthese 171 (2):321 - 355.
    In this paper we investigate a logic for modelling individual and collective acceptances that is called acceptance logic. The logic has formulae of the form $A_{Gx} \phi $ reading 'if the agents in the set of agents G identify themselves with institution x then they together accept that φ'. We extend acceptance logic by two kinds of dynamic modal operators. The first kind are public announcements of the form x!ψ, meaning that the agents learn that ψ is the case in (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Hans van Ditmarsch, Andreas Herzig, Jérôme Lang & Pierre Marquis (2009). Introspective Forgetting. Synthese 169 (2):405-423.
    We model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others’ or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-forgetting as abstraction from information, wherein agents become unaware of certain variables: by employing elementary results for bisimulation, it follows that beliefs not involving the forgotten atom(s) remain true.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  16. Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima (2008). Knowable' as 'Known After an Announcement. Review of Symbolic Logic 1 (3):305-334.
    Public announcement logic is an extension of multiagent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: after which , does it hold that Kφ? We give various semantic results and show completeness for a Hilbert-style axiomatization of this logic. There is a natural generalization to a logic for arbitrary events.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  17. Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima (2008). Knowable' as 'Known After an Announcement. Review of Symbolic Logic 1 (3):305-334.
    Public announcement logic is an extension of multiagent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: after which , does it hold that Kφ? We give various semantic results and show completeness for a Hilbert-style axiomatization of this logic. There is a natural generalization to a logic for arbitrary events.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. Philippe Balbiani, Andreas Herzig & Nicolas Troquard (2008). Alternative Axiomatics and Complexity of Deliberative Stit Theories. Journal of Philosophical Logic 37 (4):387 - 406.
    We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative axiomatization of the deliberative STIT. The second one starts from the idea that the historic necessity operator can be defined as an abbreviation of operators of agency, and can thus be eliminated from the logic of Chellas’s STIT. The second axiomatization also allows us to establish that the problem of deciding the satisfiability of a STIT formula without temporal operators (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  19. Andreas Herzig (2008). Book Reviews. [REVIEW] Studia Logica 89 (3):441-445.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. Emiliano Lorini & Andreas Herzig (2008). A Logic of Intention and Attempt. Synthese 163 (1):45 - 77.
    We present a modal logic called (logic of intention and attempt) in which we can reason about intention dynamics and intentional action execution. By exploiting the expressive power of , we provide a formal analysis of the relation between intention and action and highlight the pivotal role of attempt in action execution. Besides, we deal with the problems of instrumental reasoning and intention persistence.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. Andreas Herzig & Ivan Varzinczak (2007). Metatheory of Actions: Beyond Consistency. Artificial Intelligence 171 (1):951–984.
    Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the metatheory of actions by investigating what other properties a good domain description should have. We state some metatheoretical postulates concerning this sore spot. When all postulates are satisfied we call the action theory modular. Besides being easier to understand and more elaboration tolerant in McCarthy’s sense, modular theories have interesting properties. We point (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Hans Van Ditmarsch & Andreas Herzig (2007). Foreword. Journal of Applied Non-Classical Logics 17 (2):125-128.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Philippe Besnard & Andreas Herzig (2005). Foreword. Journal of Applied Non-Classical Logics 15 (1):8-8.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  24. Robert Demolombe, Andreas Herzig & Ivan Varzinczak (2003). Regression in Modal Logic. Journal of Applied Non-Classical Logic 13 (2):165-185.
    In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  25. G. Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.) (1995). Conditionals: From Philosophy to Computer Science. Oxford University Press.
    This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. L. Fariñas Del Cerro & Andreas Herzig (1988). An Automated Modal Logic for Elementary Changes. In Philippe Smets (ed.), Non-Standard Logics for Automated Reasoning. Academic Press.
    No categories
     
    My bibliography  
     
    Export citation