Results 41 to 50 of about 52,814 (199)

Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach

Mathematics, 2020
This paper relates two interesting paradigms in fuzzy logic programming from a semantical approach: core fuzzy answer set programming and multi-adjoint normal logic programming.
M. Eugenia Cornejo, David Lobo, Jesús Medina   +2 more
doaj   +1 more source

Proof Complexity of Propositional Default Logic [PDF]

, 2010
Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and skeptical reasoning in propositional default logic.
Beyersdorff, O, Meier, A, Mueller, S, Thomas, M, Vollmer, H   +4 more
core   +3 more sources

The empirical study of norms is just what we are missing

Frontiers in Psychology, 2014
This paper argues that the goals people have when reasoning determine their own norms of reasoning. A radical descriptivism which avoids norms never worked for any science; nor can it work for the psychology of reasoning. Norms as we understand them are
Theodora eAchourioti, Andrew J B Fugard, Keith eStenning   +2 more
doaj   +1 more source

Belief Change without Compactness

CLEI Electronic Journal, 2021
Dealing with dynamics is a vital problem in Artificial Intelligence (AI). An intelligent system should be able to perceive and interact with its environment to perform its tasks satisfactorily.
Jandson S Ribeiro
doaj   +1 more source

Labelled Tableaux For Non-Normal Modal Logics [PDF]

, 1999
In this paper we show how to extend KEM, a tableaux-like proof system for normal modal logic, in order to deal with classes of non-normal modal logic, such as monotonic and regular, in a uniform and modular ...
A. Artosi, B. Chellas, D. M. Gabbay, G. Boolos, G. Governatori, L. Li, L. Lismont, M. D’Agostino, M. Fitting, M. J. Cresswell, N. Resher, O. Gasquet   +11 more
core   +4 more sources

Structural Rules for Abduction

Theoria, 2009
Atocha Aliseda gives in Abductive Reasoning (2006) a structural characterization of the forward explanatory reasoning from a theory to observational data.
Ilka Niiniluoto
doaj   +1 more source

Defeasible Logic: Agency, Intention and Obligation [PDF]

, 2004
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of these notions and then we show how to represent and reason with them in the ...
A. Rao, D. Nute, D. Nute, F. Santos, G. Governatori, J. Broersen, J. Carmo, J. Gelati, J.-J.C. Meyer, L. Torre van der, M.E. Bratman, M.J. Maher, R. Hilpinen, R.H. Thomason   +13 more
core   +1 more source

Temporalised Normative Positions in Defeasible Logic [PDF]

, 2005
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of temporalised agency and temporalised normative positions.
Governatori, G., Rotolo, A., Sartor, G.
core   +3 more sources

ALE Defeasible Description Logic [PDF]

, 2006
One of Semantic Web strengths is the ability to address incomplete knowledge. However, at present, it cannot handle incomplete knowledge directly. Also, it cannot handle non-monotonic reasoning.
D. Billington, D. Nute, G. Antoniou, G. Governatori, M.J. Maher, M.J. Maher, P. Pothipruk   +6 more
core   +2 more sources

Conditional random k satisfiability modeling for k = 1, 2 (CRAN2SAT) with non-monotonic Smish activation function in discrete Hopfield neural network

AIMS Mathematics
The current development of logic satisfiability in discrete Hopfield neural networks (DHNN)has been segregated into systematic logic and non-systematic logic.
Nurshazneem Roslan , Saratha Sathasivam , Farah Liyana Azizan   +2 more
doaj   +1 more source