2,249 Hits in 4.6 sec

Answer Sets in a Fuzzy Equilibrium Logic [chapter]

Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock
2009 Lecture Notes in Computer Science  
In this paper, we combine the expressiveness of both approaches, and define answer sets of arbitrary fuzzy propositional theories as models in a fuzzification of equilibrium logic.  ...  Finally, as an illustration of its modeling power, we show how fuzzy equilibrium logic can be used to find strong Nash equilibria.  ...  As illustrated for strong Nash equilibria, fuzzy equilibrium logic supports declarative problem solving for computationally demanding problems in a continuous domain.  ... 
doi:10.1007/978-3-642-05082-4_10 fatcat:2icliihgjrggrepgqvz35efhde

Model Reduction of Fuzzy Logic Systems

Zhandong Yu, Jinyong Yu, Hamid Reza Karimi
2014 Mathematical Problems in Engineering  
This paper deals with the problem ofℒ2-ℒ∞model reduction for continuous-time nonlinear uncertain systems.  ...  Then, the model approximation is converted into a convex optimization problem by using a linearization procedure.  ...  Introduction It is well known that fuzzy logic theory is an effective approach for the manipulation of complex nonlinear systems.  ... 
doi:10.1155/2014/874530 fatcat:4ttjedf6abeu5hol3nr7ww7d7e

Fuzzy Answer Set Programming [chapter]

Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine de Cock
2012 Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach  
From the answer set semantics, FASP inherits the declarative nonmonotonic reasoning capabilities, while fuzzy logic adds the power to model continuous problems.  ...  FASP is a combination of answer set programming and fuzzy logics which has recently been proposed.  ...  The basic idea of FASP is to model search problems with continuous domains.  ... 
doi:10.2991/978-94-91216-59-6_3 fatcat:oqzn4dfxkncd3bs5m3oucm4ahy

Fuzzy Logic-Based Controller for Bipedal Robot

Khoi Phan Bui, Hong Nguyen Xuan
2021 Applied Sciences  
In this paper, the problem of controlling a human-like bipedal robot while walking is studied.  ...  In this paper, a method for building a fuzzy rule system suitable for bipedal robot control is proposed.  ...  The following sections will continue to present issues related to this problem.  ... 
doi:10.3390/app112411945 fatcat:l7dcixnzwjchnerojgo3sor6su

Logical Formalizations of Commonsense Reasoning: A Survey

Ernest Davis
2017 The Journal of Artificial Intelligence Research  
Commonsense reasoning is in principle a central problem in artificial intelligence, but it is a very difficult one.  ...  This paper surveys the use of logic-based representations of commonsense knowledge in artificial intelligence research.  ...  The representation of temporal information is very well understood, but that is the only domain in which representation is close to being a solved problem.  ... 
doi:10.1613/jair.5339 fatcat:rt4pvmx6dzejjjvijr4kucjldq

Planar Smooth Path Guidance Law for a Small Unmanned Aerial Vehicle with Parameter Tuned by Fuzzy Logic

Yang Chen, Jianhong Liang, Chaolei Wang, Yicheng Zhang, Tianmiao Wang, Chenghao Xue
2017 Journal of Control Science and Engineering  
In order to improve the path following performance, one of the parameters of the guidance law is tuned by using the fuzzy logic which will still keep its stability.  ...  The guidance law only needs the mathematical expression for the predefined path, the positions, and the velocities of the vehicle in the horizontal inertial frame.  ...  the fuzzy logic technique.  ... 
doi:10.1155/2017/6712602 fatcat:ulcr7pdwdvdohnzeod4lwpbclm

Weighted logics for artificial intelligence – an introductory discussion

Didier Dubois, Lluís Godo, Henri Prade
2014 International Journal of Approximate Reasoning  
This is the view held by fuzzy logic [10] .  ...  On the other hand, the most popular many-valued logics in AI seem to be those with 3 (Kleene [80]), 4 (Belnap [11]) or 5 (equilibrium logic [96] ) truth values, with a view to handle epistemic notions  ...  The authors solve an abduction problem for finding the most suitable set of causal rules from open-source knowledge resources, so that a plan for accomplishing the robot task can be computed using the  ... 
doi:10.1016/j.ijar.2014.08.002 fatcat:hri6ffyszzernoyexdemade37m

Coevolutionary Optimization of Fuzzy Logic Intelligence for Strategic Decision Support

