242,895 Hits in 5.9 sec

A Logic for Reasoning about Actions and Explicit Observations [chapter]

Gavin Rens, Ivan Varzinczak, Thomas Meyer, Alexander Ferrein
2010 Lecture Notes in Computer Science  
We propose a formalism for reasoning about actions based on multi-modal logic which allows for expressing observations as first-class objects.  ...  We present the syntax and semantics, and a correct and decidable tableau calculus for the logic.  ...  Acknowledgments Thanks to Arina Britz, Gerhard Lakemeyer and the referees for their suggestions.  ... 
doi:10.1007/978-3-642-17432-2_40 fatcat:tnavwnn3rvabfjtgyqm4osv6qy


1997 The Journal of Logic Programming  
doi:10.1016/0743-1066(97)90003-0 fatcat:d2pwry7myjcv3cgsdq743hbyjq

Generation and Selection of Abductive Explanations for Non-Omniscient Agents

Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
2014 Journal of Logic, Language and Information  
Our work proposes a study of abductive reasoning from an epistemic and dynamic perspective.  ...  In the second part, we look at an existing logical framework whose semantic model allows us to interpret the previously stated formulas, and we define two actions that represent forms of abductive reasoning  ...  Acknowledgments We thank Johan van Benthem and Ángel Nepomuceno-Fernández for their valuable comments and suggestions on early versions of this paper.  ... 
doi:10.1007/s10849-014-9192-1 fatcat:a33fadmdznevrm2harj5kzagbq

The dynamics of awareness

Johan van Benthem, Fernando R. Velázquez-Quesada
2010 Synthese  
Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents based on semantic information.  ...  Representing the actions in the language yields a sound and complete logic that clarifies our initial issues. We also develop some formal properties and raise some open problems.  ...  the original author(s) and source are credited.  ... 
doi:10.1007/s11229-010-9764-9 fatcat:a3guc43f6bhbxkvnftjwzd4xwm

Formal Models of Awareness

Thomas Ågotnes, Natasha Alechina
2014 Journal of Logic, Language and Information  
It generalises the abductive problem for non-omnisient reasoners as finding a hypothesis which, under the agent's inferential abilities and explicit information, would entail a given observation.  ...  Velázquez-Quesada studies a logic of plausibility acknowledgement models used to interpret the notions of implicit and explicit beliefs.  ...  The paper considers a logic that can be used to reason about unawareness.  ... 
doi:10.1007/s10849-014-9202-3 fatcat:jzbdn6nkwndzdkzz7rskz32p4a

Implicit and Explicit Stances in Logic

Johan van Benthem
2018 Journal of Philosophical Logic  
We identify a pervasive contrast between implicit and explicit stances in logical analysis and system design.  ...  We illustrate the contrast for intuitionistic and epistemic logic, then take it further to information dynamics, default reasoning, and other areas, to show its wide scope.  ...  choices for how to talk and reason about these objects.  ... 
doi:10.1007/s10992-018-9485-y fatcat:b67aboyn65esbalttvohwo2vv4

Reasoning about cooperation, actions and preferences

Lena Kurzen
2009 Synthese  
In other words, plans and actions also play a central role if we want to reason about cooperation in an explicit way.  ...  In this paper, a logic for reasoning about coalitional power is developed which explicitly represents agents' preferences and the actions by which the agents can achieve certain results.  ...  the original author(s) and source are credited.  ... 
doi:10.1007/s11229-009-9551-7 fatcat:46qh6bjmyjasnkzcblhduwiqx4

Practical Challenges in Explicit Ethical Machine Reasoning [article]

Louise Dennis, Michael Fisher
2018 arXiv   pre-print
We identify a need for complex ethical machine reasoning not only to be multi-objective, proactive, and scrutable but that it must draw on heterogeneous evidential reasoning.  ...  We propose a general architecture involving a declarative ethical arbiter which draws upon multiple evidential reasoners each responsible for a particular ethical feature of the system's environment.  ...  reasoning which amassed information about the situation in a logical form and would then reason about the evidence using constraints represented as prohibitions and obligations.  ... 
arXiv:1801.01422v1 fatcat:63nhcoxowzb3rdb4hkaaktgxom

Logic of Information Flow on Communication Channels [chapter]

