Cumulative default logic: in defense of nonmonotonic inference rules
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Constraint programming viewed as rule-based programming
Theory and Practice of Logic Programming
Precisiated natural language (PNL)
AI Magazine
Preferred answer sets for ordered logic programs
Theory and Practice of Logic Programming
Answer set based design of knowledge systems
Annals of Mathematics and Artificial Intelligence
Is there a need for fuzzy logic?
Information Sciences: an International Journal
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Fundamenta Informaticae
Generalized theory of uncertainty (GTU)-principal concepts and ideas
Computational Statistics & Data Analysis
| Hi-index | 0.00 |
The work concerns a new formalism of common-sense reasoning modeling. It combines 'classical' Reiter's default logic and Brewka's cumulative default logic with Zadeh's generalized theory of uncertainty and granular reasoning. Various aspects of uncertainty and ignorance are discussed with respect to intelligent humans' behavior patterns. The paper introduces basic definitions of Fuzzy Default Logic (FDL) and presents the inference scheme together with the conclusion assessment procedure and problems of hypotheses stability. PROLOG implementation of the entire inference engine is given. The problems of hypotheses generation and revision of beliefs are discussed. Finally, FDL is compared to the answer set programming and other disjunction logic based approaches.