25,696 Hits in 3.8 sec

Iterated Theory Base Change: A Computational Model

Mary-Anne Williams
1995 International Joint Conference on Artificial Intelligence  
theory change operators and the theory base change operators developed herein suggest that the proposed computational model for iterated theory base change exhibits desirable behaviour  ...  The AGM paradigm is a formal approach to ideal and rational information change From a practical perspective it suffers from two shortcomings, the first involves difficulties with respect to the finite  ...  Acknowledgements Journal of Symbolic Logic, 50 510-530, 1985 [Boutilier, 1993]  ... 
dblp:conf/ijcai/Williams95 fatcat:fkmbbd43tjhszmybcekz2bpu7m

Grounding, conceivability, and the mind-body problem

Hasen Khudairi
2016 Synthese  
The regimentation demonstrates how ontological dependencies between truths about consciousness and about physics cannot be witnessed by epistemic constraints, when the latter are recorded by the conceivability-i.e  ...  ., the epistemic possibility-thereof.  ...  is: -strict partial, s.t.  ... 
doi:10.1007/s11229-016-1254-2 fatcat:pka5aaedqfegnlpkotydq2vapu

A framework for knowledge-based systems

Alexei Yu. Muravitsky
1996 Journal of Applied Non-Classical Logics  
How the agent does it does not depend on any many-valued logic understood as a system of valid formulas.  ...  Below we consider three operations for the knowledge space associated with a fixed epistemic structure F.  ... 
doi:10.1080/11663081.1996.10510884 fatcat:brxzq3hsv5hbjevlg6rzwluk3u

Some foundational questions concerning language studies: With a focus on categorial grammars and model-theoretic possible worlds semantics

Mark H. Bickhard, Robert L. Campbell
1992 Journal of Pragmatics  
First, we demonstrate that the logical foundations of standard approaches to language studies involve an incoherence in their presuppositions.  ...  For example, context-dependencies are not the only aspect of operativity that has been partially recognized in language studies.  ...  This particular model of Kaplan's has been generalized (e.g., Richard, 1983) , and similar partial encounters with context-dependent operativity are to be found throughout the literature (e.g., Cresswell  ... 
doi:10.1016/0378-2166(92)90060-o fatcat:2lld4crzt5gh7mcewjmhpnxblu

Angerona - A Flexible Multiagent Framework for Knowledge-Based Agents [chapter]

Patrick Krümpelmann, Tim Janus, Gabriele Kern-Isberner
2015 Lecture Notes in Computer Science  
We present the Angerona framework for the implementation of knowledge-based agents with a strong focus on flexibility, extensibility, and compatibility with diverse knowledge representation formalisms.  ...  Angerona already contains several partial and complete instantiations that implement several approaches.  ...  These are partially or completely based on logical inference.  ... 
doi:10.1007/978-3-319-17130-2_3 fatcat:wgdwdspx4jaf7dvpo2rlup2ore

What about Linear Logic in Computer Science?

2013 Acta Polytechnica Hungarica  
Finally, we consider possible extensions of linear logic and we illustrate how an extension with epistemic operators can serve for obtaining knowledge and belief about an intrusion attempt.  ...  We start with a short overview of linear logic with an emphasis on the special properties of linear implication and exponential operators.  ...  with modal operators of necessity and possibility we have used modal linear logic for reasoning about the observable behavior of programs [13] ;  Extending linear logic with epistemic operators of knowledge  ... 
doi:10.12700/aph.10.04.2013.4.9 fatcat:vk55sjgg2fgohcfbbglc6tbgva

Commonsense Reasoning to Guide Deep Learning for Scene Understanding (Extended Abstract)

Mohan Sridharan, Tiago Mota
2020 Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence  
Our architecture uses non-monotonic logical reasoning with incomplete commonsense domain knowledge, and incremental inductive learning, to guide the construction of deep network models from a small number  ...  a reduction in computational effort in comparison with an architecture based just on deep networks.  ...  using modal epistemic operators).  ... 
doi:10.24963/ijcai.2020/653 dblp:conf/ijcai/CabalarFC20 fatcat:krrybjfz35eftb3x3pieiauuw4


