Πλοήγηση ανά Θέμα "Formal logic"
Αποτελέσματα 1-3 από 3
-
Assumption-based reasoning in dynamic normative agent systems
(2010)In this paper we address dynamic assumption-based reasoning in open agent systems, where, unavoidably, agents have incomplete knowledge about their environment and about other agents. The interactions among agents in such ... -
Defeasible reasoning with e-contracts
(2007)We propose a mapping from a contract representation in Event Calculus to Default Logic. The resulting representation allows for defeasible reasoning with e-contracts, which is useful in order to determine the normative ... -
Limiting the impact of statistics as a proverbial source of falsehood
(2019)This paper presents an early version of a decision-making “eco” system. We refer to it as an “eco” system because it is primarily based on mathematical logic and combines concepts and principles from the fields of statistics, ...