Results 51 to 60 of about 783,609 (145)
Logical Omnipotence and Two notions of Implicit Belief [PDF]
The most widespread models of rational reasoners (the model based on modal epistemic logic and the model based on probability theory) exhibit the problem of logical omniscience.
Fraga Dantas, Danilo
core
Photovoltaic Power Forecasting: A Review on Models and Future Research Directions
It provides a detailed review of PV power forecasting for the AI‐models and future research directions. ABSTRACT The stability of power grid systems can be significantly affected by the unpredictability and volatility of power generation; however, accurate forecasting of solar energy power can help reduce this impact.
Upma Singh +3 more
wiley +1 more source
A nonmonotonic observation logic
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
How Can Inflation Contracts Discipline Central Bankers When Agents Are Learning?
ABSTRACT This paper studies, in a new Keynesian model with a positive optimal output gap, how to design linear inflation contracts to shape the central bank's incentive structure when private expectations are based on adaptive learning. In this model, under rational expectations, inflation contracts could only partially deal with the time‐inconsistency
Marine Charlotte André, Meixing Dai
wiley +1 more source
A Nonmonotonic Sequent Calculus for Inferentialist Expressivists [PDF]
I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical ...
Hlobil, Ulf
core
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics [PDF]
Sarit Kraus, D. Lehmann, M. Magidor
semanticscholar +1 more source
A strengthening of rational closure in DLs: reasoning about multiple aspects
We propose a logical analysis of the concept of typicality, central in human cognition (Rosch,1978). We start from a previously proposed extension of the basic Description Logic ALC (a computationally tractable fragment of First Order Logic, used to ...
Gliozzi, Valentina
core
Neurons and symbols: a manifesto [PDF]
We discuss the purpose of neural-symbolic integration including its principles, mechanisms and applications. We outline a cognitive computational model for neural-symbolic integration, position the model in the broader context of multi-agent systems ...
Garcez, A.
core
Inducing supplier backup via manufacturer information sharing under supply disruption risk. [PDF]
Li G, Li X, Liu M.
europepmc +1 more source
A structured argumentation framework for detaching conditional obligations
We present a general formal argumentation system for dealing with the detachment of conditional obligations. Given a set of facts, constraints, and conditional obligations, we answer the question whether an unconditional obligation is detachable by ...
Beirlaen, Mathieu, Straßer, Christian
core

