Filters








40 Hits in 4.5 sec

Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees [chapter]

Marjon Blondeel, Steven Schockaert, Martine De Cock, Dirk Vermeir
2011 Lecture Notes in Computer Science  
We combine these ideas to a fuzzy autoepistemic logic which can be used to reason about one's knowledge about the degrees to which proporties are satisfied.  ...  Autoepistemic logic is one of the principal formalisms for nonmonotonic reasoning. It extends propositional logic by offering the ability to reason about an agent's (lack of) knowledge or beliefs.  ...  The resulting fuzzy autoepistemic logic is useful to reflect on one's beliefs (or knowledge) about the degrees to which some properties are satisfied.  ... 
doi:10.1007/978-3-642-22152-1_52 fatcat:kc3crepsknerpm4fienzuxhmne

On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief

Marjon Blondeel, Tommaso Flaminio, Steven Schockaert, Lluís Godo, Martine De Cock
2015 Fuzzy sets and systems (Print)  
Fuzzy autoepistemic logic is a generalization of autoepistemic logic that allows to represent an agent's rational beliefs on gradable propositions.  ...  To investigate whether a similar relationship holds in a fuzzy logical setting, we firstly generalize the main modal logics for belief to the setting of finitely-valued Łukasiewicz logic with truth constants  ...  Acknowledgements The authors are grateful to anonymous reviewers for their helpful comments and suggestions that have helped to improve the final presentation of this paper.  ... 
doi:10.1016/j.fss.2015.02.018 fatcat:tedcqm4f6rd2fepmzkgby4pbva

Fuzzy autoepistemic logic and its relation to fuzzy answer set programming

Marjon Blondeel, Steven Schockaert, Martine De Cock, Dirk Vermeir
2014 Fuzzy sets and systems (Print)  
We combine these ideas to a fuzzy autoepistemic logic which can be used to reason about one's beliefs in the degrees to which proporties are satisfied.  ...  Autoepistemic logic is an important formalism for nonmonotonic reasoning. It extends propositional logic by offering the ability to reason about an agent's (lack of) beliefs.  ...  In this paper we combine autoepistemic logic and fuzzy logics. The resulting fuzzy autoepistemic logic is useful to reflect on one's beliefs about the degrees to which some properties are satisfied.  ... 
doi:10.1016/j.fss.2012.09.012 fatcat:mfbvgiydovesrpruo2v5xn3avu

Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too [article]

Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
2011 arXiv   pre-print
We argue that Reiter's default logic is a better formalization of Moore's intuitions about autoepistemic propositions than Moore's own autoepistemic logic.  ...  The first goal of this paper is to show that some problems of Reiter's default logic as a formal way to reason about informal defaults are directly attributable to the autoepistemic nature of default logic  ...  Acknowledgments The work of the first author was partially supported by FWO-Vlaanderen under project G.0489.10N. The work of the third author was partially supported by the NSF grant IIS-0913459.  ... 
arXiv:1108.3278v1 fatcat:5an7m6atife55dq4sk6vyff46q

How Philosophical is Informal Logic?

John Woods
2000 Informal Logic  
The best chance of showing this to be true is showing that informal logic is part of logic, which in turn is a part of philosophy. Part 1 is given over to the task of sorting out these connections.  ...  Consider the proposition, "Informal logic is a subdiscipline of philosophy".  ...  Thus it is provided that in fuzzy logic truth comes in degrees. Either way, fuzzy logic purports to model the human capacity for reasoning with inexact concepts.  ... 
doi:10.22329/il.v20i2.2266 fatcat:cfd2y2j5jjdgpfws7tc5gsiwre

Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty

Da Ruan, Jun Liu, Luis Martínez, Yang Xu
2010 Journal of universal computer science (Online)  
Decision making under uncertainty is a key issue in information fusion and logic based reasoning approaches.  ...  The aim of this paper is to show noteworthy theoretical and applicational issues in the area of decision making under uncertainty that have been already done and raise new open research related to these  ...  Acknowledgements This work is partially supported by the National Natural Science Foundation of China (Grant Nos. 60474022 and 60875034), the Specialized Research Foundation for the Doctoral Program of  ... 
doi:10.3217/jucs-016-01-0003 dblp:journals/jucs/XuLMR10 fatcat:xmpnyrflcjcankp7uhi2nvhvwq

Expressive reasoning with horn rules and fuzzy description logics

Theofilos Mailis, Giorgos Stoilos, Giorgos Stamou
2010 Knowledge and Information Systems  
In this paper, we describe fuzzy CARIN, a knowledge representation language combining fuzzy Description Logics with Horn rules.  ...  Fuzzy CARIN integrates the management of fuzzy logic into the non-recursive CARIN language.  ...  To the best of our knowledge, though there exists a great amount of work involving the integration of fuzzy logic into DLs, little work has been done toward the extension of fuzzy DLs with fuzzy Logic  ... 
doi:10.1007/s10115-010-0304-1 fatcat:ujedrdu27bdr7liio2ha3k7afa

Reduction of Many-valued into Two-valued Modal Logics [article]