Jaakko Hintikka
1986 Theoretical Aspects of Reasoning About Knowledge  
A number of other theories are discussed as further developments of epistemic logic. They include:  ...  Theories of knowledge representation and reasoning about knowledge in philosophy are considered from the vantage point of epistemic logic.  ...  Notice that the informational dependence of the different operators b'~ K, ('Vx), and {'~y) in (4.15) is not even partially ordered, but exhibit a ioop structure: (4.17) ('v'x) (x admires y) This is logically  ... 
doi:10.1016/b978-0-934613-04-0.50007-7 fatcat:czq7l2syhbcwbcbclyv7c6hlwy

Hintikka's Knowledge and Belief in Flux [chapter]

Vincent F. Hendricks, Rasmus K. Rendsvig
2018 Jaakko Hintikka on Knowledge and Game-Theoretical Semantics  
And in theory and for practice epistemic logic has been extensively articulated, refined and developed especially with respect to capturing the dynamics of reasoning about knowledge.  ...  But although the robust narrative about Hintikka's epistemic logic is rather static, the leap to dynamic epistemic logic is right there back in 1962 as this paper will show.  ...  Subset inclusion yields a partial order on the set M Φ by N t M s iff N ⊆ M . The model system semantics for the static operator k a (with dual p a := ¬k a ¬) are normal modal logical semantics.  ... 
doi:10.1007/978-3-319-62864-6_13 fatcat:dsz4izrt6bb55jq6piiwhto2tm

What do epistemic logic and cognitive science have to do with each other?

Ahti-Veikko Pietarinen
2003 Cognitive Systems Research  
In this paper, it is shown that a number of possibilities is opened up by attempting to answer the question of what epistemic logic and cognitive science have to do with each other.  ...  Epistemic logic is a multi-faceted theory aimed at targeting notions such as knowledge, belief, information, awareness, memory and other propositional attitudes, by means of logical and semantical tools  ...  Quantified epistemic logic not always linear n that every n-ary function symbol f has a denotation of an n-ary (possible partial) operation in a domain Technically, our quantified epistemic language D  ... 
doi:10.1016/s1389-0417(03)00003-2 fatcat:d2cuj7dpyvftfcmiqobcm5ilyu

Possibilistic vs. Relational Semantics for Logics of Incomplete Information [chapter]

Mohua Banerjee, Didier Dubois, Lluis Godo
2014 Communications in Computer and Information Science  
Our approach can be viewed as an alternative to the basic epistemic logic not concerned with introspection.  ...  We discuss the difference with S5 used as a logic for rough sets, and the similarity with some previous non-monotonic logics of knowledge is highlighted.  ...  Acknowledgments Godo acknowledges partial support by the Spanish MINECO project EdeTRI TIN2012-39348-C02-01.  ... 
doi:10.1007/978-3-319-08795-5_35 fatcat:h2tkqeuydvbtpbbwzwyccxhvnq

The rubric as an assessment strategy in the mathematical argumentation process

J Salazar-Torres, M Vera, Y Contreras, E Gelvez-Almeida, Y Huérfano, O Valbuena
2020 Journal of Physics, Conference Series  
The study was based on the theory of mathematical argumentation proposed by Duval and the contributions of León and Calderón, as well as the dimensions presented to us by the logical frameworks in the  ...  Analytical rubric with theoretical epistemic value: Middle term.  ...  Table 1 . 1 Analytical rubric with semantic epistemic value: Premises.  ... 
doi:10.1088/1742-6596/1514/1/012026 fatcat:a4ugxd6brvdxbacqhmige5sqbi

Epistemological Contextualism from a Logical Point of View

Yves Bouchard
2018 Modélisation et utilisation du contexte  
This paper aims at presenting a logical framework capable of expressing epistemological contextualism.  ...  By means of a notion of epistemic context defined on the basis of the notion of context developed by McCarthy and Buvač in artificial intelligence, I show how an indexical interpretation of the knowledge  ...  operator, and the antecedent of the epistemic standard may not even contain any epistemic terms, depending on the context.  ... 
doi:10.21494/iste.op.2018.0242 fatcat:sjuahlgyqbbu7icawoijnszxgu

A Simplicial Model for KB4_n: Epistemic Logic with Agents that May Die [article]

Eric Goubault and Jérémy Ledent and Sergio Rajsbaum
2021 arXiv   pre-print
This yields the epistemic logic KB4 which can reason about situations where some of the agents may die.  ...  The standard semantics of multi-agent epistemic logic S5 is based on Kripke models whose accessibility relations are reflexive, symmetric and transitive.  ...  Fortunately, such formulas can already be expressed in our logic without any extra work, as derived operators: It is easy to check that the semantics of these formulas is, as expected: In partial epistemic  ... 
arXiv:2108.10293v1 fatcat:ncxroeo6xvgx5b64f6tny6gjpe

How much does an agent believe: an extension of modal epistemic logic [chapter]

Subrata K. Das
1998 Lecture Notes in Computer Science  
Epistemic logic, that is the logic of knowledge and belief, cannot avoid this shortcomings because it inherits the syntax and semantics of modal logics.  ...  In this paper, we develop an extended formalism of modal epistemic logic which will allow an agent to represent its degrees of support about an assertion.  ...  In general, a dictionary will be a semi-lattice with the partial order relation .  ... 
doi:10.1007/3-540-49426-x_19 fatcat:5quoshqzhzhwtcp54mpiwwdlny
« Previous Showing results 1 — 15 out of 25,696 results