5 Hits in 3.6 sec

Tractable Epistemic Reasoning with Functional Fluents, Static Causal Laws and Postdiction [article]

Manfred Eppe
2020 arXiv   pre-print
In contrast to existing tractable approaches, the theory supports functional fluents and postdictive reasoning with static causal laws.  ...  of static causal laws.  ...  ACKNOWLEDGEMENTS I thank Mehul Bhatt for the invaluable help with the original version of the HPX theory (Eppe et al., 2013a) .  ... 
arXiv:1403.0034v4 fatcat:buwbb6qnjreo3nq5w25ry7feuq

h-approximation: History-Based Approximation of Possible World Semantics as ASP [article]

Manfred Eppe, Mehul Bhatt, Frank Dylla
2013 arXiv   pre-print
We demo the planning system with standard problems, and illustrate its integration in a larger software framework for robot control in a smart home.  ...  A novelty is support for postdiction wrt.  ...  [22] introduce A c k and add Static Causal Laws (SCL) to the 0-approximation semantics of A k .  ... 
arXiv:1304.4925v4 fatcat:c2gcaky6lzhihdx6ym2iacfajy

Chapter 18 Temporal Action Logics [chapter]

Patrick Doherty, Jonas Kvarnström
2008 Foundations of Artificial Intelligence  
The phrase "Temporal Action Logics" represents a class of logics for reasoning about action and change that evolved from Sandewall's book on Features and Fluents [61] and owes much to this ambitious project  ...  The study of frameworks and formalisms for reasoning about action and change [67, 58, 61, 65, 70, 3, 57] has been central to the knowledge representation field almost from the inception of Artificial Intelligence  ...  Definition 18.6 (Static Formula) A static formula is a temporal formula, a value formula, a fixed fluent formula, a fluent change formula, true, false, or a combination of static formulas formed using  ... 
doi:10.1016/s1574-6526(07)03018-0 fatcat:mcoyxg7aije6dcjxj2y5aacg5q

The sharia: sources, legal theory and unofficial sources of law [chapter]

Jonathan Ercanbrack
The Transformation of Islamic Law in Global Financial Markets  
Legal theory, sources of law and the semantic web Boer, A. Link to publication Citation for published version (APA): Boer, A. (2009). Legal theory, sources of law and the semantic web.  ...  Epistemic level decision making -dominant in prediction, postdiction, diagnosis, and assessment -deals with explaining and evaluating what is happening, or what to think.  ...  (fluent entails fluent) where the consequent is always a legal fact.  ... 
doi:10.1017/cbo9781107447929.003 fatcat:ivopkakf5fclpdaibyrcilu5jq

Allostasis and uncertainty: An active inference perspective

cope with complex environmental dynamics.  ...  This thesis sets out to understand how biological systems deal with uncertainty.  ...  De-identified raw and preprocessed data, along with source code for the analyses presented in this paper, are openly available from the Bridges research repository ; 26180/c.5084189  ... 
doi:10.26180/16570770 fatcat:loaydhpkk5dmjdpmffrbmifaxm