-
St. Anselm of Canterbury's place in both the history of philosophy and
the history of theology is firmly recognized, but his place in the
history of logic is often overlooked. We argue that this is primarily
the result of four factors: (1) the primary propagator of Anselm's
logical works in the ...
-
Generalizing ordinary topological and pretopological spaces, we
introduce the notion of peritopology where neighborhoods of a point
need not contain that point, and some points might even have an empty
neighborhood. We briefly describe various intrinsic aspects of this
notion. Applied to modal log...
-
In formal approaches to inductive learning, the ability to learn is
understood as the ability to single out a correct hypothesis from a
range of possibilities. Although most of the existing research focuses
on the characteristics of the learner, in many paradigms the
significance of the teacher’s...
-
Without aspiring to historical or systematic completeness, this paper
presents an informal survey of some lines in 20th century Polish
logic, together with some general historical background, and making
special reference to the author’s environment in Opole, and the
contributions by her teacher J...
-
Questions can be viewed as triggers for explicit events of 'issue
management'. We give a complete calculus in the dynamic-epistemic
logic style for events of raising, refining, and resolving an issue,
all in the presence of information flow through observation or
communication. We explore a few ...
-
Identifying the structure of a narrative via an agent-based logic of
preferences and beliefs:
Formalizations of episodes from CSI: Crime Scene Investigation
Benedikt Löwe, Eric Pacuit, Sanchit Saraf
Abstract:
Finding out what makes two stories equivalent is a daunting task for a
formalization o...
-
We discuss Kripke's seminal 1963 paper 'Semantical Considerations on
Modal Logic', and sketch the subsequent history of modal logic,
including its shifting role in the field of logic as a whole.
-
In both individual and collective decision making, the space of
alternatives from which the agent (or the group of agents) has to
choose often has a combinatorial (or multi-attribute) structure. We
give an introduction to preference handling in combinatorial domains
in the context of collective d...
-
While there are several languages for representing combinatorial
preferences over sets of alternatives, none of these are well-suited
to the representation of ordinal preferences over sets of goods (which
are typically required to be monotonic). We propose such a language,
taking inspiration from...
-
Voting theory can provide useful insights for multiagent preference
aggregation. However, the standard setting assumes voters with
preferences that are total orders, as well as a ballot language that
coincides with the preference language. In typical AI scenarios, these
assumptions do not hold: c...
-
We present the CIFF proof procedure for abductive logic programming
with constraints, and we prove its correctness. CIFF is an extension
of the IFF proof procedure for abductive logic programming, relaxing
the original restrictions over variable quantification (allowedness
conditions) and incorpo...