Zoran Majkic
2011 arXiv   pre-print
truth values of original many-valued logic, transformed as parameters (or possible worlds), and the set of classic two logic values.  ...  In all cases, by using developed 2-valued reductions we obtain a kind of non truth-valued modal meta-logics, where two-valued formulae are modal sentences obtained by application of particular modal operators  ...  However, here we are not speaking about a truth value of a many-valued ground formulae φ ∈ Ł mv , but about a truth value of a meta sentence Γ ⊢ φ.  ... 
arXiv:1103.0920v1 fatcat:g2fly57fhrei7mcqngzfx5ntwe

Rough Sets and Rough Logic: A KDD Perspective [chapter]

Zdzisław Pawlak, Lech Polkowski, Andrzej Skowron
2000 Studies in Fuzziness and Soft Computing  
logic, propositional logic, predicate logic, modal logic, belief and belief revision logics, default logic, para-consistent logic, non-monotonic logic, fuzzy logic, rough logic. their negations) such  ...  A fortiori, we have to describe concepts of interest (features, properties, relations etc.) not completely but by means of their reflections (i.e. approximations) in the chosen language.  ...  Inductive Reasoning about Knowledge Inductive reasoning about knowledge presented above aims at evaluating the degree of assurance in validity of inferences p ⊢ q.  ... 
doi:10.1007/978-3-7908-1840-6_13 fatcat:vy35ujzaszcwvevywvjcms4wzy

A simple logic for reasoning about incomplete knowledge

Mohua Banerjee, Didier Dubois
2014 International Journal of Approximate Reasoning  
In this sense MEL, even if syntactically a fragment of a known modal logic, is not really in the spirit of the standard modal logic trend for representing and reasoning about knowledge.  ...  of belief or knowledge statements.  ...  Acknowledgements The first author acknowledges the support of IRIT, CNRS, for a visit during which the work was initiated.  ... 
doi:10.1016/j.ijar.2013.11.003 fatcat:ss43tf3rcra5zpdqu4wjrblosy

A Simple Modal Logic for Reasoning about Revealed Beliefs [chapter]

Mohua Banerjee, Didier Dubois
2009 Lecture Notes in Computer Science  
Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of classical logic.  ...  One important issue is to represent how an agent can reason about another agent's knowledge and beliefs. Consider two agents E (for emitter) and R (for receiver).  ...  In autoepistemic logic an agent is reasoning about his or her own beliefs, or lack thereof, not about another agent's beliefs. So AEL naturally allows for the nesting of modalities, contrary to M EL.  ... 
doi:10.1007/978-3-642-02906-6_69 fatcat:cyhbkidkufe5zjie6bsigstoyu

Characterizing and extending answer set semantics using possibility theory

KIM BAUTERS, STEVEN SCHOCKAERT, MARTINE DE COCK, DIRK VERMEIR
2014 Theory and Practice of Logic Programming  
However, ASP cannot be used easily for reasoning about uncertain information. Possibilistic ASP (PASP) is an extension of ASP that combines possibilistic logic and ASP.  ...  As such, it allows us to model and reason about uncertain information in an intuitive way.  ...  Note that, like interpretations in ASP, these valuations are of an epistemic nature, i.e. they reflect what we know about the truth of atoms.  ... 
doi:10.1017/s147106841300063x fatcat:qi6sp2bwgveqzopi7ovxzagr7q

Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief

Daniel G. Schwartz
2003 Artificial Intelligence  
The system employs a novel, dual-leveled language that follows fuzzy logic by interpreting the logical or and and as the arithmetical max and min.  ...  Belief is measured along a series of linguistic degrees, e.g., strongly believes, fairly confidently believes, somewhat disbelieves, etc., and knowledge is taken as unequivocal belief.  ...  The latter use an adaptation of the familiar possible-worlds semantics. In this vein also is the "autoepistemic logic" devised by Moore [24, 25] .  ... 
doi:10.1016/s0004-3702(03)00022-5 fatcat:dzi7oomu45g2ro27be43uffljm

The development of an evolutionary algorithm to predict outcomes in meteorological trends

Louellen E. McCoy, Stuart H. Rubin
2009 2009 IEEE International Conference on Information Reuse & Integration  
Auto-epistemic logic was formalized by Moore in the early 1980's and gives a formal account of reasoning based upon beliefs [11] . The word, autoepistemic, means reflection upon self knowledge.  ...  FUZZY LOGIC Lofti Zadeh explains the difference between fuzzy logic and classical logic in this excerpt [10] : Fuzzy logic is determined as a set of mathematical principles for knowledge representation  ... 
doi:10.1109/iri.2009.5211650 dblp:conf/iri/McCoyR09 fatcat:hxdi76hohzajrd64f7xr5xw6ge

An empirical evaluation of the inferential capacity of defeasible argumentation, non-monotonic fuzzy reasoning and expert systems

Lucas Rizzo, Luca Longo
2020 Expert systems with applications  
Thus, this paper focuses on a comparison of three knowledge-driven approaches employed for non-monotonic reasoning, namely expert systems, fuzzy reasoning and defeasible argumentation.  ...  Findings suggest that the variance of the inferences of expert systems and fuzzy reasoning models was higher, highlighting poor stability.  ...  Possibility allowed fuzzy reasoning models to determine the extent to which data fails to refute its truth, while necessity represented the usual truth values of fuzzy logic.  ... 
doi:10.1016/j.eswa.2020.113220 fatcat:p6iolac7cfdgnlw52p36fwtfi4
« Previous Showing results 1 — 15 out of 40 results