Yanjing Wang, Floor Sietsma, Jan van Eijck
2011 Lecture Notes in Computer Science  
We develop an epistemic logic to specify and reason about information flow and its underlying communication channels.  ...  about the observational power of agents.  ...  To reason about the information flow in such a scenario, we have to take into account the following issues: the messages that the agents possess (e.g. secrets), agents' higher-order knowledge about each  ... 
doi:10.1007/978-3-642-20715-0_8 fatcat:slsnsq5dlbaxzdli6swtchp5qu

Dynamic Epistemic Logic for Implicit and Explicit Beliefs

Fernando R. Velázquez-Quesada
2014 Journal of Logic, Language and Information  
Following proposals for representing non-omniscient agents, recent works have explored how implicit and explicit knowledge change as a consequence of acts of observation, inference, consideration and even  ...  Dynamic epistemic logics have explored how knowledge and beliefs change as consequence of, among others, acts of observation and upgrade.  ...  Conclusions and further work We have presented a framework for representing implicit and explicit beliefs.  ... 
doi:10.1007/s10849-014-9193-0 fatcat:jyksf7e7tfgtdho7nlczp37slu

In Praise of Strategies [chapter]

Johan van Benthem
2012 Lecture Notes in Computer Science  
letters and action symbols for indicating players' turns and moves at nodes of the game tree.  ...  But there are hardly any explicit languages for defining, comparing, or combining strategies as such -the way we have them for actions and plans, maybe the closest intuitive analogue to strategies.  ...  Thus, propositional dynamic logic does a reasonable job in defining explicit strategies in simple extensive games.  ... 
doi:10.1007/978-3-642-29326-9_6 fatcat:3atr6272gbfzhel5of5pnj5swe

E-PDDL: A Standardized Way of Defining Epistemic Planning Problems [article]

Francesco Fabiano, Biplav Srivastava, Jonathan Lenchner, Lior Horesh, Francesca Rossi, Marianna Bergamaschi Ganapini
2021 arXiv   pre-print
Its general form, the Multi-agent Epistemic Planning (MEP) problem involves multiple agents who need to reason about both the state of the world and the information flow between agents.  ...  Epistemic Planning (EP) refers to an automated planning setting where the agent reasons in the space of knowledge states and tries to find a plan to reach a desirable state from the current state.  ...  MEP derives from the well-known research area of Dynamic Epistemic Logic which uses logic to formalize and reason and reason on both the state of the world and on the information change in dynamic domains  ... 
arXiv:2107.08739v1 fatcat:hzzd7ovfbna2la5fvc3aboxwxa

Explaining as a Teaching Strategy [chapter]

Garry Hoban
2015 Encyclopedia of Science Education  
The knowledge it produces has proved to be a reliable basis for action in our personal, social and economic lives" (ACARA 2012, p. 3).  ...  They often provide cause and effect relations, include a time sequence, and use action verbs.  ...  For example, someone may ask a question about a weather phenomenon such as "what is a tornado?"  ... 
doi:10.1007/978-94-007-2150-0_405 fatcat:hxhmujkze5be7lhcoxy5xh5twy

Explaining as a Teaching Strategy [chapter]

Garry Hoban
2014 Encyclopedia of Science Education  
The knowledge it produces has proved to be a reliable basis for action in our personal, social and economic lives" (ACARA 2012, p. 3).  ...  They often provide cause and effect relations, include a time sequence, and use action verbs.  ...  For example, someone may ask a question about a weather phenomenon such as "what is a tornado?"  ... 
doi:10.1007/978-94-007-6165-0_405-2 fatcat:jh4pb6iuw5c6fkmkyccujzmoje

Do We "do"?

Steven A. Sloman, David A. Lagnado
2005 Cognitive Science  
A normative framework for modeling causal and counterfactual reasoning has been proposed by Spirtes, Glymour, and Scheines (1993; cf. Pearl, 2000).  ...  The framework takes as fundamental that reasoning from observation and intervention differ. Intervention includes actual manipulation as well as counterfactual manipulation of a model via thought.  ...  Some of the results for 2 of the 3 scenarios in Experiments 3 and 4 and Experiment 5 were reported at the 2002 Cognitive Science Society conference.  ... 
doi:10.1207/s15516709cog2901_2 pmid:21702766 fatcat:wetrytqm6vaxhnuxdnthgfjzoq
« Previous Showing results 1 — 15 out of 242,895 results