R.W. Johnson, M.E. Melich, Z. Michalewicz, M. Schmidt
2005 IEEE Transactions on Evolutionary Computation  
We present a description and initial results of a computer code that coevolves fuzzy logic rules to play a two-sided zero-sum competitive game.  ...  For reasons not yet understood, the evolved rules (found in a symmetrical competition) place little value on information concerning the play of the opponent.  ...  The authors extend thanks to Yunjun Mu for writing code for the TEMPO Fuzzy-Logic coevolutionary system; to Wendell Anderson and Roger Hillson for an education in PGMT and for support in parallelizing  ... 
doi:10.1109/tevc.2005.856208 fatcat:34flxn7ri5dojabnd7eo3e4au4

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)  
In this paper, we consider a version of fuzzy answer set programming and show that its answer sets can be equivalently described as models in fuzzy autoepistemic logic.  ...  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.  ...  By allowing infinitely many truth degrees, FASP can model search problems with continuous domains, entirely similar as ASP does for search problems with discrete domains.  ... 
doi:10.1016/j.fss.2012.09.012 fatcat:mfbvgiydovesrpruo2v5xn3avu

Social Entrepreneurship: The Logic of Paradox

Scott Weller, Bing Ran
2020 Sustainability  
literature review method, this paper examines six major paradoxes and how they affect both the theory and practice of social entrepreneurship by furthering the nascent discussion about the role of paradoxes in  ...  Social entrepreneurship is a paradoxical phenomenon wherein seemingly incompatible elements such as business and social logics coexist.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/su122410642 fatcat:ooxeusmnqvhpnandlfsl32b2aa

Quantitative and logic modelling of molecular and gene networks

Nicolas Le Novère
2015 Nature reviews genetics  
The development and analyses of these models require their adaptation to the problems that need to be solved and the type and amount of available genetic or molecular data.  ...  Quantitative and logic modelling are among the main methods currently used to model molecular and gene networks. Each approach comes with inherent advantages and weaknesses.  ...  Continuous regulations were ultimately introduced in logic models with fuzzy logic 120 .  ... 
doi:10.1038/nrg3885 pmid:25645874 pmcid:PMC4604653 fatcat:ewf5l5frsbfr3pu3ut5c4wcb6y

Optimization of Transmission Signal Power through Observation of Congestion in VANets Using the Fuzzy Logic Approach: A Case Study in Highway and Urban Layout

Claudio Correa, Rodolfo I. Meneguette, Patrícia R. Oliveira, Jó Ueyama
2019 Wireless Communications and Mobile Computing  
In this scenario, the paper herein proposes eFIRST, a robust solution to autonomous detection of the current congestion condition in order to disseminate safety alerts and to reduce problems with the interruption  ...  In accordance with the intelligent protocols, this evaluation contributes providing grants for the ratification of fuzzy approximation as an adaptive strategy to fluctuations in vehicular density in different  ...  Conflicts of Interest The authors declare that there are no conflicts of interest regarding the publication of this paper.  ... 
doi:10.1155/2019/2605234 fatcat:34udr4ijsvdgzjuz2syzcuncyq

The Logical Structure of Human Behavior

Michael Starks
2019 Social Science Research Network  
time DMS was writing articles noting that it had solved the millennia old epistemological problem of how we can know anything for certain.  ...  "There must be no attempt to explain our linguistic/conceptual activity (PI 126) as in Frege's reduction of arithmetic to logic; no attempt to give it epistemological foundations (PI 124) as in meaning  ...  It should also be very straightforward to solve philosophical problems in this sense.  ... 
doi:10.2139/ssrn.3345766 fatcat:gwzvu6hhcvf7tkwivoxyzswapy

Operators in Nature, Science, Technology, and Society: Mathematical, Logical, and Philosophical Issues

Mark Burgin, Joseph Brenner
2017 Philosophies  
This logic is an extension of logic from its standard linguistic domain to real, complex processes and natural operators are themselves considered as active processes involved in effecting change at biological  ...  , including a new kind of logic called Logic in Reality [5].  ...  The key conceptions in standard theories are those of Prigogine [36] of dissipative systems far from equilibrium, continued by Salthe among many others.  ... 
doi:10.3390/philosophies2030021 fatcat:sefich6dvrerjiejphgliscyle

Probabilistic Constraint Logic Programming. Formal Foundations of Quantitative and Statistical Inference in Constraint-Based Natural Language Processing [article]

Stefan Riezler
2000 arXiv   pre-print
In addition, we address the problem of computational intractability of the calculation of expectations in the inference task and present various techniques to approximately solve this task.  ...  The first approach, called quantitative constraint logic programming, is conceptualized in a clear logical framework, and presents a sound and complete system of quantitative inference for definite clauses  ...  The remaining problem, namely solving this constrained maximum-entropy problem with respect to the parameters λ i , i = 1, . . . , n, can be shown to be equivalent to solving a maximum likelihood problem  ... 
arXiv:cs/0008036v1 fatcat:vmk2ctxzh5c3ddmoyzs2elm7e4
« Previous Showing results 1 — 15 out of 2,249 results