Results 41 to 50 of about 58,088 (162)
A Resolution Method for Modal Logic S5
EPiC Series in Computing, 2018 The aim of this work is to define a resolution method for the modal logic S5. Wefirst propose a conjunctive normal form (S5-CNF) which is mainly based on using labelsreferring to semantic worlds. In a sense, S5-CNF can be seen as a generalization of theconjunctive normal form in propositional logic by using in the clause structure the modalconnective ...
Salhi, Yakoub, Sioutis, Michael
openaire +3 more sources
Linear Resolution for Fuzzy Logic Program
Journal of Japan Society for Fuzzy Theory and Systems, 1994 Summary: Fuzzy logic programming is the theoretical foundation of Fuzzy Prolog, which is a fuzzy programming language based on fuzzy logic. In this paper, fuzzy logic programming is defined such that (1) fuzzy definite clause which is a logic formula for a representation of uncertain assertion, (2) fuzzy logical consequence which is a fuzzy definite ...
Kikuchi, Hiroaki, Mukaidono, Masao
openaire +3 more sources
The Significance of Informal Logic for Philosophy
Informal Logic, 2000 Informal logic is a new sub-discipline of philosophy, roughly definable as the philosophy of argument. Contributors have challenged the traditional concept of an argument as a premiss-conclusion complex, in favour of speech-act, functional and dialogical
David Hitchcock
doaj +1 more source
Clausal resolution in a logic of rational agency
Artificial Intelligence, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Clare Dixon +2 more
openaire +4 more sources
Descriptive and diagnostic analysis of customer complaints for different electric companies of Ecuador using Neutrosophic Logic [PDF]
Neutrosophic Sets and SystemsThis article presents a descriptive analysis of complaint and claim management by ARCONEL and Electricity Distribution Companies in Ecuador for the year 2023. The dataset includes information about complaint outcomes such as 'Procedentes' (resolved), 'No
Marco Arguello Arguello +3 more
doaj
International Journal of Advanced Robotic Systems, 2019 This article presents an approach for assessing contingency resolution strategies using temporal logic. We present a framework for nominal mission modeling, then specifying contingency resolution strategies and evaluating their effectiveness for the ...
Shaurya Shriyam, Satyandra K Gupta
doaj +1 more source
Very High Resolution Satellite Image Classification Using Fuzzy Rule-Based Systems
Algorithms, 2013 The aim of this research is to present a detailed step-by-step method for classification of very high resolution urban satellite images (VHRSI) into specific classes such as road, building, vegetation, etc., using fuzzy logic. In this study, object-based
Yun Zhang, Shabnam Jabari
doaj +1 more source
Adding a Degree of Certainty to Deductions in a Fuzzy Temporal Constraint Prolog: FTCProlog
AxiomsThe management of time is essential in most AI-related applications. In addition, we know that temporal information is often not precise. In fact, in most cases, it is necessary to deal with imprecision and/or uncertainty. On the other hand, there is the
María-Antonia Cárdenas-Viedma
doaj +1 more source
Agronomía Colombiana, 2014 The aim of this paper is to illustrate the use of digital elevation models (DEM) to calculate relief parameters and include them in suitability studies of land for mango crops in Colombia.
Oscar Javier Munar-Vivas +1 more
doaj +1 more source
Severity classification for idiopathic pulmonary fibrosis by using fuzzy logic
Clinics, 2011 OBJECTIVE: To set out a severity classification for idiopathic pulmonary fibrosis (IPF) based on the interaction of pulmonary function parameters with high resolution computed tomography (CT) findings. INTRODUCTION: Despite the contribution of functional
Agnaldo José Lopes +5 more
doaj +1 more source